[논문 리뷰] NP is not AL and P is not NC is not NL is not L

Koji Kobayashi|arXiv (Cornell University)|2011. 10. 02.

Model-Driven Software Engineering Techniques인용 수 3

한 줄 요약

이 논문은 계산 문제의 종속성 구조를 분석하고, 특정 대칭적 또는 분기형 계산 패턴(특히 TWINE 문제에서)을 효율적으로 시뮬레이션할 수 없기 때문에 결정론적 튜링 기계(DTM)가 공간과 병렬성 제약으로 인해 일부 문제를 효과적으로 처리할 수 없음을 증명함으로써, NP ≠ AL, P ≠ NC, NC ≠ NL, NL ≠ L을 증명한다. 핵심 기여는 로그공간 DTM가 방향성 비순환 그래프(DAG) 내에서 대칭적이고 고복잡도의 경로를 처리할 수 없어 지수적 오버헤드가 발생하기 때문에 발생하는 복잡도론적 분리이다.

ABSTRACT

This paper talk about that NP is not AL and P, P is not NC, NC is not NL, and NL is not L. The point about this paper is the depend relation of the problem that need other problem's result to compute it. I show the structure of depend relation that could divide each complexity classes.

연구 동기 및 목표

• 주요 복잡도 클래스인 NP, AL, P, NC, NL, L 간의 стрict한 분리를 확립하기 위해.
• 한 문제의 해가 다른 문제의 결과에 의존하는 계산 문제의 종속성 구조를 분석하기 위해.
• 결정론적 로그공간 기계(LDTM)가 NP 및 NL 문제에서 발견되는 대칭적 또는 분기형 계산 패턴을 효율적으로 시뮬레이션할 수 없음을 보여주기 위해.
• 종속성을 모델링하기 위해 '차단 문제'와 '복합 문제'의 개념을 정식화하기 위해.
• TWINE 문제가 결정론적 로그공간에서 해결될 수 없음을 증명함으로써, L과 NL 및 그 이상의 분리를 확립하기 위해.

제안 방법

• 계산의 핵심 단위로 '행동 구성'을 도입함: 상태, 전이 함수, 헤드 위치, 테이프 기호 포함.
• 가상 튜링 기계(VTM)를 정의함: 유니버설 튜링 기계(UTM) 내에서 에뮬레이션되는 기계로, 각 VTM의 행동 구성은 로그공간으로 기록 가능함.
• 계산 역사를 모델링하기 위해 방향성 비순환 그래프(DAG)를 사용함: DTM(단일 경로), NDM(목표 구성 집합을 가진 DAG), ATM(집합의 가족).
• 종속성을 모델링하기 위해 '차단 문제'와 '변수 문제'를 도입함: 문제 P_i는 P_j가 먼저 해결되어야 함.
• 서로 의존하는 문제들의 집합으로서 '복합 문제'(CP)를 정의함: 이들의 만족 가능성에 따라 전체 결과가 결정됨.
• 대칭성과 경로 수 계산 논증을 적용하여, LDTM가 TWINE 내에서 지수적 수의 대칭적 로테이트 경로를 병렬로 처리할 수 없음을 보여주며, 이는 병렬성과 겹치지 않는 계산이 필요함을 시사함.

실험 결과

연구 질문

• RQ1 결정론적 로그공간 기계(LDTM)는 TWINE 문제에서 요구하는 대칭적 계산 경로를 시뮬레이션할 수 있는가?
• RQ2 왜 복잡도 클래스 L은 NL보다 엄격히 작으며, LDTM가 NL-완전 문제를 해결할 수 없는 구조적 제약은 무엇인가?
• RQ3 문제 간 종속성 체인(차단 문제 및 변수 문제)은 복잡도 클래스의 분리를 어떻게 영향을 주는가?
• RQ4 TWINE 내에서 대칭적 로테이트 경로의 수가 L ⊄ TWINE를 증명하는 데 어떤 역할을 하는가?
• RQ5 왜 NDM는 대칭적 요소 구성을 병렬로 처리할 수 있는 반면, DTM는 그렇지 못한가?

주요 결과

• LDTM는 O(n^{L(P₀→P₀)}) 개의 대칭적 로테이트 경로를 처리해야 하므로 TWINE를 계산할 수 없으며, 이는 LDTM의 O(n) 요소 처리 용량을 초과함.
• TWINE 내에서 서로 다른 로테이트 경로 시퀀스의 수는 O(n^{L(P₀→P₀)}) > O(n^c)이며, 이는 LDTM의 O(n) 요소 구분 능력을 초과함.
• LDTM는 병렬로 대칭 경로를 시뮬레이션할 수 없으며, 이를 위해 다수의 기계로 분할해야 하므로 O(L(P₀→P₀)) 개의 호출-응답 LDTM 쌍의 체인을 필요로 함.
• 체인 내 각 LDTM는 상호 배타적인 공간을 사용하고 결과를 공유할 수 없으므로, 일정한 공간에서의 시뮬레이션은 실패하며, 이는 L ⊄ TWINE를 증명함.
• NL ⊃ L는 엄격히 성립함: TWINE ∈ NL 이지만 TWINE ∉ L 이며, NL은 결정론적 로그공간으로 표현할 수 없는 비결정론적 분기 구조를 포함함.
• 논문은 최종적으로 NP ⊃ AL = P ⊃ NC ⊃ NL ⊃ L의 엄격한 계층을 도출하며, 모든 분리가 비자명함을 증명함.