[论文解读] Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$: MaxLin2 and Max-$r$-Lin2 Parameterized Above Average

Robert Crowston, Michael R. Fellows+5 more|arXiv (Cornell University)|Apr 6, 2011

Advanced Graph Theory Research参考文献 22被引用 15

一句话总结

本文针对 𝔽₂ 上的 MaxLin2 和 Max-r-Lin2 問題提出了參數化演算法，透過核心化與機率分析展示了固定參數可追蹤性。證明了 MaxLin2-AA[k] 擁有大小為 O(k² log k) 的核心，且可在 2^O(k log k) · poly(n,m) 時間內求解，從而解決了一個開放問題。對於 Max-r-Lin2-AA[k,r]，獲得大小為 (2k−1)r 的核心，改善了先前的界，並為 r 次 pseudo-boolean 函數建立了新的下界。

ABSTRACT

In the parameterized problem extsc{MaxLin2-AA}[$k$], we are given a system with variables $x_1,...,x_n$ consisting of equations of the form $\prod_{i \in I}x_i = b$, where $x_i,b \in \{-1, 1\}$ and $I\subseteq [n],$ each equation has a positive integral weight, and we are to decide whether it is possible to simultaneously satisfy equations of total weight at least $W/2+k$, where $W$ is the total weight of all equations and $k$ is the parameter (if $k=0$, the possibility is assured). We show that extsc{MaxLin2-AA}[$k$] has a kernel with at most $O(k^2\log k)$ variables and can be solved in time $2^{O(k\log k)}(nm)^{O(1)}$. This solves an open problem of Mahajan et al. (2006). The problem extsc{Max-$r$-Lin2-AA}[$k,r$] is the same as extsc{MaxLin2-AA}[$k$] with two differences: each equation has at most $r$ variables and $r$ is the second parameter. We prove a theorem on extsc{Max-$r$-Lin2-AA}[$k,r$] which implies that extsc{Max-$r$-Lin2-AA}[$k,r$] has a kernel with at most $(2k-1)r$ variables improving a number of results including one by Kim and Williams (2010). The theorem also implies a lower bound on the maximum of a function $f:\ \{-1,1\}^n ightarrow \mathbb{R}$ of degree $r$. We show applicability of the lower bound by giving a new proof of the Edwards-Erd{\H o}s bound (each connected graph on $n$ vertices and $m$ edges has a bipartite subgraph with at least $m/2 + (n-1)/4$ edges) and obtaining a generalization.

研究动机与目标

• 透過提供核心與高效演算法，解決 Mahajan 等人（2006）提出的 MaxLin2-AA[k] 固定參數可追蹤性之開放問題。
• 將分析延伸至 Max-r-Lin2-AA[k,r]，其中每個方程最多有 r 個變數，並改善核心大小的界。
• 從 𝔽₂ 上線性方程的結構出發，為任意 r 次 pseudo-boolean 函數 f: {-1,1}^n → ℝ 的最大值推導出新的下界。
• 將此下界應用於重新證明並推廣 Edwards-Erdős 二分圖子圖界。

提出的方法

• 使用機率分析與 𝔽₂ 上的線性代數，以界定方程組最大多出值的界。
• 應用核心化技術，利用秩的論證，將 MaxLin2-AA[k] 降低至 O(k² log k) 個變數。
• 提出不可約系統的結構特徵，以界定核心大小。
• 使用多項式 ε_S(x⁰) = ∑ c_j ∏_{i∈I_j} x_i⁰ 分析滿足與未滿足方程權重的差異。
• 利用係數矩陣 A 的秩，透過公式 max f(x) ≥ W/2 + ⌊(rank A + r − 1)/r⌋ / 2，推導最大多出值的下界。
• 透過關聯矩陣將下界應用於圖形，利用連通圖的秩為 n−1，推導出 Edwards-Erdős 界。

实验结果

研究问题

• RQ1 MaxLin2-AA[k] 是否能在小核心下以固定參數時間求解，從而解決 Mahajan 等人（2006）提出的開放問題？
• RQ2 Max-r-Lin2-AA[k,r] 的最佳核心大小為何？能否超越現有界？
• RQ3 能否從 𝔽₂ 上線性方程的結構出發，為 r 次 pseudo-boolean 函數的最大值推導出新的下界？
• RQ4 此下界能否用於重新證明並推廣 Edwards-Erdős 二分圖子圖界？

主要发现

• MaxLin2-AA[k] 擓生大小為 O(k² log k) 的核心，解決了 Mahajan 等人（2006）提出的開放問題。
• MaxLin2-AA[k] 可在時間 2^O(k log k) · (nm)^O(1) 內求解，確立了固定參數可追蹤性。
• 對於 Max-r-Lin2-AA[k,r]，獲得大小為 (2k−1)r 的核心，改善了先前的界，包括 Kim 和 Williams（2010）的結果。
• 為任意實值函數 f: {-1,1}^n → ℝ 的最大值，證明了新的下界：max f(x) ≥ W/2 + ⌊(rank A + r − 1)/r⌋ / 2。
• 此下界導出 Edwards-Erdős 界的新證明：任一具有 n 個頂點與 m 條邊的連通圖，其二分圖子圖至少包含 m/2 + (n−1)/4 條邊。
• 此界可推廣至平衡子圖問題：任一具有標記邊（‘=’ 或 ‘≠’）的連通圖，皆存在一種 2-著色方式，使至少 m/2 + (n−1)/4 條邊被滿足。