[论文解读] The Complexity of Finding Fair Independent Sets in Cycles

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

Advanced Graph Theory Research被引用 1

一句话总结

本文確立了在環狀圖中尋找公平獨立集的計算複雜度，透過歸約至八面體圖 Tucker 問題與 Schrijver 圖問題，證明該問題為 PPA-完全。此外，本文進一步顯示在色數少於其色數的染色下，尋找 Schrijver 圖中的單色邊也是 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.

研究动机与目标

• 確定在環狀圖的頂點集劃分下，尋找能公平代表該劃分的獨立集的計算複雜度，其中每個部分至少被代表其大小的一半減一。
• 探討基於拓撲工具（如 Borsuk-Ulam 定理）的公平表示存在性證明，是否能轉化為演算法上高效的演算法。
• 將這些結果延伸至在色數少於其色數的情況下，尋找 Schrijver 圖中單色邊的計算複雜度。
• 建立公平獨立集問題與 TFNP 中已知的總搜尋問題之間的關聯，特別是在 PPA 複雜度類中。

提出的方法

• 透過在 {+, −, 0}^n 中的符號向量上精心構造的標籤函數 λ，將 FAIR-IS-CYCLE 問題歸約至 OCTAHEDRAL-TUCKER 問題。
• 根據每個劃分集合 Vi 中正負項的平衡與交替指標 alt(x) 定義 λ，確保 antisymmetry 性質 λ(−x) = −λ(x)。
• 利用 n 與 m 同奇偶性的性質，確保解空間結構良好，使得滿足 x ⪯ y 且 λ(x) = −λ(y) 的向量 x 與 y 可產生有效的獨立集。
• 應用已知歸約：FAIR-IS-CYCLE ≤ PPA OCTAHEDRAL-TUCKER ≤ PPA SCHRIJVER，並利用 Schrijver 圖是 Kneser 圖的子圖且具有相同色數的事實。
• 構造一個可多項式時間計算的電路用於 λ，確保歸約是高效的，並保持總搜尋問題的結構。
• 透過證明任何 OCTAHEDRAL-TUCKER 實例的解均可產生兩個不相交的獨立集 S1 與 S2，從而證明正確性，且兩者均公平代表每個劃分 Vi。

实验结果

研究问题

• RQ1 針對給定的頂點劃分，在環狀圖中尋找公平獨立集的問題是否具有計算上的可適性，還是本質上困難？
• RQ2 基於拓撲存在性證明（如 Borsuk-Ulam 定理）的環狀圖中公平表示，是否能轉化為高效演算法，還是該問題本質上非構造性？
• RQ3 當染色所用顏色數少於 Schrijver 圖的色數時，尋找其單色邊的計算複雜度為何？
• RQ4 環狀圖中公平獨立集的存在性是否暗示與 TFNP 中已知總搜尋問題的關聯，特別是在 PPA 類中？
• RQ5 ε-公平分割問題（放寬公平性）是否亦為 PPA-完全？其複雜度與精確公平性版本相比如何？

主要发现

• FAIR-IS-CYCLE 問題為 PPA-完全，確立了在頂點劃分下尋找環狀圖中公平獨立集的計算難度與 PPA 類中最難的問題相當。
• 在色數少於其色數的染色下，尋找 Schrijver 圖中單色邊的問題亦為 PPA-完全。
• 從 FAIR-IS-CYCLE 到 OCTAHEDRAL-TUCKER 的歸約為多項式時間，並保持總搜尋結構，確認該問題屬於 PPA。
• 對於任意 ε > 0，ε-FAIR-SPLIT-CYCLE 問題為 PPA-完全，且即使 ε = 0 時亦屬於 PPA，顯示複雜度類在公平性放鬆下的穩健性。
• 證明依賴於一個結合劃分平衡與交替指標的標籤函數 λ，確保 antisymmetry 並支援在計算環境中使用拓撲不動點定理。
• 該構造確保任何 OCTAHEDRAL-TUCKER 實例的解均可產生兩個不相交的獨立集 S1 與 S2，各自覆蓋每個 Vi 中除一個頂點外的所有頂點，且均滿足公平條件 |Sj ∩ Vi| ≥ ½|Vi| − 1。