• DocumentCode
    2115941
  • Title

    A comparison of weak completeness notions

  • Author

    Ambos-Spies, Klaus ; Mayordomo, Elvira ; Zheng, Xizhong

  • Author_Institution
    Math. Inst., Heidelberg Univ., Germany
  • fYear
    1996
  • fDate
    24-27 May 1996
  • Firstpage
    171
  • Lastpage
    178
  • Abstract
    We compare the weak completeness notions for E in the sense of Lutz´s resource-bounded measure theory (1992) with respect to the standard polynomial time reducibilities. Our results parallel results for classical completeness by Watanabe (1987) and others. We show that the weak completeness notions for 1-query reductions coincide: A set is weakly complete for E under 1-truth-table reducibility iff it is weakly complete for length-increasing one-one reducibility. For most of the other polynomial reducibilities, however, we obtain separations of the weak completeness notions where these reducibilities differ on E (Ladner et al. (1975)). In fact our separations simultaneously hold for the corresponding weak completeness notions for E and E2, for the classical completeness notions, and for the weak completeness notions in the sense of the resource-bounded Baire category concepts of Ambos-Spies et al. (1988) and Ambos-Spies (1995)
  • Keywords
    computational complexity; classical completeness; polynomial reducibilities; polynomial time reducibilities; resource-bounded measure theory; truth-table reducibility; weak completeness notions; Mathematics; Polynomials; Time measurement;
  • 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.507679
  • Filename
    507679