Derandomizing Arthur-Merlin Games and Approximate Counting Implies Exponential-Size Lower Bounds

We show that if Arthur-Merlin protocols can be derandomized, then there is a Boolean function computable in deterministic exponential-time with access to an NP oracle, that cannot be computed by Boolean circuits of exponential size. More formally, if prAM ⊆ P NP then there is a Boolean function in E...

Celý popis

Podrobná bibliografie

Vydáno v:	2010 IEEE 25th Annual Conference on Computational Complexity s. 38 - 49
Hlavní autoři:	Gutfreund, Dan, Kawachi, Akinori
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.06.2010
Témata:	Access protocols Analog computers approximate counting Arthur-Merlin protocols Boolean functions circuit complexity Circuits Complexity theory Computational complexity derandomization Phase change random access memory Polynomials Turing machines
ISBN:	9781424472147, 1424472148
ISSN:	1093-0159
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!