DocumentCode
2116359
Title
Truth-table closure and Turing closure of average polynomial time have different measures in EXP
Author
Schuler, Rainer
Author_Institution
Theoretische Inf., Ulm Univ., Germany
fYear
1996
fDate
24-27 May 1996
Firstpage
190
Lastpage
195
Abstract
Let PP-comp denote the sets that are solvable in polynomial time on average under every polynomial time computable distribution on the instances. In this paper we show that the truth-table closure of PP-comp has measure 0 in EXP. Since, as we show, EXP is Turing reducible to PP-comp, the Turing closure has measure 1 in EXP and thus, PP-comp is an example of a subclass of E such that the closure under truth-table reduction and the closure under Turing reduction have different measures in EXP. Furthermore, it is shown that there exists a set A in PP-comp such that for every k, the class of sets L such that A is k-truth-table reducible to L has measure 0 in EXP
Keywords
Turing machines; computational complexity; randomised algorithms; EXP; Turing reducible; average polynomial time; polynomial time computable distribution; truth-table closure; truth-table reduction; Circuits; Density functional theory; Distributed computing; Polynomials; Time measurement; Turing machines;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Complexity, 1996. Proceedings., Eleventh Annual IEEE Conference on
Conference_Location
Philadelphia, PA
Print_ISBN
0-8186-7386-9
Type
conf
DOI
10.1109/CCC.1996.507681
Filename
507681
Link To Document