[논문 리뷰] Finding of k in Fagin's R. Theorem 24

Algirdas Maknickas|arXiv (Cornell University)|2010. 12. 28.

Computability, Logic, AI Algorithms참고 문헌 3인용 수 3

한 줄 요약

이 논문은 비결정성 단일 테이프 튜링 기계가 시간 T(l) ≥ l+1 내에서 인식할 수 있는 임의의 언어가 결정성 단일 테이프 튜링 기계에 의해 시간 T^6 내에서 인식될 수 있음을 보여줌으로써 P = NP임을 증명한다. 복소다항논리와 해석적 생성 함수를 사용하여 패긴의 정리 24에서 k = 6을 유도한다. 핵심 주장은 복소근의 단위근에 문자를 인코딩하고, 비결정성 계산을 다항식 시간 증가(특히 6제곱 증가)로 결정성으로 시뮬레이션할 수 있음을 보이는 데에 있다.

ABSTRACT

By using of analytical multi-logic expresses in conjunction with non-deterministic Turing machine the proposition was proved that algorithm of deterministic Turing counter machine of polynomial time complexity can be decreased to the algorithm of linear time complexity in non-deterministic Turing counter machine. Furthermore, it was shown that existence of reduction of polynomial time complexity to the linear time complexity by switching from deterministic to non-deterministic Turing machine for string recognition imply P equals to NP. Analytical generation functions of higher order logic were used for finding of k value in Fagin's R. Theorem 24.

연구 동기 및 목표

• 비결정성 시간 T가 결정성 시간 T^k로 시뮬레이션될 수 있는 상수 k의 존재와 P = NP의 동치성을 증명하는 패긴의 정리 24를 증명하기 위해.
• 비결정성 튜링 기계의 시간 복잡도 T(l) ≥ l+1이 결정성 기계에 의해 시간 T^6 내에서 시뮬레이션될 수 있음을 보여주기 위해.
• 복소수 체 C 위에서 |z_n| = 1인 다가역 논리와 고차수 해석적 생성 함수를 사용하여 패긴의 정리 24에서 k의 값을 계산하기 위해.
• 결정성에서 비결정성 계산으로의 전이가 시간 복잡도를 O(k^2)에서 O(k)로 감소시키며, 이러한 감소가 일반적으로 유효하다면 P = NP임을 의미함을 보여주기 위해.

제안 방법

• 논문은 복소수 z_n = exp(2πi/n)를 사용하여 비결정성 및 결정성 단일 테이프 튜링 기계를 모델링하며, |z_n| = 1 조건을 만족하는 다가역 논리의 기호를 표현한다.
• 비결정성 기계와 결정성 기계에 각각 기반 b = 2^{l^2}과 이진기반 2에서의 표현을 위해 분석적 생성 함수 g^{n_1}_k(z^{A_b^i}_n1) 및 g^{n_2}_k(z^{A_2^i}_n2)를 사용하여 기호를 인코딩한다.
• 비결정성 기계에서는 단일 셀 카운터(d = l)를 사용하여 시간을 O(k)로 줄이며, 결정성 기계는 순차적 이동으로 인해 O(k^2)의 시간이 소요된다.
• 시간 복잡도는 재귀 관계를 통해 유도되며, 비결정성 기준 T_d(k) = 2k c_iw + k c_a = O(k), 결정성 기준 T_d(k) = (2k + (k/d - 1)(k/d)) c_iw + log_d k (log_d k + 1) c_ow + k c_a = O(k^2)이다.
• b = 2^{l^2}일 때 이진 표현 길이가 l^3으로 증가하며, 비결정성에서 결정성 시뮬레이션으로의 시간 증가율이 T^6임을 보였다.
• T^6 시뮬레이션이 가능하다면 P = NP임을 증명함으로써, P = NP와 이러한 k의 존재성 간의 동치성을 입증하였다.

실험 결과

연구 질문

• RQ1 비결정성 단일 테이프 튜링 기계의 시간 복잡도 T(l) ≥ l+1이 고정된 k에 대해 결정성 단일 테이프 기계에 의해 시간 T^k 내에서 시뮬레이션될 수 있는가?
• RQ2 비결정성 시간 T 내에서 인식되는 모든 언어가 결정성 시간 T^k 내에서 인식될 수 있는 최소 k의 값은 얼마인가?
• RQ3 복소다항논리와 해석적 생성 함수의 사용이 패긴의 정리 24에서 k의 유도를 가능하게 하는가?
• RQ4 O(k^2) 결정성 시간에서 O(k) 비결정성 시간으로의 감소는 P = NP를 함의하는 데 충분한가?
• RQ5 |z_n| = 1 조건을 만족하는 복소근의 단위근을 이용한 문자열 인식이 비결정성 계산의 다항식 시간 시뮬레이션을 가능하게 하는가?

주요 결과

• 논문은 k = 6일 때, 비결정성 단일 테이프 튜링 기계가 시간 T(l) ≥ l+1 내에서 인식할 수 있는 임의의 언어가 결정성 단일 테이프 기계에 의해 시간 T^6 내에서 인식될 수 있음을 증명한다.
• 비결정성 카운터 메커니즘은 단일 셀 카운터를 사용하여 O(k) 시간 내에 작동하지만, 결정성 버전은 순차적 이동으로 인해 O(k^2) 시간이 소요된다.
• b = 2^{l^2}로 설정할 경우, 문자열의 이진 표현 길이가 l^3으로 증가하며, 비결정성에서 결정성 시뮬레이션으로의 시간 복잡도 증가율이 T^6임을 입증하였다.
• 복소근의 단위근을 기반으로 한 분석적 생성 함수 g^{n_1}_k 및 g^{n_2}_k의 사용은 비결정성 및 결정성 기계에서 기호를 인코딩하는 데 기여하며, 시간 복잡도 비교를 가능하게 한다.
• 이 결과는 이러한 k가 존재할 경우(여기서 k = 6), P = NP임을 시사하며, 비결정성 계산의 다항식 시간 시뮬레이션이 가능하다면 복잡도 클래스가 붕괴하기 때문이다.
• 논문은 패긴의 정리 24에서 k = 6의 존재가 P와 NP의 동치성을 암시한다고 결론 내린다.