Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR13-047 | 27th March 2013 16:12

Autoreducibility of Complete Sets for Log-Space and Polynomial-Time Reductions

RSS-Feed

Abstract:

We investigate the autoreducibility and mitoticity of complete sets for several classes with respect to different polynomial-time and logarithmic-space reducibility notions.

Previous work in this area focused on polynomial-time reducibility notions. Here we obtain new mitoticity and autoreducibility results for the classes EXP and NEXP with respect to some restricted truth-table reductions (e.g., polynomial-time 2-tt, ctt, dtt reducibility).

Moreover, we start a systematic study of logarithmic-space autoreducibility and mitoticity, which enables us to also consider P and smaller classes. Among others, we obtain the following results:
- Regarding log-space many-one, 2-tt, dtt and ctt reducibility, complete sets for PSPACE and EXP are mitotic, and complete sets for NEXP are autoreducible.
- All log-space 1-tt-complete sets for NL and P are log-space 2-tt-autoreducible, and all log-space btt-complete sets for NL, P and the delta-levels of the PH are log-space Turing-autoreducible.
- There is a log-space 3-tt-complete set for PSPACE that is not even log-space btt-autoreducible.
Using the last result, we conclude that some of our results are hard or even impossible to improve.


Comment(s):

Comment #1 to TR13-047 | 12th May 2013 21:17

Related work fixed

Authors: Christian Glaßer, Dung Nguyen, Christian Reitwießner, Alan Selman, Maximilian Witek
Accepted on: 12th May 2013 21:17
Keywords: 


Comment:

The claim for 2-tt mitoticity in Theorem 5.11.1, every 2-tt complete set for EXP is 2-tt mitotic, was already mentioned in H. Buhrman and L. Torenvliet, " A Post's program for complexity theory", Bulletin of the EATCS 85, pp41--51, 2005.




ISSN 1433-8092 | Imprint