A Faster Tree-Decomposition Based Algorithm for Counting Linear Extensions

被引:2
|
作者
Kangas, Kustaa [1 ]
Koivisto, Mikko [2 ]
Salonen, Sami [2 ]
机构
[1] Aalto Univ, Dept Comp Sci, Espoo, Finland
[2] Univ Helsinki, Dept Comp Sci, Helsinki, Finland
关键词
Algorithm selection; Empirical hardness; Linear extension; Multiplication of polynomials; Tree decomposition; COMPLEXITY; FRAMEWORK;
D O I
10.1007/s00453-019-00633-1
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We investigate the problem of computing the number of linear extensions of a given n-element poset whose cover graph has treewidth t. We present an algorithm that runs in time O(nt+3) for any constant t; the notation hides polylogarithmic factors. Our algorithm applies dynamic programming along a tree decomposition of the cover graph; the join nodes of the tree decomposition are handled by fast multiplication of multivariate polynomials. We also investigate the algorithm from a practical point of view. We observe that the running time is not well characterized by the parameters n and t alone: fixing these parameters leaves large variance in running times due to uncontrolled features of the selected optimal-width tree decomposition. We compare two approaches to select an efficient tree decomposition: one is to include additional features of the tree decomposition to build a more accurate, heuristic cost function; the other approach is to fit a statistical regression model to collected running time data. Both approaches are shown to yield a tree decomposition that typically is significantly more efficient than a random optimal-width tree decomposition.
引用
收藏
页码:2156 / 2173
页数:18
相关论文
共 50 条
  • [1] A Faster Tree-Decomposition Based Algorithm for Counting Linear Extensions
    Kustaa Kangas
    Mikko Koivisto
    Sami Salonen
    Algorithmica, 2020, 82 : 2156 - 2173
  • [2] A New Tree-Decomposition Based Algorithm for Answer Set Programming
    Morak, Michael
    Musliu, Nysret
    Pichler, Reinhard
    Ruemmele, Stefan
    Woltran, Stefan
    2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 2011, : 916 - 918
  • [3] Dynamic programming and planarity: Improved tree-decomposition based algorithms
    Dorn, Frederic
    DISCRETE APPLIED MATHEMATICS, 2010, 158 (07) : 800 - 808
  • [4] A tree-decomposition approach to protein structure prediction
    Xi, JB
    Jiao, F
    Berger, B
    2005 IEEE COMPUTATIONAL SYSTEMS BIOINFORMATICS CONFERENCE, PROCEEDINGS, 2005, : 247 - 256
  • [5] How to use planarity efficiently: New tree-decomposition based algorithms
    Dorn, Frederic
    GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2007, 4769 : 280 - +
  • [7] A Sequential Importance Sampling Algorithm for Counting Linear Extensions
    Jensen A.
    Beichl I.
    ACM Journal of Experimental Algorithmics, 2020, 25
  • [8] GRAPH MINORS .10. OBSTRUCTIONS TO TREE-DECOMPOSITION
    ROBERTSON, N
    SEYMOUR, PD
    JOURNAL OF COMBINATORIAL THEORY SERIES B, 1991, 52 (02) : 153 - 190
  • [9] Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs
    Jegou, Philippe
    Ndiaye, Samba Ndojh
    Terrioux, Cyril
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 112 - 117
  • [10] Hybrid backtracking bounded by tree-decomposition of constraint networks
    Jégou, P
    Terrioux, C
    ARTIFICIAL INTELLIGENCE, 2003, 146 (01) : 43 - 75