부분 결과서지만 확인
Relationships between nondeterministic and deterministic tape complexitiesWalter J. Savitch · 1970Journal of Computer and System Sciences 4(2), 177–192쪽 (1970) · 학회 발표 STOC 1969 (Proceedings of the 1st Annual ACM Symposium on Theory of Computing), 247–248쪽 — 학회판 제목은 「Deterministic simulation of non-deterministic Turing machines (Detailed Abstract)」비결정적 공간 s(n) 을 결정적 공간 s(n)² 으로 흉내 낼 수 있다는 Savitch 정리의 출전으로 널리 인용된다. 시간에서는 비결정성을 없애는 데 지수적 비용이 드는 방법밖에 모르는데 공간에서는 제곱이면 된다는 대비가 P 대 NP 를 설명할 때 자주 쓰인다. PSPACE = NPSPACE 의 근거를 인용하려는 글에 필요하다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 서지를 확인했다(본문은 열지 못함).