最小防御同盟の列挙に必要な計算量
Parameterized Enumeration of Minimal Defensive Alliances
この論文をやさしく読む
ひとことで言うと
グラフの最小防御同盟を一つずつ列挙する問題について、速く解ける条件と難しい条件を分けた研究。
何に役立つ？
防御同盟の列挙アルゴリズムを設計する際、どのグラフの性質を使えば効率的かを判断する理論的な指針になる。
この研究の面白いところ
最大次数5では多項式遅延を実現する一方、次数6の限定した二部グラフでは出力多項式時間さえ難しいという境目を示す。
どこまで分かった？
不可能性の結論にはP≠NPまたはFPT≠W[1]という計算量理論上の仮定が付く。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
この論文は、包含関係について最小な防御同盟を列挙する計算の複雑さを調べる。最大次数が5のグラフに対して、多項式遅延のアルゴリズムを示す。一方、最大次数が6で退化度が2の二部グラフでは、P＝NPでない限り、出力多項式時間のアルゴリズムは存在しないことを証明する。さらに、近傍多様度をパラメータとした場合には、固定パラメータ容易な遅延を持つアルゴリズムがある。この結果は、最近公表された整数線形計画問題の列挙アルゴリズムを初めて利用したものである。対照的に、パス幅をパラメータとした場合、FPT＝W[1]でない限り、包含関係について最小な防御同盟をすべて列挙するFPT遅延アルゴリズムは存在しないと証明する。著者らの知る限り、Another/Next型問題の変種について、パラメータ化計算量を使って列挙不可能性を示した初めての結果である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this paper, we consider the complexity of enumerating inclusion minimal defensive alliances. We present a polynomial-delay algorithm on graphs with maximum degree 5. We complement this result by proving that there is no output-polynomial algorithm on bipartite graphs with maximum degree 6 and degeneracy 2, unless P = NP. Furthermore, there is an FPT-delay algorithm when parameterized by neighborhood diversity. This result is the first exploit of a recently published enumeration algorithm for ILPs. By way of contrast, we prove that, for the parameter pathwidth, there is no FPT-delay algorithm for enumerating all inclusion minimal defensive alliances (unless FPT = W[1]). To the best of our knowledge, this is the first non-enumerability result using parameterized complexity for variations of Another/Next-problems.
著者のコメント
Full version to conference submission
arXiv ID: 2609.27984 ／ 要約の誤りについて