Subexponential time and fixed-parameter tractability: Exploiting the miniaturization mapping

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4646 LNCS, Issue , 2007, Pages 389-404

  Chen, Yijia ^a   Flum, Jörg ^b  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDARY CONDITIONS; COMPUTATIONAL COMPLEXITY; PARAMETER ESTIMATION;

MINIATURIZATION MAPPING; NATURAL REPARAMETERIZATIONS; SUBEXPONENTIAL PARAMETERIZED COMPLEXITY; SUBEXPONENTIAL TIME;

ARTIFICIAL INTELLIGENCE;

EID: 38049027256     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74915-8_30     Document Type: Conference Paper

References (7)

1. Chen, J., Chor, B., Fellows, M., Huang, X., Juedes, D., Kanj, I., Xia, G.: Tight lower bounds for certain parameterized NP-hard problems. In: Proceedings of The 19th IEEE Annual Conference on Computational Complexity (CCC'04), pp. 150-160 (2004)
2. Chen, Y., Grohe, M.: An isomorphism between subexponential and parameterized complexity theory. Journal version submitted. A partial conference version appeared In: Proceedings of the 21st IEEE Conference on Computational Complexity (CCC'06), pp. 314-330 (2006), Available at http://basics.sjtu.edu.cn/ ~chen/papers/
3. Doner, J.: Tree acceptors and some of their applications. Journal of Computer and System Sciences 4, 406-451 (1970)
4. Flum, J., Grohe, M.: Parameterized complexity and subexponential time. In: the Complexity Column of the Bulletin of the European Association for Theoretical Computer Science (EATCS), p. 84 (2004)
5. Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Heidelberg (2006)
6. 2n nondeterministic bits. Journal of Computer and System Sciences 72, 34-71 (2006)
7. Thatcher, J.W., Wright, J.B.: Generalised finite automata theory with an application to a decision problem of second-order logic. Mathematical Systems Theory 2, 57-81 (1968)