置換群における語長と直径の計算複雑性
Word Length and Diameter in Permutation Groups
この論文をやさしく読む
ひとことで言うと
有限の置換群で、任意の要素や特定の要素を少数の生成元で表せるかを判定する問題の難しさを分類した理論研究。
何に役立つ？
群を用いる計算問題のアルゴリズム設計や複雑性の理解に役立つ。実装の処理時間を実験で測った結果ではない。
この研究の面白いところ
2段冪零群に制限すると、直径と特定要素の語長で、それぞれΠ₂ᴾ完全とNP完全という異なる複雑性になる。
どこまで分かった？
対象は明示的な置換で生成される有限群と二進表記のkを用いた判定問題。要旨には具体的な高速アルゴリズムや平均的な処理時間は示されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
二進符号化された直径の判定問題では、有限群Gを生成する明示的な置換と、二進表記の非負整数kが入力される。問うのは、Gのすべての要素が、入力された生成元を高々k個掛け合わせて表せるかどうかである。二進符号化された語長の判定問題では、さらにGに属する置換gが入力され、gを入力生成元の高々k個の積として表せるかを問う。本研究は、一般の二進直径問題がPSPACE完全であることを証明する。2段冪零群に制限すると、二進直径問題はΠ₂ᴾ完全であり、二進語長問題はNP完全であることを示す。2段冪零群という制限を外した場合、二進語長問題はJerrumの結果によりPSPACE完全である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The input for the binary diameter problem consists of explicitly represented permutations generating a finite group $G$ and a binary-encoded nonnegative integer $k$. The question is whether every element of $G$ is a product of at most $k$ input generators. For the binary length problem, the input contains in addition a permutation $g \in G$ and it is asked whether $g$ is a product of at most $k$ input generators. We prove that the binary diameter problem is PSPACE-complete. When restricted to $2$-step nilpotent groups, the binary diameter problem is shown to be complete for $\mathsf{\Pi_2^P}$, whereas the binary length problem is shown to be NP-complete. Without the restriction to $2$-step nilpotent groups, the binary length problem is PSPACE-complete by a result of Jerrum.
arXiv ID: 2609.26307 ／ 要約の誤りについて