lecture5 - P= CSci 5403 COMPLEXITY THEORY LECTURE V: SPACE...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
1 COMPLEXITY THEORY CSci 5403 LECTURE V: SPACE COMPLEXITY AND MORE CENTRAL QUESTIONS P = DTIME(n c ) c N NP = NTIME(n c ) c N EXP = DTIME(2 n c ) c N NEXP = NTIME(2 n c ) c N coNP = { L | L ̄ 2 NP } Definition: A language B is C-complete if: 1. B C 2. Every A in C is poly-time reducible to B (i.e. B is C-hard) HARDEST PROBLEMS IN C Definition: Let M be a deterministic TM that halts on all inputs. The space complexity of M is the function ƒ : N N , where ƒ(n) is the rightmost work tape position that M reaches on any input of length n. Definition: Let M be a non-deterministic TM that halts on all inputs. The space complexity of M is the function ƒ : N N , where ƒ(n) is the rightmost work tape position that M reaches on any branch of its computation on any input of length n.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 { L | L is a language decided by a O(t(n)) space non-deterministic Turing Machine } Definition: SPACE(t(n)) = Definition: NSPACE(t(n)) = { L | L is a language decided by a O(t(n)) space deterministic Turing Machine } Theorem. 3SAT ˥ SPACE(n) SAVITCH’S THEOREM Theorem: For any function ƒ where ƒ(n) n NSPACE(ƒ(n)) SPACE(ƒ(n) 2 ) Proof: Let N be a non-deterministic TM with space complexity ƒ(n) Construct a deterministic machine M that simply tries each branch of N Since each branch of N uses space at most ƒ(n), then M uses space at most ƒ(n)
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 6

lecture5 - P= CSci 5403 COMPLEXITY THEORY LECTURE V: SPACE...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online