Google 친구는 다음과 같이 제안합니다. ” 연습 5.5.4에서 양방향 결정 성 유한 상태 오토마타에 대한 공허 문제의 PSPACE- 완전성은 헌트 (1973) 때문입니다. ” Science Press, 1989, 온라인 )

헌트 H. (1973). “언어의 시간과 테이프의 복잡성에 관한 것”, 5 차 연례 ACM 심포지엄 컴퓨팅 이론에 관한 논문, 10-19.

( 이제 참고 자료를 보았습니다. ) 종이는 당신이 주목 한대로 추상적 인 방식으로 작성되었습니다. 우리에게 중요한 부분은 Thm 3.7의 증거입니다. 여기서 고정 된 (!) 문자열 x (PSPACE의 정의에 가깝습니다 )에서 선형 경계 자동 기계 M 의 유효한 계산을 허용 하는 2FSA 를 구성 할 수 있다고 제안합니다 ). 2FSA A 는 다항식 시간 ( M 및 x 크기 )으로 구성 할 수 있습니다. LBA의 계산은 x $ x 1 $ … $ x n 으로 쓸 수 있습니다. 여기서 x i 는 모두 같은 길이입니다.A

M

x

A

M

x

x$x1$…$xn

xi

는 M의 연속 단계입니다. A 는 x i 와 x i + 1 이 같은지어떻게확인합니까 (LBA 작업으로서 상태의 단일 로컬 변경 및 단일 기호까지)? 편지로 편지를 확인하여 테이프에서 양방향으로 이동하십시오. 이를 위해 우리는 크기 카운터가 필요합니다 | x | A 의 유한 상태 제어에서 구현됩니다.x

M

A

xi

xi+1

|x|

A

그것은 문제가 Garey & 존슨에 의해 고전적인 기준의 부록에 나와있는 것으로 나타났다 컴퓨터와 다루기 힘듦 , 문제 [AL2] 명시 적 발언에 “양방향 유한 상태 자동 장치의 비 공허함” “PSPACE 완성하더라도 결정적 “입니다. 참고 다시 헌트, 정화 “선형 경계 기계적으로 수용에서 변환”을 (LBA 감안할 때 및 입력 X , 않습니다 A는 동의 X ?). 후자의 문제는 유명한 Karp (1972)의 논문 “조합 문제들 사이의 효율성”(LBA 수락이 상황에 맞는 인식으로 언급 됨)을 참조한 [AL3]입니다.A

A

x

A

x

답변