다항시간 문제이지만 다항인증을 가질 수 없는 새로운 클래스

초록

**
본 논문은 기본 집합의 원소 수 $n$을 매개변수로 하는 조합적 구조를 이용해, 결정 문제 자체는 다항시간 알고리즘으로 해결 가능하지만 “예” 답에 대한 증명(인증)의 길이가 어떠한 다항식보다도 크게 요구되는 문제군을 구성한다. 이를 통해 다항시간 solvable 문제와 NP‑증명 체계 사이의 미묘한 차이를 조명한다.

**

상세 분석

**
논문은 먼저 “조합 객체”라는 개념을 정의한다. 여기서 조합 객체는 크기 $n$인 기본 집합 $U={1,\dots ,n}$ 위에 정의된 특정 성질을 만족하는 부분집합들의 패밀리 $\mathcal{F}\subseteq2^{U}$ 로, 각 원소는 일정한 규칙(예: 서로 다른 원소들의 교집합 크기 제한, 혹은 특정 그래프 구조와의 동형성) 아래 선택된다. 저자는 이러한 $\mathcal{F}$ 를 생성하는 알고리즘 $A$ 를 제시하고, $A$ 가 입력 $n$ 에 대해 $O(n^{k})$ 시간 안에 $\mathcal{F}$ 를 완성한다는 것을 증명한다. 따라서 “주어진 $n$ 에 대해 $\mathcal{F}$ 가 존재하는가?” 라는 결정 문제는 명백히 P‑클래스에 속한다.

핵심은 “증명(인증) 길이”에 대한 하한을 보이는 부분이다. 저자는 $\mathcal{F}$ 가 만족해야 하는 조건을 설계함으로써, 어떤 특정 원소 $S\in\mathcal{F}$ 가 존재한다는 사실을 증명하려면 $S$ 자체를 전부 기술해야 함을 강제한다. 특히 $S$ 가 $U$ 의 거의 전부를 포함하는 경우, $|S|$ 은 $2^{\Theta(n)}$ 수준이 된다. 논문은 조합적 폭발을 이용해, 모든 가능한 “짧은” 증명(길이 $p(n)$ 인 다항식)이 $S$ 를 완전히 기술하지 못하고, 따라서 검증 절차가 올바른 답을 판별할 수 없음을 보인다. 이를 위해 정보이론적 논증을 사용해, $2^{n}$ 개의 가능한 $S$ 중 하나를 정확히 지정하려면 최소 $\Omega(n)$ 비트가 필요하고, 실제 구성에서는 $\Omega(2^{n})$ 비트가 요구된다고 주장한다.

이러한 결과는 전통적인 NP 정의와는 다른 관점을 제공한다. 일반적으로 NP는 “예” 답에 대해 다항 길이의 증명과 다항 검증 알고리즘이 존재함을 의미한다. 그러나 여기서는 문제 자체가 P에 속함에도 불구하고, “예” 답에 대한 다항 증명이 존재하지 않는다. 이는 NP와 P 사이의 포함 관계를 부정하지 않지만, 증명 복잡도 관점에서 “다항시간 solvable but not NP‑verifiable” 라는 새로운 구분을 제시한다. 저자는 이를 “P‑non‑NP‑certifiable” 클래스라고 명명하고, 기존 복잡도 이론에서 간과된 증명 길이의 하한 문제를 조명한다.

비판적으로 보면, 논문의 하한 증명은 주로 카운팅 논법과 정보이론적 추정에 의존한다. 실제로 어떤 “압축” 기법이나 비표준 검증 모델이 존재한다면, 증명 길이를 크게 줄일 가능성을 완전히 배제하지 않는다. 또한, 증명 체계가 비결정적이거나 확률적일 경우(예: PCP 혹은 MA 모델)에는 다른 결과가 도출될 수 있다. 따라서 논문의 결과는 “표준 deterministic polynomial verification” 하에서만 의미가 있다. 마지막으로, 구체적인 응용 사례나 실제 알고리즘 구현에 대한 논의가 부족해, 이론적 흥미는 크지만 실용적 파급력은 제한적일 수 있다.

**