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 条
  • [11] COUNTING LINEAR EXTENSIONS
    BRIGHTWELL, G
    WINKLER, P
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1991, 8 (03): : 225 - 242
  • [12] Counting Cherry Reduction Sequences in Phylogenetic Tree-Child Networks is Counting Linear Extensions
    Coronado, Tomas M.
    Pons, Joan Carles
    Riera, Gabriel
    BULLETIN OF MATHEMATICAL BIOLOGY, 2024, 86 (12)
  • [13] Tree-decomposition based heuristics for the two-dimensional bin packing problem with conflicts
    Khanafer, Ali
    Clautiaux, Francois
    Talbi, El-Ghazali
    COMPUTERS & OPERATIONS RESEARCH, 2012, 39 (01) : 54 - 63
  • [14] Faster random generation of linear extensions
    Bubley, R
    Dyer, M
    DISCRETE MATHEMATICS, 1999, 201 (1-3) : 81 - 88
  • [15] Series-parallel and tree-decomposition approaches for fuzzy constraint networks
    Bosch, A
    Guil, F
    Martinez, C
    Marin, R
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, 2002, 2527 : 275 - 284
  • [16] Counting linear extensions of restricted posets
    Dittmer, Samuel
    Pak, Igor
    ELECTRONIC JOURNAL OF COMBINATORICS, 2020, 27 (04):
  • [17] Counting Linear Extensions: Parameterizations by Treewidth
    Eiben, E.
    Ganian, R.
    Kangas, K.
    Ordyniak, S.
    ALGORITHMICA, 2019, 81 (04) : 1657 - 1683
  • [18] Approximate Counting of Linear Extensions in Practice
    Talvitie, Topi
    Koivisto, Mikko
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2024, 81 : 643 - 681
  • [19] A Scalable Scheme for Counting Linear Extensions
    Talvitie, Topi
    Kangas, Kustaa
    Niinimaki, Teppo
    Koivisto, Mikko
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5119 - 5125
  • [20] Counting Linear Extensions: Parameterizations by Treewidth
    E. Eiben
    R. Ganian
    K. Kangas
    S. Ordyniak
    Algorithmica, 2019, 81 : 1657 - 1683