4블록 정수선형프로그램을 더 빠르게 푸는 새로운 방법

초록

본 논문은 4블록 구조를 갖는 정수선형프로그램(ILP)을 해결하기 위한 새로운 FPT 알고리즘을 제시한다. 기존 알고리즘이 $n^{k^{2}}$ 시간에 머물렀던 반면, 제안된 방법은 $f(k,\overlineΔ)\cdot n^{k+O(1)}$ 시간으로 해결한다. 핵심은 전역 변수 $x_{0}$ 에 대한 잔여값과 하이퍼플레인 배열의 면을 적절히 추측해 ‘affine’ 방식으로 벡터 재배열 보조정리를 적용하고, 이를 통해 오른쪽 항을 ‘faithful decomposition’으로 나누어 동적 고중복 인코딩을 수행하는 것이다. 또한 A, B, C 블록의 큰 계수를 허용하면서도 인코딩 길이에 다항식 수준으로만 의존한다는 점에서 실용적이다.

상세 분석

이 논문은 4블록 정수선형프로그램(4‑block ILP)의 복잡도 장벽을 크게 낮추는 알고리즘적 혁신을 제공한다. 4‑block ILP는 전역 변수 $x_{0}$ 와 $n$ 개의 로컬 변수 블록 $x_{i}$ (1≤i≤n) 으로 구성되며, 제약 행렬은
\