맥스 Lin 2 평균 초과 문제의 파라메트릭 알고리즘 개선

초록

본 논문은 가중치가 부여된 선형 방정식 집합인 Max Lin‑2에서, 전체 가중치의 절반 W/2 보다 k만큼 더 큰 가중치를 만족시키는 할당이 존재하는지를 파라메터 k에 대해 고정‑파라메터 트랙터블(FPT)하게 판단하는 문제를 다룬다. 기존 연구가 제시한 세 가지 특수 경우 중 두 경우를 순수 조합론적 기법만으로 일반화하고, 이를 통해 Max r‑SAT above Average 문제도 모든 r ≥ 2에 대해 FPT임을 새로운 조합론적 증명으로 확보한다.

상세 분석

Max Lin‑2 문제는 n개의 변수와 m개의 선형 방정식(모두 (\mathbb{F}_2) 위)으로 구성되며, 각 방정식 j는 양의 정수 가중치 (w_j)를 가진다. 전체 가중치 합을 (W)라 하면, 무작위 할당에 의해 기대되는 만족 가중치는 정확히 (W/2)이며, 이는 최적값의 하한이다. Mahajan 등은 “(W/2 + k)”를 만족시키는 할당 존재 여부를 파라메터 k에 대해 묻는 FPT 문제를 제시했지만, 일반적인 경우의 FPT 여부는 미해결 상태였다. Gutin et al.은 확률적 불평등(예: Chebyshev, Hoeffding)과 한 경우에 Fourier 분석을 이용해 세 가지 제한된 상황을 FPT로 해결하였다.

본 논문은 그 중 두 경우—(1) 각 변수에 등장하는 방정식 수가 제한된 경우와 (2) 방정식들의 가중치가 일정 범위 내에 있는 경우—를 완전히 조합론적 방법으로 확장한다. 핵심 아이디어는 “핵심 변수 집합”(kernel) 추출이다. 변수‑방정식 이분 그래프를 고려하여, 높은 차수를 가진 변수들을 반복적으로 제거하고, 남은 인스턴스의 크기가 (O(k^2)) 이하가 되도록 만든다. 이 과정에서 사용되는 주요 정리는 다음과 같다.

1. 도입된 정리 1 (핵심 변수 제한): 변수 (x_i)가 포함된 방정식 수가 (2k)를 초과하면, 해당 변수를 고정값(0 또는 1)으로 설정하고, 남은 시스템의 가중치 차이가 최소 (k) 이하임을 보인다. 이는 마르코프 부등식과 변수‑방정식 연결성 분석을 결합한 결과이다.

2. 정리 2 (가중치 균형 정리): 모든 방정식의 가중치가 (