Novikov–Boone の定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/04/14 02:00 UTC 版)
「群の表示」の記事における「Novikov–Boone の定理」の解説
群に対する語の問題（英語版）に対する否定的な解答として、任意の有限表示 ⟨S | R⟩ に対して、与えられた二つの語 u, v がその群の同じ元を定めるか否かを決定するアルゴリズムは存在しないことが知られている。これは Pyotr Novikov（英語版）が1955年に、また別証明をWilliam Boone（英語版）が1958年にそれぞれ得ている。
※この「Novikov–Boone の定理」の解説は、「群の表示」の解説の一部です。
「Novikov–Boone の定理」を含む「群の表示」の記事については、「群の表示」の概要を参照ください。
ウィキペディア小見出し辞書の「Novikov–Boone の定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- Novikov–Boone の定理のページへのリンク
