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 条
  • [31] The Tree Inclusion Problem: In Linear Space and Faster
    Bille, Philip
    Gortz, Inge Li
    ACM TRANSACTIONS ON ALGORITHMS, 2011, 7 (03)
  • [32] A faster algorithm for the inverse spanning tree problem
    Ahuja, RK
    Orlin, JB
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2000, 34 (01): : 177 - 193
  • [33] Empirical Variational Mode Decomposition Based on Binary Tree Algorithm
    Li, Huipeng
    Xu, Bo
    Zhou, Fengxing
    Yan, Baokang
    Zhou, Fengqi
    SENSORS, 2022, 22 (13)
  • [34] A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
    Slivovsky, Friedrich
    Szeider, Stefan
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, 2020, 12178 : 267 - 276
  • [35] A FASTER ALGORITHM FOR COUNTING THE INTEGER POINTS NUMBER IN Δ-MODULAR POLYHEDRA
    Gribanov, D., V
    Malyshev, D. S.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2022, 19 (02): : 613 - 626
  • [36] A tree counting algorithm for precision agriculture tasks
    Santoro, Franco
    Tarantino, Eufemia
    Figorito, Benedetto
    Gualano, Stefania
    D'Onghia, Anna Maria
    INTERNATIONAL JOURNAL OF DIGITAL EARTH, 2013, 6 (01) : 94 - 102
  • [37] Brief Announcement: Tree Decomposition for Faster Concurrent Data Structures
    Schneider, Johannes
    Wattenhofer, Roger
    PODC 2010: PROCEEDINGS OF THE 2010 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2010, : 287 - 288
  • [38] A Simple and Efficient Tree-Based Algorithm for the Distributed Trigger Counting Problem
    Lee, Jaeheung
    Park, Yongsu
    ELECTRONICS, 2022, 11 (07)
  • [39] A FASTER APPROXIMATION ALGORITHM FOR THE STEINER TREE PROBLEM IN GRAPHS
    ZELIKOVSKY, AZ
    INFORMATION PROCESSING LETTERS, 1993, 46 (02) : 79 - 83
  • [40] Avoiding the Global Sort: A Faster Contour Tree Algorithm
    Raichel, Benjamin
    Seshadhri, C.
    DISCRETE & COMPUTATIONAL GEOMETRY, 2017, 58 (04) : 946 - 985