hw2 - CSci 5403, Spring 2010 Homework 2 due: Feb 16, 2010...

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

View Full Document Right Arrow Icon
CSci 5403, Spring 2010 Homework 2 due: Feb 16, 2010 1. Games. Prove that the following problems are PSPACE -complete: (a) A Stochastic Satisfiability instance is a quantified boolean formula, only the universal quantifier is replaced by the random R quantifier (meaning, “for a random x”). An instance x 1 R x 2 x 3 ... Q n x n φ is in ssat if x 1 R x 2 x 3 ... Q n x n Pr[ φ ( x 1 ,...,x n )] 1 2 . Show that ssat is PSPACE -complete. In some sense, ssat is a “game against nature,” e.g. we can think of the player in a formula game instance playing against an opponent who is not explicitly adversarial, but simply moves randomly at each stage. It might seem like this should be an easier game to win, but your reduction shows this is not always true. (b) The Hamiltonian Path Game is a game played on a graph by two players. An in- stance of the game is specified by a ( G,v ) pair and means that Player I starts at node v . At each turn of the game, the current node is marked, and the current player may choose to move to any unmarked node adjacent to the current node; the next turn is made by the other player. If at any turn there are unmarked nodes but all neighbors of the current node are marked, Player II wins. Otherwise, the game ends with all nodes marked and Player I wins. Define the language
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/21/2011 for the course CSCI 5403 taught by Professor Sturtivant,c during the Spring '08 term at Minnesota.

Page1 / 2

hw2 - CSci 5403, Spring 2010 Homework 2 due: Feb 16, 2010...

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

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