[논문 리뷰] Complexity Considerations, cSAT Lower Bound

Radosław Hofman|ArXiv.org|2007. 04. 04.

Complexity and Algorithms in Graphs참고 문헌 6인용 수 3

한 줄 요약

이 논문은 결정론적 계산 하에서 부울 만족 가능성 문제(cSAT)에 대해 지수하한(lower bound)가 존재함을 주장하며, 이는 P ≠ NP를 의미한다. 일阶논리 부울 논리의 완전성과 최적 유도의 본질적 지수성 지속성을 분석함으로써, 저자는 cSAT를 해결할 수 있는 비결정론적 다항시간 알고리즘(NDTM)을 구성함으로써 NP-완전성을 입증하고, P ≠ NP를 결론짓는다. 또한 Baker-Gill-Solovay의 상대화(relativization) 기반으로 결정론적 모델과 비결정론적 모델 간의 오라클 차별을 다룬다.

ABSTRACT

This article discusses completeness of Boolean Algebra as First Order Theory in Goedel's meaning. If Theory is complete then any possible transformation is equivalent to some transformation using axioms, predicates etc. defined for this theory. If formula is to be proved (or disproved) then it has to be reduced to axioms. If every transformation is deducible then also optimal transformation is deducible. If every transformation is exponential then optimal one is too, what allows to define lower bound for discussed problem to be exponential (outside P). Then we show algorithm for NDTM solving the same problem in O(n^c) (so problem is in NP), what proves that P eq NP. Article proves also that result of relativisation of P=NP question and oracle shown by Baker-Gill-Solovay distinguish between deterministic and non-deterministic calculation models. If there exists oracle A for which P^A=NP^A then A consists of infinite number of algorithms, DTMs, axioms and predicates, or like NDTM infinite number of simultaneous states.

연구 동기 및 목표

• 결정론적 계산 하에서 부울 만족 가능성 문제(cSAT)를 해결하는 데 드는 복잡도에 하한을 설정하기.
• 고델의 의미에서 일阶논리 부울 대수의 완전성과 그 유도 복잡도에 대한 영향 분석하기.
• 해당 체계에서 최적의 유도가 본질적으로 지수적임을 입증함으로써 문제의 P에 속하지 않음을 시사하기.
• 비결정론적 튜링 기계(NDTM)가 cSAT를 다항시간 내에 해결할 수 있음을 보여주어 문제를 NP에 포함시킴.
• Baker-Gill-Solovay의 기준에 따라 결정론적 및 비결정론적 계산 모델 간의 차이를 오라클 상대화를 통해 명확히 하기.

제안 방법

• 일阶논리 부울 논리의 완전성 분석을 통해, 타당한 변환은 항상 공리 및 술어로부터 도출되어야 한다고 주장함.
• 모든 유도가 길이 측면에서 지수적이라면, 최적의 유도 역시 지수적이어야 하므로 하한을 설정함.
• cSAT를 O(n^c) 시간 내에 해결하는 비결정론적 튜링 기계(NDTM)를 구성함으로써 문제의 NP에 속함을 입증함.
• 해당 NDTM의 존재를 결정론적 모델에서의 지수하한과 대비시킴.
• Baker-Gill-Solovay의 상대화 프레임워크를 적용하여, P와 NP를 구분하는 오라클은 무한한 수의 공리, 술어 또는 상태를 코딩해야 함을 보임.
• 논리적 완전성과 유도 등가성에 기반하여 결정론적 경우에 더 짧은 유도가 존재할 수 없음을 주장함.

실험 결과

연구 질문

• RQ1 모든 유도가 해당 논리 체계에서 지수적이라면, 부울 만족 가능성 문제(cSAT)는 결정론적 다항시간 내에 해결 가능한가?
• RQ2 일阶논리 부울 논리의 완전성은 cSAT의 복잡도에 대한 하한을 도출하는 데 사용될 수 있는가?
• RQ3 cSAT에 대해 다항시간 내에 해결 가능한 NDTM가 존재한다면, 결정론적 유도가 본질적으로 지수적이라면 P ≠ NP를 유추할 수 있는가?
• RQ4 P vs. NP 문제의 상대화는 결정론적 및 비결정론적 계산 모델 간의 차이를 어떻게 구분하는가?
• RQ5 논리적 및 계산적 제약 조건을 고려할 때, P^A = NP^A가 성립하기 위해 오라클 A가 가져야 할 구조적 성질은 무엇인가?

주요 결과

• 논문은 결정론적 계산 하에서 cSAT를 해결하는 데 대해 지수하한을 설정하여 문제의 P에 속하지 않음을 시사한다.
• 주어진 일阶논리 부울 논리 프레임워크에서 최적의 유도는 모든 가능한 유도가 지수적이라는 점에 기반해 길이 측면에서 지수적이어야 함을 입증한다.
• cSAT를 O(n^c) 시간 내에 해결하는 비결정론적 튜링 기계(NDTM)를 구성하여 문제의 NP에 속함을 확인한다.
• 해당 NDTM의 존재와 결정론적 계산에서의 지수하한을 종합함으로써 P ≠ NP를 결론짓는다.
• P^A = NP^A가 성립하는 데 필요한 모든 오라클 A는 무한한 수의 알고리즘, 공리 또는 비결정론적 상태를 코딩해야 하며, 이는 결정론적 및 비결정론적 모델 간의 근본적 차이를 강조한다.
• 분석 결과, Baker-Gill-Solovay의 상대화 결과가 P ≠ NP 결론과 일치함을 확인함. 즉, 클래스를 구분하는 오라클은 매우 복잡해야 한다.