Nordstrom, Jakob - Pebble Games, Proof Complexity, and Time-Space Trade-offs

lmcs:1111 - Logical Methods in Computer Science, September 13, 2013, Volume 9, Issue 3
Pebble Games, Proof Complexity, and Time-Space Trade-offs

Authors: Nordstrom, Jakob

Pebble games were extensively studied in the 1970s and 1980s in a number of different contexts. The last decade has seen a revival of interest in pebble games coming from the field of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing bounds on proof space, and establishing size-space trade-offs. This is a survey of research in proof complexity drawing on results and tools from pebbling, with a focus on proof space lower bounds and trade-offs between proof size and proof space.


Source : oai:arXiv.org:1307.3913
DOI : 10.2168/LMCS-9(3:15)2013
Volume: Volume 9, Issue 3
Published on: September 13, 2013
Submitted on: June 25, 2015
Keywords: Computer Science - Computational Complexity,Computer Science - Discrete Mathematics,Computer Science - Logic in Computer Science,Mathematics - Combinatorics,Mathematics - Logic


Share

Browsing statistics

This page has been seen 30 times.
This article's PDF has been downloaded 35 times.