16 search results - page 2 / 4 » Resolution and the Weak Pigeonhole Principle |
COCO
2001
Springer
13 years 10 months ago
2001
Springer
JCSS
2002
13 years 5 months ago
2002
The exact complexity of the weak pigeonhole principle is an old and fundamental problem in proof complexity. Using a diagonalization argument, Paris, Wilkieand Woods 16] showed ho...
APAL
2004
13 years 5 months ago
2004
We study the extension (introduced as BT in [5]) of the theory S1 2 by instances of the dual (onto) weak pigeonhole principle for p-time functions, dWPHP(PV )x x2 . We propose a n...
LOGCOM
2007
13 years 5 months ago
2007
The principle sPHPa b (PV (α)) states that no oracle circuit can compute a surjection of a onto b. We show that sPHP (a) P (a)(PV (α)) is independent of PV1(α)+sPHP π(a) Π(a)...
JSYML
2008
13 years 5 months ago
2008
