NP 완전성 개념의 붕괴와 분리

초록

이 논문은 최악‑사례와 평균‑사례 하드니스 가정 하에서 NP‑완전 집합들의 완전성 개념을 조사한다. ① NP에 지수시간 하드 언어가 존재하면 모든 many‑one NP‑완전 집합은 다항 크기 회로로 구현되는 길이 증가 감소를 통해 완전함을 유지한다. ② coNP에 비결정적 다항 회로로 풀 수 없는 언어가 존재하면 동일한 결론이 성립한다. ③ 안전한 일방향 순열과 NP∩coNP의 어려운 계수 언어가 존재하면, Turing 완전이지만 many‑one 완전하지 않은 NP 언어를 구성한다.

상세 분석

논문은 먼저 “길이 증가 감소”(length‑increasing reduction)라는 제한된 형태의 many‑one 감소가 NP‑완전성에 미치는 영향을 분석한다. 기존 연구에서는 평균‑사례 혹은 거의‑모든 입력에 대해 하드한 언어가 필요했지만, 저자들은 최악‑사례 하드니스 가정만으로도 동일한 결과를 얻을 수 있음을 보인다. 구체적으로, 가정 1(∃L∈NP, ∀알고리즘 A, A는 2^{εn} 시간 이상을 필요로 함) 혹은 가정 3(∃L∈NP, ∀n 충분히 큰 n에 대해 회로 복잡도 C(L_n) > 2^{εn})이 성립하면, 임의의 NP‑완전 집합 A에 대해 SAT에서 A로의 길이 증가 many‑one 감소를 다항‑크기 회로로 구현할 수 있다. 핵심 아이디어는 하드 언어 L의 인스턴스를 이용해 “honest”한 입력 쌍 (x,z)을 선택하고, 이 쌍과 SAT 인스턴스 y를 결합한 새로운 인스턴스 h⟨x,y,z⟩를 만든 뒤, 기존 many‑one 감소 f를 적용해 길이가 늘어나는 변환을 얻는 것이다. Lemma 3.2는 이러한 honest 쌍이 거의 모든 길이에서 존재함을 보이며, 이를 통해 길이 증가 감소가 다항 시간 내에 계산 가능함을 증명한다.

두 번째 결과는 coNP에 대한 비결정적 회로 하드니스 가정(가정 2)을 이용한다. 여기서는 L∈coNP가 NP/poly에 포함되지 않음으로써, L의 튜플 버전을 이용해 동일한 구조의 감소를 구성한다. 회로 복잡도 하한을 통해 튜플 언어 H′가 NP/poly에 속하지 않음을 보이고, 이를 다시 길이 증가 many‑one 감소에 연결한다.

세 번째 섹션에서는 Turing 완전성과 many‑one 완전성의 차이를 보인다. 기존에는 “거의‑모든 입력에 대해 하드”라는 강력한 가정이 필요했지만, 저자들은 (i) 2^{εn}‑보안 일방향 순열(평균‑사례 가정)과 (ii) NEEE∩coNEEE 언어가 EEE/로그에 포함되지 않는다는 최악‑사례 가정을 결합함으로써, Turing 완전하지만 many‑one 완전하지 않은 NP 언어를 구성한다. 핵심은 일방향 순열을 이용해 quasi‑polynomial 시간 길이 증가 감소를 만들고, 두 번째 가정으로부터 얻은 희소한 카운터 언어를 이용해 Turing 완전성을 유지하면서 many‑one 감소가 불가능함을 보이는 것이다. 이 결과는 평균‑사례와 최악‑사례 하드니스만으로도 NP의 완전성 개념이 분리될 수 있음을 최초로 증명한다는 점에서 의의가 크다.

전체적으로 논문은 복잡도 이론에서 완전성 개념을 구분하는 새로운 방법론을 제시한다. 회로 복잡도 하한, 하드 언어의 존재, 일방향 순열의 보안성 등을 정교히 조합해 길이 증가 감소와 Turing 감소 사이의 차이를 드러내며, 기존에 필요하다고 여겨졌던 거의‑모든 입력에 대한 하드니스 가정을 완화한다는 중요한 진전을 이룬다.