MURAL - Maynooth University Research Archive Library



    P(APP) = P(prBPP)


    Moser, Philippe (2002) P(APP) = P(prBPP). Technical Report. Electronic Colloquium on Computational Complexity.

    [img]
    Preview
    Download (203kB) | Preview
    Official URL: https://eccc.weizmann.ac.il/report/2001/068/


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    We show that for deterministic polynomial time computations, oracle access to APP, the class of real functions approximable by probabilistic Turing machines, is the same as having oracle access to promise-BPP. First, we construct a mapping that maps every function in APP to a promise problem in prBPP, and that preserves completeness, i.e. maps complete functions to complete promise problems. Next, we construct a mapping from prBPP into APP, that maps every promise problem to a function in APP, and which preserves completeness. Then, we prove that PAPP=PprBPP. Finally, we use our results to simplify proofs of important results on APP, such as the APP-completeness of the function fCAPP, which approximates the acceptance probability of a Boolean circuit, the error probability reduction Theorem for APP functions, and the conditional derandomization result APP=AP iff prBPP is easy.

    Item Type: Monograph (Technical Report)
    Keywords: computationnal complexity; Randomness;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 10308
    Identification Number: Revision #1 to TR01-068
    Depositing User: Philippe Moser
    Date Deposited: 11 Dec 2018 15:58
    Publisher: Electronic Colloquium on Computational Complexity
    URI:

      Repository Staff Only(login required)

      View Item Item control page

      Downloads

      Downloads per month over past year