튜링 머신의 서브 라인 공간이란 무엇입니까?

입력이 회문인지 아닌지를 결정하는 문제 는 튜링 머신에 공간 이 필요한 것으로 입증되었습니다 . 그러나 입력을 저장하는데도 공간 이 걸리므로 모든 Turing 기계에 공간 필요한 것은 아닙니다 . $\Omega(\log n)$ $n$ $\Omega(n)$

물론, 적어도 선형 공간을 사용하는 함수는 적어도 로그 공간을 사용하기 때문에 모순이 없습니다. 그러나 쓰기 튜링 기계가 선형 공간보다 적게 사용하는 것이 가능하다고 제안 않습니다 - 모든 후, 왜 사람들이 모든 시간이 증명 것을 쓸 것이다 그 것 같다 정확히 같은 일이 있었다면 사소한 바운드? 튜링 머신이 선형 공간보다 적은 공간을 사용한다는 것은 무엇을 의미합니까? $\Omega(\log n)$ $\Omega(\log n)$ $\Omega(n)$

turing-machines space-complexity

— jsguy
소스

Afaik, 공간 복잡도는 일반적으로 정확히 이런 이유로 추가 메모리를 고려 합니다. (질문이 틀렸다는 점에 유의하십시오. "O (log n) ...을 달성하는 방법 ..."을 묻고 싶습니다.)

— Raphael

$O(\log n)$ $O(\log n)$

— 유발 필름 러스
소스

답변 해주셔서 감사합니다. 왜 인덱스를 이진 형식으로 변환해야합니까? 튜링 머신은 추상적 계산 모델이라고 생각했는데 왜 10 진수를 이진 표현으로 변환해야합니까?

— jsguy

O (\log n)

$O(\log n)$

@DavidRicherby, 테이프 셀은 두 자리 이상의 숫자를 가질 수 없습니까?

— jsguy

@jsguy 튜링 머신의 정의를 새로 고칩니다. 테이프 셀은 알파벳에서 단일 기호를 보유합니다.

— David Richerby

@DavidRicherby, 고맙다는 생각이 들었습니다.

— jsguy