메뉴 건너뛰기




Volumn 37, Issue 4, 2007, Pages 1077-1106

Parametric duality and kernelization: Lower bounds and upper bounds on kernel size

Author keywords

Dominating set; Independent set; Kernel; Parameterized algorithm; Planar graph; Vertex cover

Indexed keywords

COMBINATORIAL PROPERTIES; DOMINATING SET; DOMINATING SETS; EFFICIENT ALGORITHMS; HARD PROBLEMS; INDEPENDENT SET; INDEPENDENT SETS; KERNEL; KERNEL SIZE; KERNELIZATION; LOWER BOUNDS; NEW TECHNIQUES; PARAMETERIZED ALGORITHM; PARAMETERIZED COMPLEXITY; PARAMETERIZED PROBLEMS; PLANAR GRAPH; PLANAR VERTEX COVER; PRACTICAL ALGORITHMS; PROBLEM KERNEL; REDUCTION ALGORITHMS; UPPER AND LOWER BOUNDS; UPPER BOUNDS; VERTEX COVER; VERTEX COVER PROBLEMS;

EID: 49449114354     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/050646354     Document Type: Article
Times cited : (94)

References (41)
  • 1
    • 33750279565 scopus 로고    scopus 로고
    • A direct algorithm for the parameterized face cover problem
    • Proceedings of the 1st International Workshop on Parameterized and Exact Computation, Springer, Berlin
    • F. ABU-KHZAM AND M. LANGSTON, A direct algorithm for the parameterized face cover problem, in Proceedings of the 1st International Workshop on Parameterized and Exact Computation, Lecture Notes in Comput. Sci. 3162, Springer, Berlin, 2004, pp. 213-222.
    • (2004) Lecture Notes in Comput. Sci , vol.3162 , pp. 213-222
    • ABU-KHZAM, F.1    LANGSTON, M.2
  • 3
    • 33747876940 scopus 로고    scopus 로고
    • Experiments on data reduction for optimal domination in networks
    • J. ALBER, N. BETZLER, AND R. NIEDERMEIER, Experiments on data reduction for optimal domination in networks, Ann. Oper. Res., 146 (2006), pp. 105-117.
    • (2006) Ann. Oper. Res , vol.146 , pp. 105-117
    • ALBER, J.1    BETZLER, N.2    NIEDERMEIER, R.3
  • 4
    • 0037507853 scopus 로고    scopus 로고
    • Fixed parameter algorithms for dominating set and related problems on planar graphs
    • J. ALBER, H. BODLAENDER, H. FERNAU, T. KLOKS, AND R. NIEDERMEIER, Fixed parameter algorithms for dominating set and related problems on planar graphs, Algorithmica, 33 (2002), pp. 461-493.
    • (2002) Algorithmica , vol.33 , pp. 461-493
    • ALBER, J.1    BODLAENDER, H.2    FERNAU, H.3    KLOKS, T.4    NIEDERMEIER, R.5
  • 5
    • 4243072974 scopus 로고    scopus 로고
    • Polynomial-time data reduction for dominating set
    • J. ALBER, M. FELLOWS, AND R. NIEDERMEIER, Polynomial-time data reduction for dominating set, J. ACM, 51 (2004), pp. 363-384.
    • (2004) J. ACM , vol.51 , pp. 363-384
    • ALBER, J.1    FELLOWS, M.2    NIEDERMEIER, R.3
  • 6
    • 8344254038 scopus 로고    scopus 로고
    • Parameterized complexity: Exponential speedup for planar graph problems
    • J. ALBER, H. FERNAU, AND R. NIEDERMEIER, Parameterized complexity: Exponential speedup for planar graph problems, J. Algorithms, 52 (2004), pp. 26-56.
    • (2004) J. Algorithms , vol.52 , pp. 26-56
    • ALBER, J.1    FERNAU, H.2    NIEDERMEIER, R.3
  • 8
    • 0028255806 scopus 로고
    • Approximation algorithms for NP-complete problems on planar graphs
    • B. BAKER, Approximation algorithms for NP-complete problems on planar graphs, J. ACM, 41 (1994), pp. 153-180.
    • (1994) J. ACM , vol.41 , pp. 153-180
    • BAKER, B.1
  • 9
    • 0002095408 scopus 로고    scopus 로고
    • An improved fixed parameter algorithm for vertex cover
    • R. BALASUBRAMANIAN, M. R. FELLOWS, AND V. RAMAN, An improved fixed parameter algorithm for vertex cover, Inform. Process. Lett., 65 (1998), pp. 163-168.
    • (1998) Inform. Process. Lett , vol.65 , pp. 163-168
    • BALASUBRAMANIAN, R.1    FELLOWS, M.R.2    RAMAN, V.3
  • 11
    • 0348252168 scopus 로고    scopus 로고
    • Constrained minimum vertex cover in bipartite graphs: Complexity and parameterized algorithms
    • J. CHEN AND I. KANJ, Constrained minimum vertex cover in bipartite graphs: Complexity and parameterized algorithms, J. Comput. System Sci., 67 (2003), pp. 833-847.
    • (2003) J. Comput. System Sci , vol.67 , pp. 833-847
    • CHEN, J.1    KANJ, I.2
  • 12
    • 3142639213 scopus 로고    scopus 로고
    • Improved exact algorithms for MAX-SAT
    • J. CHEN AND I. KANJ, Improved exact algorithms for MAX-SAT, Discrete Appl. Math., 142 (2004), pp. 17-27.
    • (2004) Discrete Appl. Math , vol.142 , pp. 17-27
    • CHEN, J.1    KANJ, I.2
  • 13
    • 0013072266 scopus 로고    scopus 로고
    • Vertex cover: Further observations and further improvement
    • J. CHEN, I. KANJ, AND W. JIA, Vertex cover: Further observations and further improvement, J. Algorithms, 41 (2001), pp. 280-301.
    • (2001) J. Algorithms , vol.41 , pp. 280-301
    • CHEN, J.1    KANJ, I.2    JIA, W.3
  • 14
    • 33750070292 scopus 로고    scopus 로고
    • Improved parameterized upper bounds for vertex cover
    • Proceedings of the 31st International Symposium on the Mathematical Foundations of Computer Science, Springer, Berlin
    • J. CHEN, I. KANJ, AND G. XIA, Improved parameterized upper bounds for vertex cover, in Proceedings of the 31st International Symposium on the Mathematical Foundations of Computer Science, Lecture Notes in Comput. Sci. 4162, Springer, Berlin, 2006, pp. 238-249.
    • (2006) Lecture Notes in Comput. Sci , vol.4162 , pp. 238-249
    • CHEN, J.1    KANJ, I.2    XIA, G.3
  • 15
    • 33745661873 scopus 로고    scopus 로고
    • Nonblocker: Parameterized algorithmes for MINIMUM DOMINATING SET
    • Software Seminar SOFSEM, Springer, Berlin
    • F. DEHNE, M. FELLOWS, H. FERNAU, E. PRIETO, AND F. ROSAMOND, Nonblocker: Parameterized algorithmes for MINIMUM DOMINATING SET, in Software Seminar SOFSEM, Lecture Notes in Comput. Sci. 3831, Springer, Berlin, 2006, pp. 237-245.
    • (2006) Lecture Notes in Comput. Sci , vol.3831 , pp. 237-245
    • DEHNE, F.1    FELLOWS, M.2    FERNAU, H.3    PRIETO, E.4    ROSAMOND, F.5
  • 18
    • 0038542579 scopus 로고    scopus 로고
    • Parameterized complexity: A framework for systematically confronting computational intractability
    • Contemporary Trends in Discrete Mathematics, R. Graham, J. Kratochvíl, J. Nešetřil, and F. Roberts, eds, AMS, Providence, RI
    • R. DOWNEY, M. FELLOWS, AND U. STEGE, Parameterized complexity: A framework for systematically confronting computational intractability, in Contemporary Trends in Discrete Mathematics, DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 49, R. Graham, J. Kratochvíl, J. Nešetřil, and F. Roberts, eds., AMS, Providence, RI, 1999, pp. 49-99.
    • (1999) DIMACS Ser. Discrete Math. Theoret. Comput. Sci , vol.49 , pp. 49-99
    • DOWNEY, R.1    FELLOWS, M.2    STEGE, U.3
  • 19
    • 19144370693 scopus 로고    scopus 로고
    • Parameterized complexity: The main ideas and connections to practical computing, in Electronic Notes in Theoretical Computer
    • M. FELLOWS, Parameterized complexity: The main ideas and connections to practical computing, in Electronic Notes in Theoretical Computer Science, Vol. 61, 2002.
    • (2002) Science , vol.61
    • FELLOWS, M.1
  • 20
    • 84947709605 scopus 로고    scopus 로고
    • M. FELLOWS, C. MCCARTIN, F. ROSAMOND, AND U. STEGE, Coordinatized kernels and catalytic reductions: An improved FPT algorithm for max leaf spanning tree and other problems, in FST TCS 2000, Lecture Notes in Comput. Sci. 1974, Springer, Berlin, 2000, pp. 240-251.
    • M. FELLOWS, C. MCCARTIN, F. ROSAMOND, AND U. STEGE, Coordinatized kernels and catalytic reductions: An improved FPT algorithm for max leaf spanning tree and other problems, in FST TCS 2000, Lecture Notes in Comput. Sci. 1974, Springer, Berlin, 2000, pp. 240-251.
  • 21
    • 84949773604 scopus 로고    scopus 로고
    • On parameterized enumeration
    • Computing and Combinatorics, Springer, Berlin
    • H. FERNAU, On parameterized enumeration, in Computing and Combinatorics, Lecture Notes in Comput. Sci. 2387, Springer, Berlin, 2002, pp. 564-573.
    • (2002) Lecture Notes in Comput. Sci , vol.2387 , pp. 564-573
    • FERNAU, H.1
  • 22
    • 33745673334 scopus 로고    scopus 로고
    • ROMAN Domination: A parameterized perspective
    • Software Seminar SOFSEM 2006, Springer, Berlin
    • H. FERNAU, ROMAN Domination: A parameterized perspective, in Software Seminar SOFSEM 2006, Lecture Notes in Comput. Sci. 3831, Springer, Berlin, 2006, pp. 262-271.
    • (2006) Lecture Notes in Comput. Sci , vol.3831 , pp. 262-271
    • FERNAU, H.1
  • 23
    • 21144445529 scopus 로고    scopus 로고
    • A geometric approach to parameterized algorithms for domination problems on planar graphs
    • Mathematical Foundations of Computer Science 2004, Springer, Berlin
    • H. FERNAU AND D. JUEDES, A geometric approach to parameterized algorithms for domination problems on planar graphs, in Mathematical Foundations of Computer Science 2004, Lecture Notes in Comput. Sci. 3153, Springer, Berlin, 2004, pp. 488-499.
    • (2004) Lecture Notes in Comput. Sci , vol.3153 , pp. 488-499
    • FERNAU, H.1    JUEDES, D.2
  • 24
    • 0037528488 scopus 로고    scopus 로고
    • An efficient exact algorithm for constraint bipartite vertex cover
    • H. FERNAU AND R. NIEDERMEIER, An efficient exact algorithm for constraint bipartite vertex cover, J. Algorithms, 38 (2001), pp. 374-410.
    • (2001) J. Algorithms , vol.38 , pp. 374-410
    • FERNAU, H.1    NIEDERMEIER, R.2
  • 26
    • 35048831453 scopus 로고    scopus 로고
    • Fast parameterized algorithms for graphs on surfaces: Linear kernel and exponential speed-up
    • Automata, Languages and Programming ICALP, Springer, Berlin
    • F. V. FOMIN AND D. THILIKOS, Fast parameterized algorithms for graphs on surfaces: Linear kernel and exponential speed-up, in Automata, Languages and Programming (ICALP), Lecture Notes in Comput. Sci. 3142, Springer, Berlin, 2004, pp. 581-592.
    • (2004) Lecture Notes in Comput. Sci , vol.3142 , pp. 581-592
    • FOMIN, F.V.1    THILIKOS, D.2
  • 28
    • 0347016263 scopus 로고    scopus 로고
    • Coloring triangle-free graphs with fixed size
    • J. GIMBEL AND C. THOMASSEN, Coloring triangle-free graphs with fixed size, Discrete Math., 219 (2000), pp. 275-277.
    • (2000) Discrete Math , vol.219 , pp. 275-277
    • GIMBEL, J.1    THOMASSEN, C.2
  • 30
    • 84971922876 scopus 로고
    • The complexity of type inference for higher order typed lambda calculi
    • F. HENGLEIN AND H. G. MAIRSON, The complexity of type inference for higher order typed lambda calculi, J. Funct. Programming, 4 (1994), pp. 435-477.
    • (1994) J. Funct. Programming , vol.4 , pp. 435-477
    • HENGLEIN, F.1    MAIRSON, H.G.2
  • 31
    • 0016117886 scopus 로고
    • Efficient planarity testing
    • J. HOPCROFT AND R. TARJAN, Efficient planarity testing, J. ACM, 21 (1974), pp. 549-568.
    • (1974) J. ACM , vol.21 , pp. 549-568
    • HOPCROFT, J.1    TARJAN, R.2
  • 32
    • 0001815269 scopus 로고
    • Constructing optimal binary trees is NP-complete
    • R. HYAFIL AND R. L. RIVEST, Constructing optimal binary trees is NP-complete, Inform. Process. Lett., 5 (1976), pp. 15-17.
    • (1976) Inform. Process. Lett , vol.5 , pp. 15-17
    • HYAFIL, R.1    RIVEST, R.L.2
  • 33
    • 84956994784 scopus 로고    scopus 로고
    • Improved parameterized algorithms for planar dominating set
    • Mathematical Foundations of Computer Science 2002, Springer, Berlin
    • I. KANJ AND L. PERKOVIC̀, Improved parameterized algorithms for planar dominating set, in Mathematical Foundations of Computer Science 2002, Lecture Notes in Comput. Sci. 2420, Springer, Berlin, 2002, pp. 399-410.
    • (2002) Lecture Notes in Comput. Sci , vol.2420 , pp. 399-410
    • KANJ, I.1    PERKOVIC̀, L.2
  • 34
    • 0037202068 scopus 로고    scopus 로고
    • Parameterized complexity of finding subgraphs with hereditary properties
    • S. KHOT AND V. RAMAN, Parameterized complexity of finding subgraphs with hereditary properties, Theoret. Comput. Sci., 289 (2002), pp. 997-1008.
    • (2002) Theoret. Comput. Sci , vol.289 , pp. 997-1008
    • KHOT, S.1    RAMAN, V.2
  • 36
    • 0033874612 scopus 로고    scopus 로고
    • A general method to speed up fixed-parameter-tractable algorithms
    • R. NIEDERMEIER AND P. ROSSMANITH, A general method to speed up fixed-parameter-tractable algorithms, Inform. Process. Lett., 73 (2000), pp. 125-129.
    • (2000) Inform. Process. Lett , vol.73 , pp. 125-129
    • NIEDERMEIER, R.1    ROSSMANITH, P.2
  • 37
    • 0003267425 scopus 로고
    • Theory of Graphs
    • AMS, Providence, RI
    • O. ORE, Theory of Graphs, Amer. Math. Soc. Colloq. Publ. XXXVIII, AMS, Providence, RI, 1962.
    • (1962) Amer. Math. Soc. Colloq. Publ , vol.38
    • ORE, O.1
  • 38
    • 35048859082 scopus 로고    scopus 로고
    • Either/or: Using vertex cover structure in designing FPTalgorithms-the case of k-Internal Spanning Tree
    • Algorithms and Data Structures WADS, Springer, Berlin
    • E. PRIETO AND C. SLOPER, Either/or: Using vertex cover structure in designing FPTalgorithms-the case of k-Internal Spanning Tree, in Algorithms and Data Structures (WADS), Lecture Notes in Comput. Sci. 2748, Springer, Berlin, 2003, pp. 474-483.
    • (2003) Lecture Notes in Comput. Sci , vol.2748 , pp. 474-483
    • PRIETO, E.1    SLOPER, C.2
  • 39
    • 0000899024 scopus 로고
    • Grötzsch's 3-color theorem and its counterparts for the torus and the projective plane
    • C. THOMASSEN, Grötzsch's 3-color theorem and its counterparts for the torus and the projective plane, J. Combin. Theory Ser. B, 62 (1994), pp. 268-279.
    • (1994) J. Combin. Theory Ser. B , vol.62 , pp. 268-279
    • THOMASSEN, C.1
  • 40
    • 33645620686 scopus 로고    scopus 로고
    • Ph.D. thesis, Department of Computer Science and Information Mathematics, The University of ElectroCommunications, Japan
    • R. UEHARA, Probabilistic Algorithms and Complexity Classes, Ph.D. thesis, Department of Computer Science and Information Mathematics, The University of ElectroCommunications, Japan, 1998.
    • (1998) Probabilistic Algorithms and Complexity Classes
    • UEHARA, R.1
  • 41
    • 4243097688 scopus 로고    scopus 로고
    • Covering trains by stations or the power of data reduction
    • 98, available online at
    • K. WEIHE, Covering trains by stations or the power of data reduction, in Proceedings of the Workshop on Algorithms and Experiments (ALEX '98), 1998, pp. 1-8; available online at http://rtm.science.unitn.it/ alex98/proceedings.html.
    • (1998) Proceedings of the Workshop on Algorithms and Experiments (ALEX , pp. 1-8
    • WEIHE, K.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.