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