Total space in resolution

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F16%3A00466751" target="_blank" >RIV/67985840:_____/16:00466751 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1137/15M1023269" target="_blank" >http://dx.doi.org/10.1137/15M1023269</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1137/15M1023269" target="_blank" >10.1137/15M1023269</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Total space in resolution

Popis výsledku v původním jazyce

We show quadratic lower bounds on the total space used in resolution refutations of random $k$-CNFs over $n$ variables and of the graph pigeonhole principle and the bit pigeonhole principle for $n$ holes. This answers the open problem of whether there are families of $k$-CNF formulas of polynomial size that require quadratic total space in resolution. The results follow from a more general theorem showing that, for formulas satisfying certain conditions, in every resolution refutation there is a memory configuration containing many clauses of large width.

Název v anglickém jazyce

Total space in resolution

Popis výsledku anglicky

We show quadratic lower bounds on the total space used in resolution refutations of random $k$-CNFs over $n$ variables and of the graph pigeonhole principle and the bit pigeonhole principle for $n$ holes. This answers the open problem of whether there are families of $k$-CNF formulas of polynomial size that require quadratic total space in resolution. The results follow from a more general theorem showing that, for formulas satisfying certain conditions, in every resolution refutation there is a memory configuration containing many clauses of large width.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Siam Journal on Computing

ISSN

0097-5397

e-ISSN

—

Svazek periodika

45

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

16

Strana od-do

1894-1909

Kód UT WoS článku

000387321500007

EID výsledku v databázi Scopus

2-s2.0-85010644516