Zesilování dolních odhadů pomocí dolů samopřevoditelnosti

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F08%3A00318523" target="_blank" >RIV/67985840:_____/08:00318523 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Amplifying Lower Bounds by Means of Self-Reducibility

Popis výsledku v původním jazyce

We observe that many important computational problems in NC^1 share a simple self-reducibility property. We then show that, for any problem A having this self-reducibility property. A has polynomial size TC^0 circuits if and only if it has TC^0 circuitsof size $n^{1+/epsilon}$for every/epsilon >0(counting the number of wires in a circuit as the size of the circuit). As an example of what this observation yields, consider the Boolean Formula Evaluation problem (BFE), which is complete for NC^1. It follows from a lower bound of Impagliazzo, Paturi, and Saks, that BFE requires depth d TC^0 circuits of size $n^{1+/epsilon_d}$. If one were able to improve this lower bound to show that there is some constant /epsilon>0 such that every TC^0 circuit family recognizing BFE has size $n^{1+/epsilon}$, then it would follow that TC^0/not=NC^1.

Název v anglickém jazyce

Amplifying Lower Bounds by Means of Self-Reducibility

Popis výsledku anglicky

We observe that many important computational problems in NC^1 share a simple self-reducibility property. We then show that, for any problem A having this self-reducibility property. A has polynomial size TC^0 circuits if and only if it has TC^0 circuitsof size $n^{1+/epsilon}$for every/epsilon >0(counting the number of wires in a circuit as the size of the circuit). As an example of what this observation yields, consider the Boolean Formula Evaluation problem (BFE), which is complete for NC^1. It follows from a lower bound of Impagliazzo, Paturi, and Saks, that BFE requires depth d TC^0 circuits of size $n^{1+/epsilon_d}$. If one were able to improve this lower bound to show that there is some constant /epsilon>0 such that every TC^0 circuit family recognizing BFE has size $n^{1+/epsilon}$, then it would follow that TC^0/not=NC^1.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GP201%2F07%2FP276" target="_blank" >GP201/07/P276: Výpočetní a komunikační složitost Booleovských funkcí a derandomizace</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

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 statě ve sborníku

Proceedings of IEEE Conference on Computational Complexity 2008

ISBN

978-0-7695-3169-4

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

—

Název nakladatele

IEEE Computer Society Press

Místo vydání

Maryland

Místo konání akce

College Park

Datum konání akce

23. 6. 2008

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000257941800004