[論文レビュー] The Complexity of Finding Fair Independent Sets in Cycles

Ishay Haviv|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research被引用数 1

ひとこと要約

本稿は、サイクルグラフにおける公平な独立集合を求める問題の計算複雑性を確立し、八面体チューカー問題およびシュリージバー・グラフ問題への還元を用いて、この問題がPPA完全であることを証明する。さらに、シュリージバー・グラフにおいて、彩色数未満の色数で彩色された場合の単色辺の探索問題が、同様にPPA完全であることも示し、トポロジカル・コンビナトリクスの結果の計算的性質に関する長年の未解決問題を解消する。

ABSTRACT

Let G be a cycle graph and let V₁,…,V_m be a partition of its vertex set into m sets. An independent set S of G is said to fairly represent the partition if |S ∩ V_i| ≥ 1/2⋅|V_i| - 1 for all i ∈ [m]. It is known that for every cycle and every partition of its vertex set, there exists an independent set that fairly represents the partition (Aharoni et al., A Journey through Discrete Math., 2017). We prove that the problem of finding such an independent set is PPA-complete. As an application, we show that the problem of finding a monochromatic edge in a Schrijver graph, given a succinct representation of a coloring that uses fewer colors than its chromatic number, is PPA-complete as well. The work is motivated by the computational aspects of the "cycle plus triangles" problem and of its extensions.

研究の動機と目的

• サイクルの頂点集合の分割に対して、各部集合がそのサイズの半分未塔の1未満でない公平な独立集合を求める問題の計算複雑性を特定すること。
• Borsuk-Ulam定理などのトポロジカル手法に基づくサイクルにおける公平な表現の存在証明が、計算的に効率的なアルゴリズムに変換可能かどうかを調査すること。
• これらの結果を、彩色数未満の色数で彩色されたシュリージバー・グラフにおける単色辺の探索問題の計算複雑性へと拡張すること。
• 公平な独立集合問題と、TFNPにおける既知の全探索問題、特にPPA複雑度クラスとの関係を確立すること。

提案手法

• 符号付きベクトル {+, −, 0}^n 上に適切に構築されたラベル関数 λ を用いて、FAIR-IS-CYCLE 問題を OCTAHEDRAL-TUCKER 問題に還元する。
• 各分割集合 Vi ごとの正負のエントリのバランスと、交互インデックス alt(x) を用いて λ を定義し、反対称性 λ(−x) = −λ(x) を保証する。
• n と m が同じ偶奇性を持つことを利用して、解空間が構造的であり、x ⪯ y かつ λ(x) = −λ(y) を満たすベクトル x, y から有効な独立集合が導かれるようにする。
• 既知の還元を適用する：FAIR-IS-CYCLE ≤ PPA OCTAHEDRAL-TUCKER ≤ PPA SCHRIJVER。Kneserグラフの部分グラフとしてのシュリージバー・グラフが、同じ彩色数を持つことを利用している。
• λ の多項式時間計算可能な回路を構築し、還元が効率的かつ全探索問題の構造を保つようにする。
• OCTAHEDRAL-TUCKER の任意の解が、各 Vi に対して |Sj ∩ Vi| ≥ ½|Vi| − 1 を満たす2つの互いに素な独立集合 S1 と S2 を導くことにより、正しさを証明する。

実験結果

リサーチクエスチョン

• RQ1 与えられた頂点分割に関して、サイクルにおける公平な独立集合を求める問題は計算的に容易か、それとも本質的に困難か？
• RQ2 Borsuk-Ulam定理に基づくサイクルにおける公平な表現の存在証明は、効率的なアルゴリズムに変換可能か、それとも本質的に非構成的か？
• RQ3 彩色数未満の色数で彩色されたシュリージバー・グラフにおいて、単色辺を求める問題の計算複雑度はいかほどか？
• RQ4 サイクルにおける公平な独立集合の存在は、TFNPにおける既知の全探索問題、特にPPAクラス内での関連性を示唆するか？
• RQ5 ε-公平分割問題（緩和された公平性）もPPA完全か？また、正確な公平性バージョンと比較して、その複雑度はどのように異なるか？

主な発見

• FAIR-IS-CYCLE 問題はPPA完全であることが示され、頂点分割に関して公平な独立集合を求める問題は、PPAクラスにおける最も困難な問題と同等の計算複雑性を持つことが確認された。
• 彩色数未満の色数で彩色されたシュリージバー・グラフにおいて単色辺を求める問題も、PPA完全であることが示された。
• FAIR-IS-CYCLE から OCTAHEDRAL-TUCKER への還元は多項式時間であり、全探索問題の構造を保つため、問題がPPAに属することを裏付けた。
• 任意の ε > 0 に対して ε-FAIR-SPLIT-CYCLE 問題はPPA完全であり、ε = 0 の場合でもPPAに属する。これは、公平性の緩和に対しても複雑度クラスの堅牢性が保たれていることを示している。
• 証明は、分割のバランスと交互インデックスを組み合わせたラベル関数 λ に依存しており、反対称性を保証し、計算的状況下でのトポロジカル不動点定理の適用を可能にしている。
• 構成により、OCTAHEDRAL-TUCKER の任意の解から、各 Vi から1つの頂点を除き、すべての頂点をカバーする2つの互いに素な独立集合 S1 と S2 が得られ、それぞれが |Sj ∩ Vi| ≥ ½|Vi| − 1 を満たすことが保証された。