공간이 제한된 TM 및 오라클

일반적으로 오라클의 쿼리 테이프는 TM의 공간 복잡성을 고려합니다. 그러나 쓰기 전용 oracle-tape (L 공간 축소에 사용되는 것과 같은)을 허용하는 것은 그럴듯 해 보입니다.

그러한 구성이 유용합니까? 특히 터무니없는 결과가 나옵니까?

놀랍게도 한 가지 놀라운 사실은이 모델에서 Savitch의 정리가 "분명히"상대 론적이지 않다는 것입니다. 즉, 이 모델에서 및 을 알 수 있으며 현재 알지 못합니다 (이 맥락에서 Savitch의 정리는 그것을 제공하지 않는 것 같습니다). 이것이 "상대적으로"비상 대화 될 수 있는지에 관심이 있습니다.N P S P A C E P = N E X P T I M E E X P T I M E = N E X P T I M $PSPACE^P=EXPTIME$$NPSPACE^P=NEXPTIME$$EXPTIME=NEXPTIME$

이 모델에서 임을 알 수 있습니다 .$NL^{NL}=NL^L=NP$

그러나 나는이 모형이 공간 계층 정리에서의 상대 성화 문제와 관련하여 생각할 가치가 있다고 생각한다. 또한 어떤 의미에서 가 폴리 크기 쿼리를 에 만들기를 원합니다 .$L^A$$A$

이것은 귀하의 질문에 답하지 않을 수도 있지만 (정직하게 이해하지 못합니다), 나는 그것이 같은 정신에 있다고 생각합니다. 하나의 oracle 테이프가있는 logspace TM와 여러 개의 oracle 테이프에 액세스 할 수있는 로그 공간 TM 사이에 환원성의 차이가있는 것으로 알려져 있습니다. 또한 다음과 같은 로그 공간 개념에는 좋은 특성이 있습니다. TM은 작업 테이프에서 로그 공간 만 사용할 수 있지만 오라클 테이프에서는 다항식 공간을 사용할 수 있습니다.

참조 : http://groups.csail.mit.edu/tds/papers/Lynch/tcs78.pdf

NSPACE (0) P = RE 조금이라도 터무니없는 것 같아요.

실제로, L은 재귀 적으로 열거 가능한 언어로, 입력과 숫자 n을 "1"로 읽는 L 및 M 'TM을 인식하고 n 단계에서이 입력에 대해 M을 시뮬레이션하는 TM입니다. 그런 다음 공간을 사용하지 않고 oracle 테이프의 입력을 복사하고 필요한 수를 추측하고 M '을 쿼리 할 수 ​​있습니다.

그런 다음 M '은 M accept를 수락하고 다항식이 될 수있을만큼 큰 입력을 갖습니다.