Exact computation of minimum feedback vertex sets with relational algebra

被引：0
|
作者：
Berghammer, Rudolf
Fronk, Alexander
机构：
[1] Univ Kiel, Inst Appl Math & Sci Comp, D-24098 Kiel, Germany
[2] Univ Dortmund, D-44221 Dortmund, Germany
来源：
FUNDAMENTA INFORMATICAE | 2006年 / 70卷 / 04期
关键词：
directed graphs; feedback vertex sets; elementary chordless cycles; relational algebra; RELVIEW tool;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A feedback vertex set of a graph is a subset of vertices containing at least one vertex from every cycle of the graph. Given a directed graph by its adjacency relation, we develop a relational algorithm for computing a feedback vertex set of minimum size. In combination with a BDD-implementation of relations, it allows to exactly solve this NP-hard problem for medium-sized graphs.
引用
收藏
页码：301 / 316
页数：16
相关论文
共 50 条
  • [31] An Exact Algorithm for Minimum Vertex Cover Problem
    Wang, Luzhi
    Hu, Shuli
    Li, Mingyang
    Zhou, Junping
    [J]. MATHEMATICS, 2019, 7 (07)
  • [32] Exact Localisations of Feedback Sets
    Michael Hecht
    [J]. Theory of Computing Systems, 2018, 62 : 1048 - 1084
  • [33] Exact Localisations of Feedback Sets
    Hecht, Michael
    [J]. THEORY OF COMPUTING SYSTEMS, 2018, 62 (05) : 1048 - 1084
  • [34] Exact-real computation in computer algebra
    Bodnár, G
    Kaltenbacher, B
    Pau, P
    Schicho, J
    [J]. SYMBOLIC AND NUMERICAL SCIENTIFIC COMPUTATION, 2003, 2630 : 279 - 292
  • [35] Tutorial: Exact Numerical Computation in Algebra and Geometry
    Yap, Chee K.
    [J]. ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2009, : 387 - 388
  • [36] ON FEEDBACK VERTEX SETS AND NONSEPARATING INDEPENDENT SETS IN CUBIC GRAPHS
    SPECKENMEYER, E
    [J]. JOURNAL OF GRAPH THEORY, 1988, 12 (03) : 405 - 412
  • [37] Minimum feedback vertex set and acyclic coloring
    Fertin, G
    Godard, E
    Raspaud, A
    [J]. INFORMATION PROCESSING LETTERS, 2002, 84 (03) : 131 - 139
  • [38] FEEDBACK VERTEX SETS AND CYCLICALLY REDUCIBLE GRAPHS
    WANG, CC
    LLOYD, EL
    SOFFA, ML
    [J]. JOURNAL OF THE ACM, 1985, 32 (02) : 296 - 313
  • [39] An approximation algorithm or feedback vertex sets in tournaments
    Cai, MC
    Deng, XT
    Zang, WN
    [J]. SIAM JOURNAL ON COMPUTING, 2001, 30 (06) : 1993 - 2007
  • [40] Enumerating Minimal Subset Feedback Vertex Sets
    Fomin, Fedor V.
    Heggernes, Pinar
    Kratsch, Dieter
    Papadopoulos, Charis
    Villanger, Yngve
    [J]. ALGORITHMICA, 2014, 69 (01) : 216 - 231
12345