GENERATING LINEAR EXTENSIONS FAST

被引:73
作者
PRUESSE, G [1 ]
RUSKEY, F [1 ]
机构
[1] UNIV VICTORIA,DEPT COMP SCI,VICTORIA V8W 2Y2,BC,CANADA
关键词
POSET; LINEAR EXTENSION; TRANSPOSITION; COMBINATORIAL GRAY CODE;
D O I
10.1137/S0097539791202647
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
One of the most important sets associated with a poset P is its set of linear extensions, E(P). This paper presents an algorithm to generate all of the linear extensions of a poset in constant amortized time, that is, in time O(e(P)), where e(P) = \E(P)\. The fastest previously known algorithm for generating the linear extensions of a poset runs in time O(n.e(P)), where n is the number of elements of the poset. The algorithm presented here is the first constant amortized time algorithm for generating a ''naturally defined'' class of combinatorial objects for which the corresponding counting problem is #P-complete. Furthermore, it is shown that linear extensions can be generated in constant amortized time where each extension differs from its predecessor by one or two adjacent transpositions. The algorithm is practical and can be modified to count linear extensions efficiently and to compute P(x < y), for all pairs x, y, in time O(n2 + e(P)).
引用
收藏
页码:373 / 386
页数:14
相关论文
共 26 条
[1]  
[Anonymous], 1979, COMBINATORIAL THEORY
[2]  
[Anonymous], 1980, WEBSTERS NEW COLLEGI
[3]  
BOUCHITTE V, 1989, ALGORITHMS ORDER, V1, P231
[4]  
BRIGHTWELL G, 1992, ORDER, V8, P225
[5]   GRAY CODES WITH RESTRICTED DENSITY [J].
BUCK, M ;
WIEDEMANN, D .
DISCRETE MATHEMATICS, 1984, 48 (2-3) :163-171
[6]   SOME HAMILTON PATHS AND A MINIMAL CHANGE ALGORITHM [J].
EADES, P ;
HICKEY, M ;
READ, RC .
JOURNAL OF THE ACM, 1984, 31 (01) :19-29
[7]  
Fleischner H., 1974, Journal of Combinatorial Theory, Series B, V16, P29, DOI 10.1016/0095-8956(74)90091-4
[8]  
Jackson B., 1990, AUSTRALAS J COMBIN, V2, P135
[9]   ON GENERATING ALL MAXIMAL INDEPENDENT SETS [J].
JOHNSON, DS ;
YANNAKAKIS, M ;
PAPADIMITRIOU, CH .
INFORMATION PROCESSING LETTERS, 1988, 27 (03) :119-123
[10]  
Johnson S.M., 1963, MATH COMPUT, V17, P282