AI Chat AI Image Generator AI Video Text to Speech

PNP and All Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle

09/05/2019

∙

by Titus Dose, et al.

∙

∙

As one step in a working program initiated by Pudlák [Pud17] we construct an oracle relative to which PNP and all sets in NP∪coNP have P-optimal proof systems.

page 1

page 2

page 3

page 4

research

∙ 09/05/2019

PNP and All Non-Empty Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle

As one step in a working program initiated by Pudlák [Pud17] we construc...

0 Titus Dose, et al. ∙

research

∙ 04/28/2023

Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP

We study the existence of optimal and p-optimal proof systems for classe...

0 Fabian Egidy, et al. ∙

research

∙ 10/18/2019

P-Optimal Proof Systems for Each Set in coNP and no Complete Problems in NP∩coNP Relative to an Oracle

We build on a working program initiated by Pudlák [Pud17] and construct ...

0 Titus Dose, et al. ∙

research

∙ 04/06/2020

A limitation on the KPT interpolation

We prove a limitation on a variant of the KPT theorem proposed for propo...

0 Jan Krajicek, et al. ∙

research

∙ 08/14/2023

O-1: Self-training with Oracle and 1-best Hypothesis

We introduce O-1, a new self-training objective to reduce training bias ...

0 Murali Karthick Baskar, et al. ∙

research

∙ 10/21/2022

Complexity and Ramsey Largeness of Sets of Oracles Separating Complexity Classes

We prove two sets of results concerning computational complexity classes...

0 Alex Creiner, et al. ∙

research

∙ 03/08/2023

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle

It is a long-standing open question to construct a classical oracle rela...

0 Xingjian Li, et al. ∙