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
Link To Document