SPACE COMPLEXITY SHESHAN SRIVATHSA INTRODUCTION Definition Let M be a deterministic Turing Machine that halts on all inputs Space Complexity of M is the function fN N where fn is the maximum number of tape cells that M scans on any input of length n ID: 1002383
Download Presentation The PPT/PDF document "THEORY OF COMPUTATION TOPIC:COMPLEXITY C..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
1. THEORY OF COMPUTATIONTOPIC:COMPLEXITY CLASSESSPACE COMPLEXITYSHESHAN SRIVATHSA
2. INTRODUCTIONDefinition:Let M be a deterministic Turing Machine that halts on all inputs.Space Complexity of M is the function f:NN, where f(n) is the maximum number of tape cells that M scans on any input of length n.For any function f:NN, we define:SPACE(f(n))={L | L is a language decided by an O(f(n)) space DTM}NSPACE(f(n))={L | L is a language decided by an O(f(n)) space NTM}
3. INTRODUCTIONLow Space Classes:Definitions (logarithmic space classes):L = SPACE(logn)NL = NSPACE(logn)
4. Analyzing Space ComplexityIf M is a deterministic Turing machine that halts on an inputs, then the value ofspacereq(M) is the function f(n) defined so that, for any natural number n,f(n) isthe maximum number of tape squares that M reads on any input of length n.If M is a nondeterministic Turing machine all of whose computational paths halt on all inputs, then the value of spacereq(M) is the function f(n) defined so that, for any natural number n,f(n) is the maximum number of tape squares that M reads onany path that it executes on any input of length n.
5. EXAMPLESAT is NP-complete.SAT can be solved in linear(O(m)) space.M1=“On input <>, where is a Boolean formula:For each truth assignment to the variables x1,…xm of .Evaluate on that truth assignment.If ever evaluate to 1, ACCEPT; if not, REJECT.” 000…0x1 x2 x3 … xn
6. Relating Time and Space ComplexityTheorem: Given a Turing machine M = (K , 2:., r, 8, s, H) and assuming that spacereq(M) ~ n, the following relationships hold between M's time and space requirements:spacereq(M) < timereq(M) E o (cspacereq(M) )Proof: Spacereq(M) is bounded by timereq(M) since M must use at least one time step for every tape square it visits.The upper bound on timereq(M) follows from the fact, since M halts, the number of steps that it can execute is bounded by the number of distinct configurations that it can enter. That number is given by the function MaxConfigs(M), as described above. Since MaxConjigs(M) E O(cspacereq(M»), timereq(M) E O(cspacereq(M»).
7. Savitch’s TheoremProof: Suppose language A can be decided by an NTM in k f(n) space, for some constant k. We shall show that it can be decided by a DTM in O((f(n))2) space.Let be an input string to N.t: integer;c1,c2: configurations of N on .Theorem For any function f: NR+, where f(n)n, we have NSPACE(f(n)) SPACE(f2(n)).
8. Savitch’s TheoremCANYIELD(c1,c2,t) accept if starting from c1 N has a branch entering configuration c2 in t steps; o/w rejects.CANYIELD=“On input c1,c2 and t:If t=1, test whether c1=c2 or c1├ c2, then accept; else reject.If t>1, then for each configuration cm of N on using space f(n).Run CANYIELD(c1,cm, ) Run CANYIELD(cm,c2, ) If 3 & 4 both accept, then accept; else reject.”
9. caccept: accept configuration.cstart: start configuration of N on .Select a constant d so that N has no more than 2df(n) configurations using f(n) tape space, n=| |.M=“On input output the result of CANYIELD(cstart, caccept, 2df(n)).”CANYIELD is a recursive procedure:Recursive depth:log22df(n)=O(f(n))Each recursive call of CANYIELD use O(f(n)) space.Thus, it uses O(f2(n)) space.
10. Example of Savitch’s algorithmboolean PATH(a,b,d) { if there is an edge from a to b then return TRUE else { if (d=1) return FALSE for every vertex v (not a,b) { if PATH(a,v, d/2) and PATH(v,b, d/2) then return TRUE } return FALSE }}1432
11. PSPACE AND NSPACEPSPACE is the class of languages (or problems) that are decidable in polynomial space on a det. TM.Similarly we can define NPSPACE to be the class of languages that are decidable in polynomial space by a NTM.So, what is the relationship between PSPACE and NPSPACE?
12. PSPACE = NPSPACETheorem: PSPACE = NPSPACEProof : If L is in PSPACE, then it must also be in NPSPACE because the deterministic Turing machine that decides it in polynomial time is also a nondeterministic Turing machine that decides it in polynomial time.It is an important corollary of Savitch's Theorem.
13. PSPACE CompletenessDefinition: A language B is PSPACE-Complete if BPSPACE For every ASPACE, APB.If B is just satisfies Condition 2, we say B is PSPACE-hard
14. P, NP, and PSPACETheorem: P ⊆ PSPACEProof: If a language is decided by some DTM M in f(n) time, M cannot see more than f(n) cells. Thus, TIME(f(n)) ⊆ SPACE(f(n)), So that P ⊆ PSPACE
15. PSPACE and EXPTIMEProof: If a language is decided by some DTM M in f(n) space (where f(n) >=n), M can visit at most f(n) 2 O(f(n)) configurations (why?) Thus, M must run in f(n) 2 O(f(n)) time.In other words, SPACE(f(n)) ⊆ TIME(2O(f(n))),so that PSPACE ⊆ EXPTIME.P⊆NP⊆P SPACE⊆EXPTIME
16. A Hierarchy ofComplexity
17. The Language QBFMathematical statements usually involve quantifiers: 8 (for all) and 9 (there exists)• E.g., 8x F(x) means for every value of x, the statement F(x) is TRUE• E.g., 9x F(x) means there exists some value of x such that F(x) is TRUE•Boolean formulas with quantifiers are called quantified Boolean formulas• E.g., 9y ( y = x+1) and 8x (9y ( y x)) are quantified Boolean formulas
18. All of the following are quantified Boolean expressions.• (P 1\ ,R)~S• 3P «P 1\ ,R) ~ S)• \iR (3P «P 1\ ,R) ~ S»• \iS (\iR (3P «P 1\ ,R) ~ S»).All quantified Boolean expressions are in prenex normal form.
19. TQBF is PSPACE CompleteTheorem: TQBF is PSPACE-CompleteProof: (s,t,|V|) is TRUE iff there is a path from s to t. is constructible in poly-time.Thus, any PSPACE language is poly-time reducible to TQBF, i.e. TQBF is PSPACE-hard.Since TQBFPSPACE, it’s PSPACE-Complete.
20. EXAMPLE(1)PSPACE-complete:The generalized version of some common games we play are PSPACE-complete:Game of the AmazonsTic-Tac-Toe
21. EXAMPLE(2)Generalized Geography : Each city chosen must begin with the same letter that ended the previous city name.
22. The Classes L and NLL=SPACE(log n)NL=NSPACE(log n)E.G : PATH={<G,s,t> | G is a directed graph that has a directed path from s to t}.NL Completeness :A language B is NL-Complete if BNL For every ANL, ALB.
23. The Closure of Space Complexity ClassesUnder ComplementDeterministic Space-Complexity Classes are Closed Under ComplementTheorem: For every function f(n) , dspace(f( n)) = co-dspace(f(n)).Proof: If L is a language that is decided by some deterministic Turing machine M,th en the deterministic Turing machine M' that is identical to M except that thehalting states y and n are reversed decides ~L. spacereq(M' ) = spacereq(M) .So, if L E dspace(f( n)), so is ~L.
24. www.cs.tau.ac.il/~safra/Complexity/Space.ppt space complexitypeople.cs.nctu.edu.tw/~sctsai/fc/notes/SpaceComplexity.ppthttp://homepage.cs.uri.edu/faculty/hamel/courses/2013/spring2013/csc544/lecture-notes/18-space-complexity.pdf2008 Elaine A Rich, Automata, Computability And Complexity, Theory And Application (CHAPTER 29).http://www.cs.elte.hu/~lovasz/kurzusok/complexity.pdf.http://en.wikipedia.org/wiki/True_quantified_Boolean_formulahttp://www.cs.nthu.edu.tw/~wkhon/lectures/.REFERENCES
25.