[논문 리뷰] Instruction sequences and non-uniform complexity theory

J.A. Bergstra, C.A. Middelburg|arXiv (Cornell University)|2008. 09. 02.

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

한 줄 요약

이 논문은 프로그램 대수학의 단일 통과 지시어 시퀀스를 기반으로 한 비균일 복잡도 이론을 개발하며, P/poly와 NP/poly의 대응 개념을 도입하고 비균일 초다항 복잡도 가설을 제안한다. 이는 3SAT의 변종이 NP/poly-완전성을 갖는다는 것을 입증하며, 이 설정에서 복잡도 클래스가 고전적 정의와 일치함을 보여주며, 직관적인 지시어 시퀀스 기반의 환원 가능성을 갖는 새로운 대수적 프레임워크를 제공한다.

ABSTRACT

We develop theory concerning non-uniform complexity in a setting in which the notion of single-pass instruction sequence considered in program algebra is the central notion. We define counterparts of the complexity classes P/poly and NP/poly and formulate a counterpart of the complexity theoretic conjecture that NP is not included in P/poly. In addition, we define a notion of completeness for the counterpart of NP/poly using a non-uniform reducibility relation and formulate complexity hypotheses which concern restrictions on the instruction sequences used for computation. We think that the theory developed opens up an additional way of investigating issues concerning non-uniform complexity.

연구 동기 및 목표

• 단일 통과 지시어 시퀀스—프로그램 대수학의 기본 개념—를 기반으로 한 비균일 복잡도 이론을 개발하기 위해.
• 지시어 시퀀스 프레임워크 내에서 고전적 복잡도 클래스 P/poly와 NP/poly의 대응 개념을 정의하기 위해.
• 비균일 초다항 복잡도 가설을 중심 추측으로 제안하며, 직접적인 증거보다는 그 결과에 의해 동기화된 바탕으로.
• NP/poly의 대응 개념에서 완전성의 정의를 가능하게 하는 비균일 환원 가능성 관계를 도입하여 계산의 난이도 분석을 가능하게 하기 위해.

제안 방법

• 프로그램 대수학의 단일 통과 지시어 시퀀스—최대 한 번만 실행되는 지시어의 유한 또는 무한 시퀀스—를 기본 계산 모델로 사용한다.
• 지시어 시퀀스가 스레드 유사 행동을 통해 실행 환경과 상호작용하는 계산 모델을 정의하며, 이를 기본 스레드 대수학(BTA)으로 모델링한다.
• NP/poly의 대응 개념에 대한 완전성의 정의를 가능하게 하기 위해 지시어 시퀀스 변환 기반의 비균일 환원 가능성 관계를 도입한다.
• 지시어 시퀀스를 제한하여 계산의 한계를 분석하기 위해 초다항 특성 제거 복잡도 가설을 세 가지 제안한다.
• 이 프레임워크에서 P/poly와 NP/poly 복잡도 클래스가 고전적 정의와 일치함을 입증한다.
• 스레드 추출에서 조합 폭발을 방지하기 위해 BTA에서 명시적 치환을 활용하여 지시어 시퀀스의 선형 크기 표현을 가능하게 한다.

실험 결과

연구 질문

• RQ1 단일 통과 지시어 시퀀스를 계산 원천으로 삼을 때, P/poly와 NP/poly와 같은 비균일 복잡도 클래스를 의미 있게 재정의할 수 있는가?
• RQ2 지시어 시퀀스 모델 내에서 NP/poly에 대한 자연스러운 비균일 환원 가능성 관계가 존재하는가? 이는 NP/poly의 완전성 개념을 뒷받침할 수 있는가?
• RQ3 3SAT의 변종이 지시어 시퀀스 프레임워크 내에서 여전히 NP-완전성과 NP/poly-완전성을 갖는가?
• RQ4 비균일 초다항 복잡도 가설을 제안하고, 고전적 대응 개념보다 더 강력한 결과를 이끌어낼 수 있는가?
• RQ5 이 모델에서 P/poly와 NP/poly 복잡도 클래스는 고전적 정의와 동일한가?

주요 결과

• 지시어 시퀀스 프레임워크에서 정의된 복잡도 클래스 NP/poly는 고전적 NP/poly와 동일하며, 이는 모델의 표현력이 타당함을 검증한다.
• 3SAT과 밀접한 관련이 있는 문제가 NP-완전성과 동시에 NP/poly의 대응 개념에 대한 완전성까지 갖는다는 것이 입증되었으며, 이는 이 모델 내에서 정점 난이도 문제의 기준이 된다.
• 비균일 초다항 복잡도 가설은 중심 가설로 제안되었으며, 세 가지 관련 가설 중 첫 번째 가설은 NP/poly ⊈ P/poly 와 동치이다.
• 이 이론은 이 프레임워크에서 P/poly와 NP/poly가 고전적 정의와 일치함을 입증하여 기존 복잡도 이론과의 일관성을 확보한다.
• BTA에서의 명시적 치환은 지시어 시퀀스에서 스레드를 선형 크기로 추출할 수 있게 하여 표현에서 조합 폭발을 제거한다.