LECTURE 2-9 PSPACE-Complete
SPACE BOUNDED HALTING PROBLEM (SBHP) THEOREM PROOF
QUANTIFIED BOOLEAN FORMULA QBF THEOREM
PROOF
3-QBF THEOREM
Geography Game
Example 1 BLUE ALWAYS WINS
Example 2 RED WINS
Example 2 BLUE WINS IF RED DOESN’T MAKE A MISTAKE, THEN BLUE CANNOT WIN.
Example 3 BLUE HAS A WINNING STRATEGY!!!
Geography Problem WIINNIG STRATEGY
THEOREM PROOF Construction Such that
BLUE HAS A WINNING STRATEGY!!!
BLUE HAS A WINNING STRATEGY!!!
BLUE HAS A WINNING STRATEGY!!! Means: there is an assignment for x-variables making every clause satisfied.
BLUE HAS A WINNING STRATEGY!!!
BLUE HAS A WINNING STRATEGY!!!
Questions Is go game on 19x19 grid PSPACE-complete? What do we mean that the go game is PSPACE-complete?
Thanks, end.