DagSemProc.06451.3.pdf
- Filesize: 143 kB
- 9 pages
Document
A note on the size of Craig Interpolants
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6451
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication date: 2007-04-23
Cite AsGet BibTex
Uwe Schöning and Jacobo Torán. A note on the size of Craig Interpolants. In Circuits, Logic, and Games. Dagstuhl Seminar Proceedings, Volume 6451, pp. 1-9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.06451.3
https://doi.org/10.4230/DagSemProc.06451.3
Abstract
Mundici considered the question of whether the interpolant of two
propositional formulas of the form $F
ightarrow G$ can always have
a short circuit description, and showed that if this is the case then
every problem in NP $cap$ co-NP would have polynomial size circuits.
In this note we observe further consequences of the interpolant having
short circuit descriptions, namely that
UP $subseteq$ P$/$poly, and that every single valued NP function has a
total extension in FP$/$poly. We also relate
this question with other
Complexity Theory assumptions.
Keywords
- Interpolant
- non-uniform complexity
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads