거의 자연스러운 증명과 새로운 하한

초록

라즈보로프‑루딕이 제시한 자연스러운 증명의 두 조건 중 ‘크기(largeness)’를 약간 완화하면, 동일한 난수 생성 가정 하에 P/poly와 NP를 구분하는 명시적 성질인 ‘구별성(discrimination)’을 구성할 수 있다. 구별성은 거의 선형 시간에 계산 가능하고, 밀도는 quasi‑polynomial 함수 q(n)에 대해 2⁻ᵠ⁽ⁿ⁾ 정도로 거의 큰 편이다. 이 결과는 자연스러운 증명 장벽을 우회하는 첫 번째 무조건적인 예시이며, 비균일 저복잡도 클래스를 ‘구성적’이라 부르면 무조건적인 거의‑큰 유용한 성질도 존재한다는 부가 결과를 제공한다.

상세 분석

라즈보로프와 루딕(Razborov‑Rudich)의 자연스러운 증명 프레임워크는 두 가지 핵심 조건, 즉 구성성(constructivity)과 크기(largeness)를 만족하는 조합적 성질을 이용해 회로 복잡도 하한을 증명하려는 시도를 차단한다. 그들의 주된 논증은 강력한 난수 생성기(pseudorandom generator, PRG)가 존재한다면, 이러한 성질은 ‘자연스러운’ 즉, 효율적으로 판별 가능하고 충분히 많은 함수들을 포함하는 성질이 될 수 없으며, 따라서 P와 NP를 구분하는 데 사용할 수 없다는 것이다.

본 논문은 이 장벽을 ‘거의 자연스러운(almost‑natural)’이라는 새로운 개념으로 우회한다. 구체적으로, 저자들은 크기 조건을 ‘거의 큰’ 수준으로 완화한다. 기존 자연스러운 증명에서 요구되는 밀도는 보통 1/poly(n) 정도인데, 여기서는 quasi‑polynomial 함수 q(n)에 대해 2⁻ᵠ⁽ⁿ⁾ 정도의 밀도를 허용한다. 이 완화는 두 가지 중요한 효과를 만든다. 첫째, 기존의 Razborov‑Rudich 대증명에 사용되는 ‘대규모’ 난수 집합을 구성하는 데 필요한 확률적 논증이 무너지며, 둘째, 이러한 완화된 크기 조건을 만족하면서도 여전히 효율적으로 판별 가능한 성질을 설계할 수 있다.

논문이 제시하는 핵심 성질은 ‘구별성(discrimination)’이다. 구별성은 입력 길이 n에 대해, 함수 f가 특정한 ‘쉽게 구별 가능한’ 패턴을 보이는지를 검사한다. 구체적으로, f가 모든 작은 회로(크기 ≤ n^k)에 대해 동일한 출력값을 갖는 경우를 제외하고는 ‘구별 가능’하다고 판단한다. 이 검사는 거의 선형 시간 O(n·polylog n) 안에 수행될 수 있다. 중요한 점은, 구별성의 정의 자체가 회로의 존재 여부를 내포하고 있기 때문에, P/poly에 속하는 함수들은 대부분 이 성질을 만족하지 못한다. 반면, NP‑완전 문제의 증명 함수들은 자연스럽게 구별성을 만족한다는 것이 증명된다.

또한, 저자들은 이 성질이 ‘유용(useful)’하다는 것을 보인다. 즉, 구별성을 만족하는 함수 집합이 NP에 속하지만 P/poly에는 포함되지 않음이 증명된다. 이는 기존 자연스러운 증명에서 ‘큰’ 집합이 필요했던 부분을, quasi‑polynomial 수준의 작은 집합으로 대체하면서도 여전히 하한을 얻을 수 있음을 의미한다.

조건을 더 약화하면 무조건적인 존재론적 결과도 도출된다. 비균일 저복잡도 클래스(예: AC⁰, NC¹ 등)를 ‘구성적’이라 부르면, 이들 클래스에 속하는 함수들에 대해 거의‑큰(밀도 2⁻ᵠ⁽ⁿ⁾)이고 유용한 성질이 존재한다는 것이 카운팅 논증을 통해 보인다. 이는 기존의 ‘자연스러운 증명’이 요구하는 강한 구성성(다항 시간 알고리즘) 대신, 비균일 회로의 존재 자체를 이용해 구성성을 정의함으로써 얻어지는 결과이다.

마지막으로, Salil Vadhan이 제시한 대안 증명은 구별성의 정의를 약간 변형하여, 동일한 quasi‑polynomial 밀도와 효율적 판별 가능성을 유지하면서도, 증명의 구조를 보다 간결하게 만든다. 이는 ‘거의 자연스러운’ 성질이 단순히 기술적 변형이 아니라, 자연스러운 증명 장벽을 근본적으로 재해석할 수 있는 새로운 도구임을 시사한다.

요약하면, 이 논문은 자연스러운 증명의 핵심 장애물인 ‘크기’ 조건을 미세하게 완화함으로써, 기존의 PRG 기반 부정론을 회피하고, 구별성이라는 구체적이고 효율적인 성질을 통해 P/poly와 NP 사이의 구분을 실현한다. 이는 향후 회로 복잡도 하한 연구에 새로운 방향을 제시하며, ‘거의 자연스러운’ 접근법이 강력한 하한을 얻는 데 충분히 유용할 수 있음을 입증한다.