Parameterized computation and complexity: A new approach dealing with NP-hardness

Journal of Computer Science and Technology

Volumn 20, Issue 1, 2005, Pages 18-37

  Chen, Jian Er ^a  

^a CENTRAL SOUTH UNIVERSITY   (China)

Author keywords

Algorithm; Approximation algorithm; Complexity; Computational; NP completeness; Parameterized computation

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; INTEGRATED CIRCUIT LAYOUT; OPTIMIZATION; PARAMETER ESTIMATION; ROBOTICS; VLSI CIRCUITS;

APPROXIMATION ALGORITHM; COMPLEXITY THEORY; NP-COMPLETENESS; PARAMETERIZED COMPUTATION;

COMPUTATIONAL COMPLEXITY;

EID: 18544363415     PISSN: 10009000     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11390-005-0003-7     Document Type: Review

References (84)

1. Garey M R, Johnson D S. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York, 1979.
2. Ausiello G, Crescenzi P, Gambosi G, Kann V, Marchetti-Spaccamela A, Protasi M. Complexity and Approximation -Combinatorial Optimization Problems and Their Approximability Properties. Springer, 1999.
3. Motwani R, Raghavan P. Randomized Algorithms. Cambridge University Press, New York, 1995.
4. Michalewicz Z, Fogel D B. How to Solve It: Modern Heuristics. Springer, Berlin, 2000.
5. Roth-Korostensky C. Algorithms for Building Multiple Sequence Alignments and Evolutionary Trees [Dissertation], No. 13550, ETH Zürich, 2000.
6. Stege U. Resolving Conflicts from Problems in Computational Biology [Dissertation]. No. 13364, ETH Zürich, 2000.
7. Cai L, Juedes D, Kanj I A. Inapproximability of non NP-hard optimization problems. Theoretical Computer Science, 2002, 289: 553-571.
8. Cheetham J, Dehne F, Rau-Chaplin A, Stege U, Taillon P J. Solving large FPT problems on coarse-granined parallel machines. J. Computer and System Sciences, 2003, 67: 691-701.
9. Lichtenstein O, Pnueli A. Finite state concurrent programs satisfy their linear specification. In Proc. 12th ACM Symposium on the Principles of Programming Languages, 1985, pp.97-107.
10. Henglein F, Mairson H G. The complexity of type inference for higher-order typed lambda calculi. Journal of Functional Programming, 1994, 4: 435-477.
11. Chen J, Kanj I A. Constrained minimum vertex cover in bipartite graphs: Complexity and parameterized algorithms. Journal of Computer and System Sciences, 2003, 67: 833-847.
12. Nesetril J, Poljak S. On the complexity of the subgraph problem. Commentationes Mathematical Universitatis Carolinae, 1985, 26: 415-419.
13. Coppersmith D, Winograd S. Matrix multiplication via arithmetic progression. J. Symbolic Logic, 1990, 9: 251-280.
14. Papadimitriou C H, Yannakakis M. On the complexity of database queries. Journal of Computer and System Sciences, 1999, 58: 407-427.
15. Chen J, Chor B, Fellows M, Huang X, Juedes D, Kanj I, Xia G. Tight lower bounds for certain parameterized NP-hard problems. In Proc. 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 2004, pp. 150-160.
16. Anthony M, Biggs N. Computational Learning Theory, Cambridge University Press, Cambridge, UK, 1992.
17. Papadimitriou C H, Yannakakis M. On limited nondeterminism and the complexity of VC dimension. Journal of Computer and System Sciences, 1996, 53: 161-170.
18. Downey R, Fellows M. Parameterized Complexity. Springer-Verlag, 1999.
19. Pevzner P A, Sze S-H. Combinatorial approaches to finding subtle signals in DNA sequences. In Proc. 8th International Conf. Intelligent Systems for Molecular Biology (ISMB'00), 2000, pp.269-278.
20. Sze S H, Lu S, Chen J. Integrating sample-driven and pattern-driven approaches in Motif finding, Lecture Notes in Computer Science 3&40, 2004, pp.438-449.
21. Cai L, Chen J, Downey R, Fellows M. On the structure of parameterized problems in NP. Information and Computation, 1995, 123: 38-49.
22. Chen Y, Flum J. Machine characterizations of the classes of the W-hierarchy. Lecture Notes in Computer Science 8803 (CSL'03), 2003, pp.114-127.
23. Flum J, Grohe M. Describing parameterized complexity classes. Lecture Notes in Computer Science 2285 (STACS'02), 2002, pp.359-371.
24. Chen J. Simpler computation and deeper theory: On development of efficient parameterized algorithms. International Workshop on Parameterized Complexity, Chennai, India, 2000.
25. Downey R, Fellows M, Stege U. Parameterized complexity: A framework for systematically confronting computational intractability. In Contemporary Trends in Discrete Mathematics
26. Graham R, Kratochvil J, Nesetril J, Roberts F (eds.), AMS-DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1999, 49: 49-99.
27. Fellows M. Parameterized complexity: The main ideas and some research frontiers. Lecture Notes in Computer Science 2223 (ISAAC'01), 2001, pp.291-307.
28. Cormen T, Leiserson C, Rivest R, Stein C. Introduction to Algorithms. McGraw-Hill, Boston, 2001.
29. Lovasz L, Plummer M. Matching Theory. North-Holland, Amsterdam, 1986.
30. Nemhauser G, Trotter L. Vertex packing: Structural properties and algorithms. Math. Programming, 1975, 8: 232-248.
31. Chen J, Kanj I A, Jia W. Vertex cover: Further observations and further improvements. J. Algorithms, 2001, 41: 280-301.
32. Fellows M. Blow-ups, win/win's, and crown rules: Some new directions in FPT. Lecture Notes in Computer Science (WG'03), 2003, pp.1-12.
33. Chor B, Fellows M, Juedes D. An efficient FPT algorithm for saving k colors. Manuscript, 2003.
34. Alber J, Fellows M, Niedermeier R. Polynomial time data reduction for dominating set. J. ACM, 2004, 11: 363-384.
35. Robson J M. Algorithms for maximum independent sets. J. Algorithms, 1986, 7: 425-440.
36. Tarjan R E, Trojanowski A E. Finding a maximum independent set. SIAM J. Comput., 1977, 6: 537-546.
37. Woeginger G. Exact algorithms for NP-hard problems: A survey. Lecture Notes in Computer Science 2570, 2001, pp.185-207.
38. Niedermeier R, Rossmanith P. A general method to speed up fixed-parameter tractable algorithms. Inform. Process. Lett., 2000, 73: 125-129.
39. Balasubramanian R, Fellows M R, Raman V. An improved fixed parameter algorithm for vertex cover. Inform. Process. Lett., 1998, 65: 163-168.
40. Chen J, Liu L, Jia W. Improvement on vertex cover for low-degree graphs. Networks, 2000, 35: 253-259.
41. Niedermeier R, Rossmanith P. Upper bounds for vertex cover further improved. Lecture Notes in Computer Science 1563 (STACS'99), 1999, pp.561-570.
42. Baker B S. Approximation algorithms for NP-complete problems on planar graphs. J. ACM, 1994, 41: 153-180.
43. Lipton R, Tarjan R. Application of a graph separator theorem. SIAM Journal on Computing, 1980, 9: 615-627.
44. Chen J, Huang X, Kanj I, Xia G. Polynomial time approximation schemes and parameterized complexity. In Proc. 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004), Lecture Notes in Computer Science 3153, 2004, pp.500-512.
45. Bodlaender H L. A linear time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput., 1996, 25: 1305-1317.
46. Eppstein D. Diameter and treewidth in minor-closed graph families. Algorithmica, 2000, 27: 275-291.
47. Arnborg S. Efficient algorithms for combinatorial problems on graphs with bounded decomposability - A survey. BIT, 1985, 25: 2-23.
48. Alber J, Bodlaender H L, Fernau H, Kloks T, Niedermeier R. Fixed parameter algorithms for dominating set and related problems on planar graphs. Algorithmica, 2002, 33: 461-493.
49. Fomin F V, Thilikos D M. Dominating sets in planar graphs: Branch-width and exponential speed-up. In Proc. 14th Ann. ACM-SIAM Symp. Discrete Algorithms (SODA'03), 2003, pp.168-177.
50. Kanj I, Perkovic L. Improved parameterized algorithms for planar dominating set. Lecture Notes in Computer Science 2420 (MFCS'02), 2002, pp.399-410.
51. Alon N, Yuster R, Zwick U. Color-coding. Journal of the ACM, 1995, 42: 844-856.
52. Chen J, Friesen D, Kanj I, Jia W. Using nondeterminism to design efficient deterministic algorithms. Algorithmica, 2004, 40: 83-97.
53. Jia W, Zhang C, Chen J. An efficient parameterized algorithm for m-set packing. Journal of Algorithms, 2004, 50: 106-117.
54. Dehne F, Fellows M, Rosamond F. An FPT algorithm for set splitting. Lecture Notes in Computer Science 2880 (WG'03), 2003, pp.180-191.
55. Niedermeier R. Invitation to Fixed-Parameter Algorithms [Thesis]. Universitat Tubingen, 2002.
56. Robertson N, Seymour P D. Graph Minors - A Survey. In Surveys in Combinatorics 1985, Anderson I (ed.), Cambridge Univ. Press, Cambridge, 1985, pp.153-171.
57. Robertson N, Seymour P D. Graph minors VIII. A Kuratowski theorem for general surfaces. J. Combin. Theory Ser. B, 1990, 48: 255-288.
58. Robertson N, Seymour P D. Graph minors XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 1995, 63: 65-110.
59. Fellows M, Langsten M. Nonconstructive tools for proving polynomial-time decidability. J. ACM, 1988, 35: 727-739.
60. DIMACS Workshop on Faster Exact Solutions for NP-Hard Problems. Princeton, Feb. 23-24, 2000.
61. Papadimitriou C H, Yannakakis M. Optimization, approximation, and complexity classes. Journal of Computer and System Sciences, 1991, 43: 425-440.
62. Impagliazzo R, Paturi R. Which problems have strongly exponential complexity? Journal of Computer and System Sciences, 2001, 63: 512-530.
63. Abrahamson K, Downey R, Fellows M. Fixed-parameter tractability and completeness IV: On completeness of W[P] and PSPACE analogs. Ann. Pure Appl. Logic, 1995, 73: 235-276.
64. Downey R, Estivill-Castro V, Fellows M, Prieto-Rodriguez E, Rosamond F. Cutting up is hard to do: The parameterized complexity of k-cut and related problems. Electronic Notes in Theoretical Computer Science, 2003, 78: 205-218.
65. Bodlaender H, Downey R, Fellows M, Hallett M, Wareham H. Parameterized complexity analysis in computational biology. Computer Applications in Biosciences, 1995, 11: 49-57.
66. Cesati M. Compendium of parameterized problems (2004 version). Department of Computer Science, Systems, and Industrial Engineering, University of Rome "Tor Vergata", Italy. http//bravo.ce.uniroma2.it/home/cesati/research/ compendium.ps.
67. Deng X, Li G, Li Z, Ma B, Wang L. Genetic design of drugs without side-effects. SIAM J, Comput., 2003, 32: 1073-1090.
68. Gramm J, Guo J, Niedermeier R. On exact and approximation algorithms for distinguishing substring selection. Lecture Notes in Computer Science 2751 (FCT'03), 2003, pp.195-209.
69. Chen J, Huang X, Kanj I A, Xia G. Linear FPT-reductions and computational lower bounds. In Proc. 36th ACM Symp, Theory of Computing (STOC 2004), 2004, pp.212-221.
70. Goldschmidt O, Hochbaum D. Polynomial algorithm for the k-cut problem. In Proc. 29th Ann, Symp. Foundations of Computer Science (FOCS'88), 1988, pp.444-451.
71. Bodlaender H, Fellows M, Hallett M. Beyond NP-completeneas for problems of bounded width: Hardness for the W-hierarchy. In Proc. 86th Ann. ACM Symp, Theory of Computing (STOC'94), 1994, pp.449-458.
72. n/4)? LaBRI, Universite Bordeaux I, 1251-01, 2001.
73. Cai L, Juedes D. On the existence of subexponential parameterized algorithms. Journal of Computer and System Sciences, 2003, 67: 789-807.
74. Cai L, Chen J. On fixed parameter tractability and approximability of NP optimization problems. Journal of Computer and System Sciences, 1997, 54: 465-474.
75. Ausiello G, Marchetti-spaccamela A, Protasi M. Toward a unified approach for the classification of NP-complete optimization problems. Theoretical Computer Science, 1980, 12: 83-96.
76. Paz A, Moran S. Non deterministic polynomial optimization problems and their approximations. Theoretical Computer Science, 1981, 15: 251-277.
77. Woeginger G. When does a dynamic programming formulation guarantee the existence of an FPTAS? In Proc. 10th Annual ACM-SIAM Symp. on Discrete Algorithms (SODA'99), 2001, pp.820-829.
78. Kolaitis P, Thakur M. Approximation properties of NP minimization classes. Journal of Computer and System Sciences, 1995, 50: 391-411.
79. Arora S, Lund C, Motwani R, Sudan M, Szegedy M. Proof verification and hardness of approximation problems. Journal of the ACM, 1998, 45: 501-555.
80. Downey R. Parameterized complexity for the skeptic. In Proc. 18th IEEE Conference on Computational Complexity (CCC'03), 2003, pp.147-169.
81. Cesati M, Trevisan L. On the efficiency of polynomial time approximation schemes. Information Processing Letters, 1997, 64: 165-171.
82. Khanna S, Motwani R. Towards a syntactic characterization of PTAS. In Proc. 28th Ann. ACM Symp. Theory of Computing (STOC'96), 1996, pp.329-337.
83. Cai L, Fellows M, Juedes D, Rosamond F. Efficient polynomial-time approximation schemes for problems on planar structures: Upper and lower bounds. Manuscript, 2001.
84. Huang X. Parameterized complexity and polynomial-time approximation schemes [Dissertation]. Department of Computer Science, Texas A&M University, December, 2004.