An Efficient Method for Indexing All Topological Orders of a Directed Graph

被引:8
作者
Inoue, Yuma [1 ]
Minato, Shin-ichi [1 ,2 ]
机构
[1] Hokkaido Univ, Grad Sch Informat Sci & Technol, Sapporo, Hokkaido, Japan
[2] JST, ERATO, MINATO, Discrete Struct Manipulat Syst Project, Sapporo, Hokkaido, Japan
来源
ALGORITHMS AND COMPUTATION, ISAAC 2014 | 2014年 / 8889卷
关键词
Topological orders; Linear extensions; Permutations; Decision diagrams; Enumerating algorithms; Experimental algorithms; LINEAR EXTENSIONS; GENERATION;
D O I
10.1007/978-3-319-13075-0_9
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Topological orders of a directed graph are an important concept of graph algorithms. The generation of topological orders is useful for designing graph algorithms and solving scheduling problems. In this paper, we generate and index all topological orders of a given graph. Since topological orders are permutations of vertices, we can use the data structure pi DD, which generates and indexes a set of permutations. In this paper, we propose Rot-pi DDs, which are a variation of pi DDs based on a different interpretation. Compression ratios of Rot-pi DDs for representing topological orders are theoretically improved from the original pi DDs. We propose an efficient method for constructing a Rot-pi DD based on dynamic programming approach. Computational experiments show the amazing efficiencies of a Rot-pi DD: a Rot-pi DD for 3.7 x 10(41) topological orders has only 2.2 x 10(7) nodes and is constructed in 36 seconds. In addition, the indexed structure of a Rot-pi DD allows us to fast post-process operations such as edge addition and random samplings.
引用
收藏
页码:103 / 114
页数:12
相关论文
共 15 条
[1]   ON COMPUTING THE NUMBER OF LINEAR EXTENSIONS OF A TREE [J].
ATKINSON, MD .
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1990, 7 (01) :23-25
[2]  
Bender MA, 2009, PROCEEDINGS OF THE TWENTIETH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, P1108
[3]   COUNTING LINEAR EXTENSIONS [J].
BRIGHTWELL, G ;
WINKLER, P .
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1991, 8 (03) :225-242
[4]   Faster random generation of linear extensions [J].
Bubley, R ;
Dyer, M .
DISCRETE MATHEMATICS, 1999, 201 (1-3) :81-88
[5]  
Cooper J.N., 2013, AMS SE SECT M
[6]  
Cormen T., 2001, Introduction to Algorithms
[7]   A DECOMPOSITION THEOREM FOR PARTIALLY ORDERED SETS [J].
DILWORTH, RP .
ANNALS OF MATHEMATICS, 1950, 51 (01) :161-166
[8]  
Inoue Y., 2014, TCSTRB149 HOKK U DIV
[9]   TOPOLOGICAL SORTING OF LARGE NETWORKS [J].
KAHN, AB .
COMMUNICATIONS OF THE ACM, 1962, 5 (11) :558-562
[10]  
Li W.N., 2005, C NUMERANTIUM, V174, P143