Space Complexity. Master Informatique. Université Paris 5 René Descartes. Master Info. Complexity Space 1/26

Transcription

1 Space Complexity Master Informatique Université Paris 5 René Descartes 2016 Master Info. Complexity Space 1/26

2 Outline Basics on Space Complexity Main Space Complexity Classes Deterministic and Non-Deterministic Space Space-Time Relations Determining Space Complexity Hardness and Completeness Well-Known Problems Master Info. Complexity Space 2/26

3 Space Used by a Turing Machine If M is a Turing Machine and x an input word, the space used by M on x is the number of different squares visited by M during the computation. For f : N N, we say that a Turing Machine M works with space O(f(n)) if M stops for every input x on every input x, M uses on x a space s(n) with s(n) O(f(n)) Master Info. Complexity Space 3/26

4 Space Complexity Classes For f : N N, DSPACE(f(n)) is the set of languages which are decided by a deterministic Turing Machine M working with space O(f(n)). For f : N N, NSPACE(f(n)) is the set of languages which are decided by a non-deterministic Turing Machine M working with space O(f(n)). Master Info. Complexity Space 4/26

5 Hierarchy Theorems Definition A mapping f : N N is space-constructible if α a constant and M a Turing Machine s.t. M(n) computes f(n) using a space less than α f(n) Master Info. Complexity Space 5/26

6 Hierarchy Theorems Definition A mapping f : N N is space-constructible if α a constant and M a Turing Machine s.t. M(n) computes f(n) using a space less than α f(n) Deterministic Space Hierarchy Theorem Let f : N N and g : N N be two mappings such that n N, f(x) 0, g is space-constructible and f o(g). Then DSPACE(f(n)) DSPACE(g(n)) Master Info. Complexity Space 5/26

7 Hierarchy Theorems Definition A mapping f : N N is space-constructible if α a constant and M a Turing Machine s.t. M(n) computes f(n) using a space less than α f(n) Deterministic Space Hierarchy Theorem Let f : N N and g : N N be two mappings such that n N, f(x) 0, g is space-constructible and f o(g). Then DSPACE(f(n)) DSPACE(g(n)) Non-Deterministic Space Hierarchy Theorem Let f : N N and g : N N be two mappings such that n N, f(x) 0, g is space-constructible and f o(g). Then NSPACE(f(n)) NSPACE(g(n)) Master Info. Complexity Space 5/26

8 Deterministic vs Non-Deterministic Space Intuition: Non-determinism is not so important for space complexity... Theorem [Savitch 1970] For all function s space-constructible, DSPACE(f(n)) NSPACE(f(n)) DSPACE(f(n) 2 ) Master Info. Complexity Space 6/26

9 Complement Classes Proposition For all function f(n) space-constructible, DSPACE(f(n)) = codspace(f(n)) Theorem [Immerman 1988, Szelepcsényi 1988] For all function f(n) log(n) space-constructible, NSPACE(f(n)) = conspace(f(n)) Master Info. Complexity Space 7/26

10 Outline Basics on Space Complexity Main Space Complexity Classes Deterministic and Non-Deterministic Space Space-Time Relations Determining Space Complexity Hardness and Completeness Well-Known Problems Master Info. Complexity Space 8/26

11 Deterministic Space Complexity L = DSPACE(log(n)) is the class of decision problems that can be solved by a DTM using logarithmic space PSPACE = k>0 DSPACE(nk ) is the class of decision problems that can be solved by a DTM using polynomial space Master Info. Complexity Space 9/26

12 Deterministic Space Complexity L = DSPACE(log(n)) is the class of decision problems that can be solved by a DTM using logarithmic space PSPACE = k>0 DSPACE(nk ) is the class of decision problems that can be solved by a DTM using polynomial space L PSPACE Master Info. Complexity Space 9/26

13 Non-Deterministic Space Complexity NL = NSPACE(log(n)) is the class of decision problems that can be solved by a NDTM using logarithmic space NPSPACE = k>0 NSPACE(nk ) is the class of decision problems that can be solved by a NDTM using polynomial space Master Info. Complexity Space 10/26

14 Non-Deterministic Space Complexity NL = NSPACE(log(n)) is the class of decision problems that can be solved by a NDTM using logarithmic space NPSPACE = k>0 NSPACE(nk ) is the class of decision problems that can be solved by a NDTM using polynomial space NL NPSPACE Master Info. Complexity Space 10/26

15 PSPACE vs NPSPACE Proposition PSPACE = NPSPACE Master Info. Complexity Space 11/26

