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 :
بازگشت