[논문 리뷰] A Solution of the P versus NP Problem

Norbert Blüm|arXiv (Cornell University)|2017. 08. 11.

Complexity and Algorithms in Graphs참고 문헌 27인용 수 4

한 줄 요약

이 논문은 이전에 단조 회로 복잡도에 적용된 CNF-DNF-근사기 기법을 비단조 회로로 확장하여, 클리크 함수와 안드레예프 함수의 복잡도에 대해 지수적 하한을 입증한다. 비단조 설정에서 이러한 하한을 확립함으로써 저자들은 P ≠ NP 를 결론짓는다.

ABSTRACT

Berg and Ulfberg and Amano and Maruoka have used CNF-DNF-approximators to prove exponential lower bounds for the monotone network complexity of the clique function and of Andreev's function. We show that these approximators can be used to prove the same lower bound for their non-monotone network complexity. This implies P not equal NP.

연구 동기 및 목표

• CNF-DNF-근사기 기법의 적용 범위를 단조 회로 복잡도에서 비단조 회로 복잡도로 확장하는 것.
• 클리크 함수와 안드레예프 함수와 같은 기본 함수의 비단조 네트워크 복잡도에 대해 지수적 하한을 확립하는 것.
• 이러한 하한을 P와 NP의 분리 근거로 활용하는 것.
• 단조 복잡도에서 효과적인 기법들이 비단조 케이스로 일반화될 수 있음을 보여주어 P ≠ NP 를 증명하는 데 핵심적인 단계를 밟는 것.

제안 방법

• 기존에 단조 회로에 대해 개발된 CNF-DNF-근사기 프레임워크를 비단조 회로 환경으로 적응시키는 것.
• 근사기 기법을 사용하여 비단조 네트워크에서 클리크 함수와 안드레예프 함수의 복잡도를 한정하는 것.
• 근사기의 오차와 민감도를 분석함으로써, 이러한 함수를 계산하는 데 있어 어떤 비단조 회로도 지수적 크기를 가져야 한다는 것을 증명하는 것.
• 이 기법을 사용할 경우, 단조 회로에 적용되는 동일한 구조적 제약이 비단조 회로에도 그대로 적용된다는 것을 입증하는 것.
• 근사기 기법을 적용하여 비단조 회로에서 AND 및 OR 게이트 간의 상호작용을 분석하고, 하한의 구조를 유지하는 것.
• 버그, 울프버그, 아마나코, 마루카 등 이전 연구 결과를 비단조 케이스로 확장함으로써, 복잡도 이론적 함의를 강화하는 것.

실험 결과

연구 질문

• RQ1 단조 회로 복잡도에서 효과적인 CNF-DNF-근사기 기법을 비단조 회로 복잡도에서 하한을 입증하는 데 확장할 수 있는가?
• RQ2 클리크 함수에 대해 단조 회로에서 성립하는 동일한 지수적 하한이 비단조 회로에서도 적용되는가?
• RQ3 근사기 기반 기법을 사용하여 어떤 함수가 지수적으로 큰 비단조 회로를 필요로 한다는 것을 입증할 수 있는가?
• RQ4 비단조 설정에서 이러한 지수적 하한이 존재한다면, 이는 P ≠ NP 를 의미하는가?
• RQ5 단조 회로에서 근사기로 드러난 구조적 제약이 더 일반적인 비단조 모델에서도 유지되는가?

주요 결과

• CNF-DNF-근사기 기법은 단조 회로에서 비단조 회로로 성공적으로 확장되었으며, 분석적 능력을 유지한다.
• 이 기법을 사용하여 클리크 함수의 비단조 네트워크 복잡도에 대해 지수적 하한이 확립되었다.
• 동일한 하한이 비단조 설정에서 안드레예프 함수에 대해서도 입증되었으며, 이는 그들의 본질적 계산 난이도를 확인한다.
• 결과적으로, 다항식 크기의 비단조 회로로는 해결할 수 없는 NP 내 문제들이 존재한다는 것을 시사한다.
• 비단조 모델에서 이러한 지수적 하한의 존재를 바탕으로 논문은 P ≠ NP 를 결론짓는다.
• 이 방법은 근사기 기법을 통해 단조와 비단조 회로 복잡도를 통합하는 프레임워크를 제공한다.