희소 정수 프로그램의 근사 가능성 연구

초록

본 논문은 행이 k 개 이하의 비영(非零) 원소를 갖는 제약 행렬을 가진 커버링 정수 프로그램(CIP)과, 열이 k 개 이하의 비영 원소를 갖는 제약 행렬을 가진 패킹 정수 프로그램(PIP)에 대해 새로운 근사 알고리즘을 제시한다. 행‑희소 CIP에 대해서는 k‑근사 알고리즘을, 열‑희소 PIP에 대해서는 (2k²+2)‑근사 알고리즘을 각각 설계하고, 이들의 근사 한계와 복잡도 이론적 경계를 함께 제시한다. 또한 2‑열‑희소 CIP에 대해 17/16‑근사 불가능성을 증명한다.

상세 분석

이 논문은 두 종류의 희소 정수 프로그램, 즉 k‑row‑sparse covering IP(CIP)와 k‑column‑sparse packing IP(PIP)를 대상으로 근사 알고리즘과 하드니스 결과를 동시에 제공한다. 첫 번째 결과는 k‑row‑sparse CIP에 대해 k‑근사 비율을 달성하는 다항시간 알고리즘을 제시한다. 핵심 아이디어는 기존 제약을 “Z⁺‑equivalent”라 불리는 정수 해의 집합을 보존하는 새로운 제약으로 교체함으로써 각 제약을 k‑roundable 상태로 만든다. k‑roundable 제약은 최적 LP 해 x* 에 대해 ⌊k·x*⌋ 가 항상 정수 해가 되도록 보장하므로, LP 라운딩만으로 k‑근사를 얻을 수 있다. 이 과정에서 제약의 계수를 1로 클리핑하고, 합이 k‑1 이하인 경우는 바로 (k‑1 + 1)‑roundable 임을 이용한다. 합이 (k‑1, k] 구간에 있는 경우에는 Lemma 11과 Proposition 9 을 통해 새로운 제약 α′·x ≥ 1을 구성한다. 이 제약은 원래 제약과 동일한 정수 해 집합을 갖지만, 계수 합이 k 이하이므로 k‑roundable 특성을 만족한다.

두 번째 결과는 k‑column‑sparse PIP에 대한 (2k²+2)‑근사 알고리즘이다. 여기서는 “iterated LP relaxation” 기법을 사용한다. 초기 LP 해를 구한 뒤, 정수화 과정에서 발생하는 제약 위반을 허용하고, 위반 정도가 O(k²) 로 제한된다. 이후 색칠(그리디) 기법을 적용해 위반된 해를 O(k²) 개의 서로 다른 feasible 해로 분해한다. 각 해는 원래 목표값의 1/(2k²+2) 이상을 보장하므로 전체적으로 (2k²+2)‑근사 비율을 얻는다. 논문은 또한 k=2 인 경우와 A_{ij} 가 b_i 에 비해 충분히 작을 때 더 강력한 근사 비율을 제시한다.

마지막으로, 2‑column‑sparse CIP에 대해 17/16‑근사 불가능성을 증명한다. 이는 기존의 k‑Set Cover 하드니스 결과를 변형한 것으로, 각 열이 정확히 두 개의 비영 원소를 갖는 행렬 형태(블록 대각선 형태)에서도 동일한 하드니스를 유지한다. 이 결과는 2‑열‑희소 CIP가 단순히 Vertex Cover (정점 커버)보다 더 어려운 문제임을 보여준다.

전체적으로 논문은 희소성이라는 구조적 제한을 활용해 기존의 일반적인 정수 프로그램 근사 한계를 크게 개선한다. 특히 k‑row‑sparse CIP에 대한 k‑근사와 k‑column‑sparse PIP에 대한 O(k²)‑근사는 이전에 알려진 O(k) 또는 O(k log k) 알고리즘보다 실용적인 성능을 제공한다. 또한 하드니스 측면에서 k‑row‑sparse CIP는 k‑1 이하의 근사는 불가능하고, k‑column‑sparse CIP는 Ω(k/ log k) 정도의 하한을 갖는다는 점을 명확히 함으로써 근사 알고리즘 설계의 한계를 이론적으로 정립한다.