Alternation
True Quantified Boolean Formulas (TQBF sometimes written QBF) is PSPACE-Complete (Proof)
Similar to the proof of Savitch's Theorem
Introduced Alternating Turing Machines
All based on paper Alternation by Chandra, Kozen and Stockmeyer
HW1 is now posted, due Friday September 4 at 5 PM on T-Square
Ground Rules for assignments
You can work together but should write up solutions in your own words
Best to solve the problems without outside help but if you do look up the solution please cite the source and write up the solution in your own words
