제약 만족 문제의 최대 버전, 위치 1에서의 난이도 격차

본 논문은 제약 만족 문제(CSP)와 그 최적화 버전인 Max CSP에 대한 근사 난이도 연구를 대수적 관점에서 전개한다. 서론에서는 CSP가 다양한 조합 최적화 문제를 포괄하고, Max CSP가 NP‑hard 임을 상기한 뒤, PCP 정리와의 연관성을 통해 “위치 1에서 hard gap” 개념을 소개한다. 이 격차는 만족 가능한 인스턴스와 만족 가능한 제약이 ε % 이하인 인스턴스를 구분하는 것이 NP‑hard 함을 의미한다. 제2장에서는 기본 용어와 NPO, APX, PTAS 등의 복잡도 클래스 정의를 정리하고, Max CSP가 항상 APX에 속함을 보이는 간단한 알고리즘(무작위 할당)도 제시한다. 제3장에서는 첫 번째 주요 결과인 Result A를 제시한다. 여기서는 제약 언어 Γ에 대응하는 유한 대수 A(Γ)를 정의하고, A(Γ)가 “모든 기본 연산이 투사인 인수(factor)를 갖는다”는 대수적 특성을 보이는 경우, Max CSP(Γ)에서 hard gap at location 1이 존재함을 증명한다. 증명은 다음과 같다. (1) 기존에 NP‑hard 로 알려진 CSP 언어들은 모두 이 대수적 특성을 만족한다(문헌에 의해 확인됨). (2) Max 3‑SAT는 PCP 정리의 대표적인 hard gap 문제이며, 이를 시작점으로 삼는다. (3) “strict implementation” 기법을 이용해 Max 3‑SAT의 제약들을 Γ의 제약들로 변환한다. 이때 변환 과정에서 변수의 등장 횟수를 상수 k 로 제한할 수 있음을 보인다. (4) 변환된 인스턴스는 만족 가능한 경우와 만족 가능한 제약이 ε 이하인 경우가 구분되지 않으며, 따라서 Max CSP(Γ)‑k 역시 hard gap을 가진다. 이 결과는 현재까지 NP‑hard 로 알려진 모든 CSP 언어에 적용 가능하므로, “CSP가 NP‑hard이면 그 Max 버전은 위치 1에서 hard gap을 가진다”는 일반 명제를 제시한다. 또한, 이 결과는 PTAS 존재 여부와 직접 연결되며, 해당 언어에 대해 PTAS가 존재하려면 P = NP 가 되어야 함을 의미한다. 제4장에서는 두 번째 주요 결과인 Result B를 다룬다. 여기서는 단일 관계 R만을 허용하는 Max CSP({R})를 고려한다. R이 비어 있거나 모든 좌표가 동일한 튜플을 포함하는 ‘valid’ 관계인 경우는 문제 자체가 trivial하므로 제외한다. 그 외의 모든 관계에 대해, R이 포함하는 최소한 하나의 비‑trivial 관계를 이용해 위의 Result A를 적용한다. 구체적으로, R이 비‑trivial이면 R이 포함하는 어떤 기본 관계(예: disequality N_k 등)를 통해 hard gap을 유도하고, 따라서 상수 c > 1이 존재해 Max CSP({R})를 c‑근사하는 것이 NP‑hard가 된다. 이때도 변수 등장 제한은 영향을 받지 않는다. Result B는 Jonsson과 Krokhin이 이전에 증명한 “단일 관계 Max CSP는 NP‑hard”라는 정리를 강화한다. 특히, 기존에 근사 불가능성 결과가 알려진 Max Cut, Max DiCut 등은 이 일반 정리의 특수 사례가 된다. 제5장에서는 앞선 결과들을 활용해 여러 기존 연구를 확장·강화한다. Engebretsen et al.이 제시한 유한 군 문제에 대한 근사 난이도, Feder et al.이 다룬 변수 등장 제한 CSP의 NP‑hard성, Krokhin‑Larose가 연구한 2‑monotone 관계가 격자 구조 위에 놓였을 때와 아닐 때의 차이 등을 모두 대수적 관점에서 재해석한다. 특히, 2‑monotone 관계가 격자 위에서 슈퍼모듈러가 아니면 Max CSP가 hard gap을 갖는다는 새로운 결론을 도출한다. 결론에서는 본 연구가 “CSP와 Max CSP 사이의 복잡도 격차”를 대수적 프레임워크로 명확히 연결했으며, 변수 등장 횟수 제한이라는 실용적 제약 하에서도 결과가 유지된다는 점을 강조한다. 향후 연구 과제로는 아직 CSP Conjecture이 완전히 해결되지 않은 언어에 대한 Max CSP의 근사 난이도 분석과, 보다 정밀한 상수 ε, c 값을 구하는 것이 제시된다.