시공간 트레이드 오프 하한

3SAT [ 1 ]의 하한에 대한 토론에 이어, 시공간 상충 관계로 공식화 된 주요 하한 결과가 무엇인지 궁금합니다. 나는 Savitch의 정리와 같은 결과를 배제하고있다. 좋은 입장은 단일 문제와 그 한계에 초점을 맞출 것입니다. 예를 들면 다음과 같습니다.

"T와 S는 모든 SAT 알고리즘의 실행 시간과 공간 경계가되게하십시오. 그러면 T⋅S≥n2cos (π / 7) -o (1)이 무한정 자주 있어야합니다." ( 라이언 윌리엄스에 의해 [ 1 ] 제공)

또는

"SAT는 일반 랜덤 액세스 비 결정적 튜링 머신에서 ε> 0에 대해 n ^{1 + 0 (1)} 시간과 n ^1-ε 공간 에서 동시에 풀 수 없습니다 ." (10.1109 / CCC.1997.612300의 랜스 포트 노우)

또한, 나는 자연 시공간 트레이드 오프 복잡성 클래스 (회로 클래스 제외)의 정의 를 포함 하고 있습니다.

— Michaël Cadilhac
소스

흠. CW 태그가 필요하지 않은 또 다른 예입니다.

— Suresh Venkat

무슨 소리 야?

— Michaël Cadilhac

Suresh는 질문을 큰 목록 이외의 것으로 바꾸고 찾고자하는 것에 대해 더 구체적으로 언급 한 경우이 커뮤니티에 "커뮤니티 위키"를 넣지 않아도된다고 말합니다. 또한 정말 "부드러운 질문"입니까?

— 라이언 윌리엄스

글쎄, 나는 큰 목록을 원하고, 구체적이지 않은 질문은 하나를 얻는 좋은 방법이라고 생각합니다. 이런 종류의 목록은 금지되어 있습니까? (나는 대답이 주어지지 않았기 때문에 내가 잘못한 것을 추측 할 수 있지만 무엇을 알지 못합니다.) 또한 지적 작업이 필요하지 않기 때문에 부드러운 질문입니다.

— Michaël Cadilhac

FAQ에서이를 명확하게 설명하겠습니다. 나는 이것이 기술적이기 때문에 쉬운 질문이 아니라고 말하고 싶습니다. 간단한 질문은 연구와 관련된 주제에 관한 것입니다-대학원에가는 곳, 논문을 읽는 방법 등

— Suresh Venkat

다음은 몇 가지 추가 참조입니다. 이를 인용 한 논문을 보면 더 많은 것을 찾을 수 있습니다.

$P$ $T^2 S \geq \Omega(n^3)$

$O(n)$ $O(1)$ $k+1$ $T S \geq \Omega(n^2)$ $k$

$S \leq o(n)$ $T \geq \omega(n)$

$TS \geq \Omega(n^2)$

— 라이언 윌리엄스
소스