有限群の多項式時間予想

提供:ウィキバーシティ
ナビゲーションに移動 検索に移動

「与えられた任意の位数の群すべてをの多項式時間で見つけ出すアルゴリズムが存在する」。

この予想は単純群の分類定理からただちに導かれる。

以前「み○○○予想」として某所で発表したものですが、そちらでは個人情報を晒しまくってしまったので改めてこちらで。ご存知な方はそれには触れないでおいてください。

が2の冪の時、そもそも群の個数自体が多項式で収まるのかという話があって、

  • 位数256の群は56,092個
  • 位数512の群は10,494,213個
  • 位数1024の群は49,487,365,422個

見た感じ、個数の桁は3つずつ上がってるようなのでなんとかなるかもしれないし、ならないかもしれない。