MathDBNo p-optimal propositional proof system conjecture
No p-optimal propositional proof system conjecture
A p-optimal proof system is a propositional proof system that polynomially simulates every propositional proof system. No p-optimal proof system conjecture. There exists no p-optimal proof system. The source presents this as a uniform conjecture weaker than the nonuniform length-optimal proof-system conjecture.
Sources & referencesView supporting material
Primary source
Pavel Pudlak, “Incompleteness in the finite domain”, arXiv:1601.01487 (2017).
Progress summary
Never refreshed
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.