A reduction of proof complexity to computational complexity for $AC^0[p]$ Frege systems
Logic
2016-04-26 v4 Computational Complexity
Abstract
We give a general reduction of lengths-of-proofs lower bounds for constant depth Frege systems in DeMorgan language augmented by a connective counting modulo a prime (the so called Frege systems) to computational complexity lower bounds for search tasks involving search trees branching upon values of maps on the vector space of low degree polynomials over the finite filed with elements.
Cite
@article{arxiv.1311.2501,
title = {A reduction of proof complexity to computational complexity for $AC^0[p]$ Frege systems},
author = {Jan Krajicek},
journal= {arXiv preprint arXiv:1311.2501},
year = {2016}
}
Comments
the final version accepted to the Proc.AMS