Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Res(k)"'
Autor:
Davis, Ben, Robere, Robert
Recent work has shown that many of the standard TFNP classes - such as PLS, PPADS, PPAD, SOPL, and EOPL - have corresponding proof systems in propositional proof complexity, in the sense that a total search problem is in the class if and only if the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b90b9f26edc19cc62f7a4fa6dbbfcad
Publikováno v:
IEEE Conference on Computational Complexity
We describe a system LK(c[/spl lambda/]) for refuting CNF formulae, as a restriction of the sequent calculus in which every formula in a sequent is defined over at most /spl lambda/ variables. This further generalizes the system Res(k), a generalizat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e3e554b68956477b85ccdf635679004
http://hdl.handle.net/11573/205902
http://hdl.handle.net/11573/205902
Autor:
Zabawa, Daniel Michael
We explore the relationships between the computational problem of recognizing expander graphs, and the problem of efficiently approximating proof length in the well-known system of \emph{resolution}. This program builds upon known connections between
Externí odkaz:
http://hdl.handle.net/1807/10444
Publikováno v:
Segerlind, Nate; Buss, Sam; & Impagliazzo, Russell. (2004). A switching lemma for small restrictions and lower bounds for k-DNF resolution. SIAM Journal on Computing, 33(5), 1171-1200. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/5g36h6rk
We prove a new switching lemma that works for restrictions that set only a small fraction of the variables and is applicable to formulas in disjunctive normal form (DNFs) with small terms. We use this to prove lower bounds for the Res(k) propositiona
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::e33fd3dcb94b9a260bd65efc68af9e31
http://www.escholarship.org/uc/item/5g36h6rk
http://www.escholarship.org/uc/item/5g36h6rk
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.