[논문 리뷰] Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$: MaxLin2 and Max-$r$-Lin2 Parameterized Above Average

Robert Crowston, Michael R. Fellows외 5명|arXiv (Cornell University)|2011. 04. 06.

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에 대한 의사부울 함수에 대한 새로운 하한을 도출한다.

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]에 대한 고정 매개변수 다항시간 가용성의 열린 문제를 커널과 효율적인 알고리즘을 제시하여 해결하기 위해.
• 각 방정식에 최대 r개의 변수가 포함되는 Max-r-Lin2-AA[k,r]로 분석을 확장하고, 커널 크기 경계를 향상시키기 위해.
• 차수 r인 의사부울 함수 f: {-1,1}^n → ℝ의 최대값에 대한 새로운 하한을 유도하기 위해.
• 이 하한을 적용하여 Edwards-Erdős 이분 그래프 하위그래프 경계를 재증명하고 일반화하기 위해.

제안 방법

• 𝔽₂ 상에서의 확률적 분석과 선형 대수학을 사용하여 방정식 시스템의 최대 초과를 근사한다.
• 랭크 기반의 추론을 사용하여 MaxLin2-AA[k]를 O(k² log k)개의 변수로 축소하기 위해 커널화 기법을 적용한다.
• 기저가 없는 시스템의 구조적 특성화를 도입하여 커널 크기를 근사한다.
• 만족된 방정식의 가중치와 만족하지 못한 가중치의 차이를 분석하기 위해 excess ε_S(x⁰) = ∑ c_j ∏_{i∈I_j} x_i⁰의 개념을 활용한다.
• 계수 행렬 A의 랭크를 이용하여 최대 초과에 대한 하한을 도출하며, 공식 max f(x) ≥ W/2 + ⌊(rank A + r − 1)/r⌋ / 2를 사용한다.
• 인cidience 행렬을 통해 그래프에 이 하한을 적용하며, 연결 그래프의 경우 랭크 = n−1을 사용하여 Edwards-Erdős 경계를 유도한다.

실험 결과

연구 질문

• RQ1 Mahajan 등(2006)이 제기한 MaxLin2-AA[k]의 고정 매개변수 다항시간 가용성 문제를 작은 커널을 통해 해결할 수 있는가?
• RQ2 Max-r-Lin2-AA[k,r]의 최적 커널 크기는 무엇이며, 기존 경계를 초월해 개선할 수 있는가?
• RQ3 𝔽₂ 상의 선형 방정식의 구조에서 유도된 차수 r의 의사부울 함수의 최대값에 대한 새로운 하한을 도출할 수 있는가?
• 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 → ℝ의 차수 r에 대해 최대값에 대한 새로운 하한 max f(x) ≥ W/2 + ⌊(rank A + r − 1)/r⌋ / 2을 증명한다.
• 이 하한을 통해 Edwards-Erdős 경계의 새로운 증명을 얻을 수 있다: n개 정점과 m개 간선을 가진 연결 그래프는 최소 m/2 + (n−1)/4개 간선을 가진 이분 하위그래프를 가진다.
• 이 경계는 Balance Subgraph 문제로 일반화된다: 라벨이 부여된 간선(‘=’ 또는 ‘≠’)을 가진 임의의 연결 그래프는 최소 m/2 + (n−1)/4개 간선을 만족하는 2-색칠이 존재한다.