16 PSPACE vs NPSPACE Proposition PSPACE = NPSPACE Proof: For any k > 0, NSPACE(n k ) DSPACE((n k ) 2 ) = DSPACE((n 2k ) PSPACE, so NPSPACE PSPACE For any k > 0, DSPACE(n k ) NSPACE(n k ) NPSPACE, so PSPACE NPSPACE Master Info. Complexity Space 11/26

17 Relations Between Time and Space (1/3) Proposition For any mapping f : N N, NTIME(f(n)) DSPACE(f(n)) Master Info. Complexity Space 12/26

18 Relations Between Time and Space (1/3) Proposition For any mapping f : N N, NTIME(f(n)) DSPACE(f(n)) Corollary NP PSPACE Master Info. Complexity Space 12/26

19 Relations Between Time and Space (2/3) Polynomial Hierarchy vs Polynomial Space PH PSPACE Intuition For each class of the polynomial hierharchy, there is a complete problem i QBF or i QBF. All these problems are special instances of TQBF, so they are in PSPACE. Master Info. Complexity Space 13/26

20 Relations Between Time and Space (3/3) L NL P NP conp P 2 ΣP 2 Π P 2 We also know that some inclusions are strict: NL PSPACE P EXP PH PSPACE EXP NEXP Master Info. Complexity Space 14/26

21 Outline Basics on Space Complexity Main Space Complexity Classes Deterministic and Non-Deterministic Space Space-Time Relations Determining Space Complexity Hardness and Completeness Well-Known Problems Master Info. Complexity Space 15/26

22 Completeness for Space Complexity Classes The notions of hardness and completeness exist for space complexity classes. For most of the complexity classes, the definition is exactly the same as hardness and completeness for time complexity Master Info. Complexity Space 16/26

23 Completeness for Space Complexity Classes The notions of hardness and completeness exist for space complexity classes. For most of the complexity classes, the definition is exactly the same as hardness and completeness for time complexity A problem P is C-hard if for every problem P in C, P P f P, i.e. there is a polynomial reduction from any problem in C to P Master Info. Complexity Space 16/26

24 Completeness for Space Complexity Classes The notions of hardness and completeness exist for space complexity classes. For most of the complexity classes, the definition is exactly the same as hardness and completeness for time complexity A problem P is C-hard if for every problem P in C, P P f P, i.e. there is a polynomial reduction from any problem in C to P A problem is C-complete if it is in C and it is C-complete Master Info. Complexity Space 16/26

25 Completeness for Space Complexity Classes The notions of hardness and completeness exist for space complexity classes. For most of the complexity classes, the definition is exactly the same as hardness and completeness for time complexity A problem P is C-hard if for every problem P in C, P P f P, i.e. there is a polynomial reduction from any problem in C to P A problem is C-complete if it is in C and it is C-complete This definition works for PSPACE-hardness and PSPACE-completeness Master Info. Complexity Space 16/26

26 Completeness for Space Complexity Classes The notions of hardness and completeness exist for space complexity classes. For most of the complexity classes, the definition is exactly the same as hardness and completeness for time complexity A problem P is C-hard if for every problem P in C, P P f P, i.e. there is a polynomial reduction from any problem in C to P A problem is C-complete if it is in C and it is C-complete This definition works for PSPACE-hardness and PSPACE-completeness It does not work for L and NL Master Info. Complexity Space 16/26

27 Logarithmic Space and Completeness Logarithmic-Space Functional Reduction A logarithmic-space functional reduction f is a total computable function from a problem P 1 to a problem P 2 such that, for any instance i of P 1, f(i) can be computed in logarithmic-space in the size of i i is a positive instance of P 1 iff f(i) is a positive instance of P 2 Notation: P 1 L f P 2 Master Info. Complexity Space 17/26

28 Logarithmic Space and Completeness Logarithmic-Space Functional Reduction A logarithmic-space functional reduction f is a total computable function from a problem P 1 to a problem P 2 such that, for any instance i of P 1, f(i) can be computed in logarithmic-space in the size of i i is a positive instance of P 1 iff f(i) is a positive instance of P 2 Notation: P 1 L f P 2 Observation: If P 1 L f P 2, then P 1 P f P 2 Master Info. Complexity Space 17/26

29 Logarithmic Space and Completeness Logarithmic-Space Functional Reduction A logarithmic-space functional reduction f is a total computable function from a problem P 1 to a problem P 2 such that, for any instance i of P 1, f(i) can be computed in logarithmic-space in the size of i i is a positive instance of P 1 iff f(i) is a positive instance of P 2 Notation: P 1 L f P 2 Observation: If P 1 L f P 2, then P 1 P f P 2 NL-Hardness and NL-Completeness A problem P is NL-hard iff P NL, P L f P A problem P is NL-complete iff P is NL-hard and P L Master Info. Complexity Space 17/26

30 What About L-Completeness? Theorem Any problem in L is L-complete with respect to L f! Master Info. Complexity Space 18/26

31 What About L-Completeness? Theorem Any problem in L is L-complete with respect to L f! To define a meaningful notion of L-completeness, the hardness must be defined with another kind of functional reductions More details in [Garey and Johnson 1979] Master Info. Complexity Space 18/26

32 Canonical PSPACE-Complete Problem Reminder: A canonical QBF is a formula Q 1 X 1, Q 2 X 2,... Q n X n, φ: Q i {, } and Q i Q i+1 X 1,... X n form a partition of the Boolean variables in φ φ is a propositional formula n QBF: is the QBF X 1, X 2,... Q n X n, φ true? n QBF: is the QBF X 1, X 2,... Q n X n, φ true? Master Info. Complexity Space 19/26

33 Canonical PSPACE-Complete Problem Reminder: A canonical QBF is a formula Q 1 X 1, Q 2 X 2,... Q n X n, φ: Q i {, } and Q i Q i+1 X 1,... X n form a partition of the Boolean variables in φ φ is a propositional formula n QBF: is the QBF X 1, X 2,... Q n X n, φ true? n QBF: is the QBF X 1, X 2,... Q n X n, φ true? Complexity of TQBF TQBF = n 1( n QBF n QBF) TQBF is PSPACE-complete Master Info. Complexity Space 19/26

34 PSPACE vs Games Tic-Tac-Toe Classical Tic-Tac-Toe: In a 3 3 grid, two players must draw some marks (X or O). The winner is the first who has placed three marks in a horizontal, vertical or diagonal row Generalized Tic-tac-toe ((m, n, k) game): In a m n grid, a player wins when he has placed k marks in a row A winning strategy at time t for a player is a sequence of moves (drawing a mark in the grid) such that the player wins. Master Info. Complexity Space 20/26

35 PSPACE vs Games Tic-Tac-Toe Classical Tic-Tac-Toe: In a 3 3 grid, two players must draw some marks (X or O). The winner is the first who has placed three marks in a horizontal, vertical or diagonal row Generalized Tic-tac-toe ((m, n, k) game): In a m n grid, a player wins when he has placed k marks in a row A winning strategy at time t for a player is a sequence of moves (drawing a mark in the grid) such that the player wins. Complexity of (m, n, k)-strat (m n k)-strat is the decision problem: Is there a winning strategy for player X in the (m, n, k) game? (m n k)-strat is PSPACE-complete Master Info. Complexity Space 20/26

36 PSPACE vs Games Tic-Tac-Toe: Intuition Determining if there is a winning strategy for player X is like asking the question: Is there a way to draw an X at step 1, such that for all possible moves of the O player at step 2, there is a way to draw an X at step 3, such that for all possible moves of the O player at step 4, there is... such that X player wins? Master Info. Complexity Space 21/26

37 PSPACE vs Games Tic-Tac-Toe: Intuition Determining if there is a winning strategy for player X is like asking the question: Is there a way to draw an X at step 1, such that for all possible moves of the O player at step 2, there is a way to draw an X at step 3, such that for all possible moves of the O player at step 4, there is... such that X player wins? This can be represented as a QBF formula Master Info. Complexity Space 21/26

38 Generalized Super Mario Bros. [Demaine et al. 2016] Figure Super Mario Bros. is PSPACE-complete Master Info. Complexity Space 22/26

39 NL-Complete Problem in Graphs Reach Given a directed graph G = N, E and two nodes n 1, n 2 N, is there a path from n 1 to n 2 in G? Theorem [Papadimitriou 1994] Reach is NL-complete Master Info. Complexity Space 23/26

40 NL-Complete Problem in Logics Reminder on 2SAT 2SAT is a special case of satisfiability problem where only CNF formulas with binary clauses are considered Theorem [Papadimitriou 1994] 2SAT is NL-complete Master Info. Complexity Space 24/26

41 References W. J. Savitch, Relationships between nondeterministic and deterministic tape complexities. Journal of Computer and System Sciences, , N. Immerman, Nondeterministic space is closed under complementation. SIAM Journal on Computing 17, , R. Szelepcsényi, The Method of Forced Enumeration for Nondeterministic Automata. Acta Informatica vol. 26, no 3, , Master Info. Complexity Space 25/26

42 References M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman. Section 7.5: Logarithmic Space, , C.H Papadimitriou, Computational Complexity. Addison-Wesley, E.D. Demaine, G. Viglietta and A. Williams. Super Mario Bros. Is Harder/Easier than We Thought. Proceedings of the 8th International Conference on Fun with Algorithms, Master Info. Complexity Space 26/26