A REDUCTION OF PROOF COMPLEXITY TO COMPUTATIONAL COMPLEXITY FOR AC(0)[p] FREGE SYSTEMS

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10317953" target="_blank" >RIV/00216208:11320/15:10317953 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
A REDUCTION OF PROOF COMPLEXITY TO COMPUTATIONAL COMPLEXITY FOR AC(0)[p] FREGE SYSTEMS
Popis výsledku v původním jazyce
We give a general reduction of lengths-of-proofs lower bounds for constant depth Frege systems in DeMorgan language augmented by a connective counting modulo a prime p (the so-called AC(0)[p] Frege systems) to computational complexity lower bounds for search tasks involving search trees branching upon values of maps on the vector space of low degree polynomials over F-p.
Název v anglickém jazyce
A REDUCTION OF PROOF COMPLEXITY TO COMPUTATIONAL COMPLEXITY FOR AC(0)[p] FREGE SYSTEMS
Popis výsledku anglicky
We give a general reduction of lengths-of-proofs lower bounds for constant depth Frege systems in DeMorgan language augmented by a connective counting modulo a prime p (the so-called AC(0)[p] Frege systems) to computational complexity lower bounds for search tasks involving search trees branching upon values of maps on the vector space of low degree polynomials over F-p.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2015
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)