The complexity of proving that a graph is Ramsey

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F17%3A00474390" target="_blank" >RIV/67985840:_____/17:00474390 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s00493-015-3193-9" target="_blank" >http://dx.doi.org/10.1007/s00493-015-3193-9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00493-015-3193-9" target="_blank" >10.1007/s00493-015-3193-9</a>

Jazyk výsledku
angličtina
Název v původním jazyce
The complexity of proving that a graph is Ramsey
Popis výsledku v původním jazyce
We say that a graph with n vertices is c-Ramsey if it does not contain either a clique or an independent set of size c log n. We define a CNF formula which expresses this property for a graph G. We show a superpolynomial lower bound on the length of resolution proofs that G is c-Ramsey, for every graph G. Our proof makes use of the fact that every c-Ramsey graph must contain a large subgraph with some properties typical for random graphs.
Název v anglickém jazyce
The complexity of proving that a graph is Ramsey
Popis výsledku anglicky
We say that a graph with n vertices is c-Ramsey if it does not contain either a clique or an independent set of size c log n. We define a CNF formula which expresses this property for a graph G. We show a superpolynomial lower bound on the length of resolution proofs that G is c-Ramsey, for every graph G. Our proof makes use of the fact that every c-Ramsey graph must contain a large subgraph with some properties typical for random graphs.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2017
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ů

Podobné výsledky(10)