Sammanfattning
1. Abstract
- PSPACE와 EXP의 동일성 부정
- 새로운 증명 기법 사용
2. Introduction
- PSPACE와 EXP의 관계 설명
- EXP-complete 문제 E와 PSPACE-complete 문제 P 비교
3. Time vs. Space Complexity
- 튜링 머신의 시간 및 공간 복잡도 비교
- 두 테이프 튜링 머신의 미해결성
4. Length increasing functions
- 80년대의 정직 다항식 및 길이 증가 함수 감소 연구
- EXP-complete인 A와 B의 길이 증가 함수 관계
5. EXP ≠ PSPACE
- E0와 P0의 관계
- E0에서 P0로의 길이 증가 함수 부정
6. Relativization Barrier
- PSPACE와 EXP의 분리
- 대각화를 통한 증명의 상대성 장벽
7. Acknowledgments
- Klaus Ambos-Spies, Martin Grohe, Lance Fortnow에 대한 감사 인사
References
- Klaus Ambos-Spies, Theodore Baker 등의 논문 참조
Statistik
E0는 EXP-complete이고 P0는 PSPACE-complete이다.
E0 ≤p 1 E0 및 P ≤p 1 P0이다.
E0 ̸≤p m P0이면 PSPACE ̸= EXP이다.
Citat
"E0는 EXP-complete이므로 모든 A ∈ EXP ⇒ A ≤p m E"
"EXP = EXPP 및 PSPACE = PSPACEP이므로 PSPACE ̸= EXP"