근사 알고리즘 한계와 PCP·유니크 게임

초록

본 강의노트는 2009년 DIMACS 워크숍에서 발표된 근사 알고리즘의 이론적 한계, 특히 PCP 정리와 유니크 게임 추측을 중심으로 구성된 내용이다. 근사 알고리즘의 기본 개념, PTAS, MAX‑CUT, 네트워크 설계 문제 등을 소개하고, PCP 정리의 증명 아이디어와 3‑비트 PCP, 하스태드의 구성 등을 상세히 다룬다. 마지막 장에서는 SDP 기반의 유니크 게임과 그를 이용한 MAX‑CUT의 최적 난이도 결과를 제시한다.

상세 분석

이 강의노트는 근사 알고리즘 이론의 두 축, 즉 “근사 가능성”과 “근사 불가능성”을 균형 있게 조명한다. 첫 번째 파트에서는 전통적인 근사 알고리즘 기법을 체계적으로 정리한다. 예를 들어, 메트릭 TSP에 대한 2‑approximation과 Christofides 알고리즘의 1.5‑approximation, PTAS의 두 가지 유형(동적 프로그래밍 기반과 구조적 단순화 기반) 등을 구체적인 라운딩 및 디스크리트화 기법과 함께 설명한다. 특히, MAX‑CUT에 대한 SDP 기반 라운딩과 Goemans‑Williamson 알고리즘을 통해 반정수 계획법이 어떻게 근사 비율을 개선하는지를 보여준다.

두 번째 파트는 PCP 정리의 핵심 개념—gap 문제, 로컬 검증, 강인한 PCP, 그리고 프로젝션 게임—을 소개하고, 이를 통해 NP‑hard 문제들의 근사 불가능성을 증명하는 일반적인 틀을 제시한다. 하스태드의 3‑비트 PCP와 그 구성(롱 코드, 일관성 검사, 컴포지션) 과정을 상세히 기술함으로써, 검증자와 증명자의 상호작용이 어떻게 상수 팩터의 강한 하드니스 결과를 도출하는지를 설명한다. 또한, 강인한 PCP와 2‑프로젝션 PCP 사이의 등가성을 증명하고, Reed‑Muller 코드와 저차 테스트 등 구체적 로컬 코드 예시를 제공한다.

마지막 파트에서는 유니크 게임 추측(UGC)의 정의와 SDP 기반 근사 알고리즘을 논의한다. 유니크 게임은 각 제약이 하나의 레이블 매핑으로 제한되는 CSP 형태이며, 라그랑지안 이중화와 SDP 이완을 통해 1‑ε 근사 비율을 달성한다. 이어서 Khot‑Moshkovitz‑Raz의 “Majority is Stablest” 정리를 활용해 MAX‑CUT에 대한 UGC 기반 하드니스를 증명한다. 이 결과는 Goemans‑Williamson 알고리즘이 최적임을 조건부로 확립한다는 점에서 이론적·실용적 의미가 크다. 전체적으로, 이 노트는 근사 알고리즘 설계와 복잡도 이론을 연결하는 최신 기술들을 한데 모아, 연구자와 학생이 현재 분야의 최전선을 이해하도록 돕는다.