• 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