loading...
Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling
Providence, Rhode Island October 21-October 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.2248th Annual IEEE Symposium on Foundat ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Citation:
Philipp Hertel, Toniann Pitassi, "Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling," focs, pp.137-149, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions