Fixed-Parameter Evolutionary Algorithms and the Vertex Cover Problem

被引:52
|
作者
Kratsch, Stefan [1 ]
Neumann, Frank [2 ]
机构
[1] Univ Utrecht, Dept Informat & Comp Sci, Utrecht, Netherlands
[2] Univ Adelaide, Sch Comp Sci, Adelaide, SA 5005, Australia
关键词
Evolutionary algorithms; Fixed-parameter tractability; Vertex cover; Randomized algorithms; SEARCH;
D O I
10.1007/s00453-012-9660-4
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this paper, we consider multi-objective evolutionary algorithms for the Vertex Cover problem in the context of parameterized complexity. We consider two different measures for the problem. The first measure is a very natural multi-objective one for the use of evolutionary algorithms and takes into account the number of chosen vertices and the number of edges that remain uncovered. The second fitness function is based on a linear programming formulation and proves to give better results. We point out that both approaches lead to a kernelization for the Vertex Cover problem. Based on this, we show that evolutionary algorithms solve the vertex cover problem efficiently if the size of a minimum vertex cover is not too large, i.e., the expected runtime is bounded by O(f(OPT)a <...n (c) ), where c is a constant and f a function that only depends on OPT. This shows that evolutionary algorithms are randomized fixed-parameter tractable algorithms for the vertex cover problem.
引用
收藏
页码:754 / 771
页数:18
相关论文
共 50 条
  • [41] SUBSET FEEDBACK VERTEX SET IS FIXED-PARAMETER TRACTABLE
    Cygan, Marek
    Pilipczuk, Marcin
    Pilipczuk, Michal
    Wojtaszczyk, Jakub Onufry
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2013, 27 (01) : 290 - 309
  • [42] Fixed-parameter algorithms for graph constraint logic *,**
    Hatanaka, Tatsuhiko
    Hommelsheim, Felix
    Ito, Takehiro
    Kobayashi, Yusuke
    Muehlenthaler, Moritz
    Suzuki, Akira
    THEORETICAL COMPUTER SCIENCE, 2023, 959
  • [43] Fixed-Parameter Algorithms for Closed World Reasoning
    Lackner, Martin
    Pfandler, Andreas
    20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 492 - 497
  • [44] Parameterized Analysis of Multiobjective Evolutionary Algorithms and the Weighted Vertex Cover Problem
    Pourhassan, Mojgan
    Shi, Feng
    Neumann, Frank
    EVOLUTIONARY COMPUTATION, 2019, 27 (04) : 559 - 575
  • [45] FIXED-PARAMETER ALGORITHMS FOR THE KNESER AND SCHRIJVER PROBLEMS
    Haviv, Ishay
    SIAM JOURNAL ON COMPUTING, 2024, 53 (02) : 287 - 314
  • [46] FIXED-PARAMETER ALGORITHMS FOR MAXIMUM AGREEMENT FORESTS
    Whidden, Chris
    Beiko, Robert G.
    Zeh, Norbert
    SIAM JOURNAL ON COMPUTING, 2013, 42 (04) : 1431 - 1466
  • [47] Analysis of Population-based Evolutionary Algorithms for the Vertex Cover Problem
    Oliveto, Pietro S.
    He, Jun
    Yao, Xin
    2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8, 2008, : 1563 - 1570
  • [48] FIXED-PARAMETER ALGORITHMS FOR FINDING AGREEMENT SUPERTREES
    Fernandez-Baca, David
    Guillemot, Sylvain
    Shutters, Brad
    Vakati, Sudheer
    SIAM JOURNAL ON COMPUTING, 2015, 44 (02) : 384 - 410
  • [49] Ubiquitous parameterization - Invitation to fixed-parameter algorithms
    Niedermeier, R
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2004, PROCEEDINGS, 2004, 3153 : 84 - 103
  • [50] Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams
    Arijit Bishnu
    Arijit Ghosh
    Sudeshna Kolay
    Gopinath Mishra
    Saket Saurabh
    Theory of Computing Systems, 2023, 67 : 1241 - 1267