최대 전사 제약 만족 문제 근사화

초록

본 논문은 전사성을 요구하는 최대 제약 만족 문제(Max‑Sur‑CSP)를 연구한다. 일반적인 Max‑CSP와의 관계를 분석해, 임의의 유한 도메인 B에 대해 Max‑Sur‑CSP가 항상 APX에 속함을 보이고, Max‑CSP의 근사 난이도가 그대로 전사 버전에도 적용됨을 증명한다. 특히 불리언 및 3원소 도메인에 대해 PTAS와 APX‑complete 사이의 완전한 이분법을 제시한다.

상세 분석

논문은 먼저 Max‑Sur‑CSP의 정의를 명확히 하고, 전사성(surjectivity) 제약이 추가되더라도 문제는 여전히 NP‑optimisation 범주에 속함을 확인한다. 기본적인 무작위 할당 알고리즘을 조건부 기대값 기법으로 디터미니즘화함으로써, 모든 유한 구조 B에 대해 상수 비율 r = min_i |R_Bi|/|B|^{k_i} 이상의 근사 해를 다항시간에 구할 수 있음을 보인다. 이는 Max‑CSP에 대한 기존의 APX‑inclusion 결과와 일치하지만, 전사성을 강제하기 위해 처음 |B|개의 변수를 임의의 전사 매핑으로 고정하고 나머지를 무작위로 할당하는 새로운 전략을 제시한다. 이 전략은 변수들의 차수에 기반해 기대 만족 제약 수를 하한으로 잡아, r보다 작은 임의의 ε에 대해 (r − ε) 근사 비율을 달성한다.

다음으로, Max‑CSP가 r‑근사 불가능한 경우 Max‑Sur‑CSP도 동일하게 r‑근사 불가능함을 증명한다. 이를 위해 Max‑CSP 인스턴스를 |B|개의 보조 변수를 추가해 Max‑Sur‑CSP 인스턴스로 변환하는 간단한 감소를 이용한다. 이 감소는 최적값을 보존하므로, Max‑CSP의 APX‑hardness가 Max‑Sur‑CSP에 그대로 전이된다. 특히, C₆(모듈러 6 그래프)와 같은 구조에 대해 Unique Games Conjecture 하에서 0.878…의 한계가 존재함을 확인한다.

마지막으로, Max‑CSP가 PO(다항시간 최적)인 경우 Max‑Sur‑CSP도 PTAS를 가질 수 있음을 보여준다. 여기서는 Max‑CSP의 r‑근사 알고리즘을 호출하고, 결과가 전사성을 만족하지 않을 때는 중복된 이미지 변수를 무작위로 교체해 전사성을 강제한다. 교체 과정에서 만족 제약 수의 손실이 |B|/|A| 수준으로 제한되므로, ε를 충분히 작게 잡으면 (r − ε) 근사를 보장한다.

이러한 일련의 결과를 종합하면, “Max‑CSP에 대한 복잡도 이분법이 존재한다면, 동일한 도메인 B에 대해 Max‑Sur‑CSP도 PTAS와 APX‑complete 사이의 이분법을 갖는다”는 일반적인 정리를 얻는다. 불리언 및 3원소 도메인에 대해서는 기존에 증명된 Max‑CSP의 이분법을 그대로 적용해, Max‑Sur‑CSP 역시 PTAS 혹은 APX‑complete 중 하나임을 확정한다. 또한, 전사성을 요구함에도 불구하고 일부 경우 NP‑hard이면서 PTAS를 가질 수 있음을 예시를 들어 강조한다.