Providence, Rhode Island
Oct. 21, 2007 to Oct. 23, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.22
The complexity of the Black-White Pebbling Game has remained open for 30 years. It was devised to capture the power of non-deterministic space bounded computation. Since then it has been applied to problems in diverse areas of computer science including VLSI design and more recently propositional proof complexity. In this paper we show that the Black-White Pebbling Game is PSPACE-complete. We then use similar ideas in a more complicated reduction to prove the PSPACEcompleteness of Resolution space. The reduction also yields a surprising exponential time/space speedup for Resolution in which an increase of 3 units of space results in an exponential decrease in proof-size.
Philipp Hertel, Toniann Pitassi, "Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling", FOCS, 2007, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science 2007, pp. 137-149, doi:10.1109/FOCS.2007.22