On minimizing the jump number for interval orders (Q1111581)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On minimizing the jump number for interval orders |
scientific article |
Statements
On minimizing the jump number for interval orders (English)
0 references
1988
0 references
In ``the greedy poset problem'' one seeks to determine those finite posets P whose greedy linear extensions are jump-optimal as well. The Rival-Zaguia 1983 result to the effect that the sets of greedy linear extensions and jump-optimal linear extensions are identical for N-free posets is probably the best known result along these lines to date. This paper is another installment illustrating the R-Z approach as applied to a particular and important class of posets, viz., the interval posets. An important 1986 result of Rival-Zaguia characterizes general greedy posets in a somewhat complicated way. By transformation-refinement of the arguments needed to obtain this result (Thm. 1 in the present paper) and some useful specific lemmas, the authors demonstrate in the proof of Theorem 2 that an interval poset P is greedy if and only if every N in P is completed from above or below. Here \(N=\{a,b,c,d|\) \(a<c\), \(b<c\), \(b<d\}\) is ``completed from below'' if (1) a has at least one lower cover, (2) for every x covered by a, the order on \(\{\) x,a,b,c,d\(\}\) is such that \(x<d\) (in P), (3) whenever x is covered by a and t covers x, \(t\neq a\), then \(t>b.\) The terminology ``completed from above'' has an obvious dual meaning. Using Theorem 2 one obtains a computationally effective means of solving the greedy poset problem for interval orders. The problem is known to be NP-hard otherwise.
0 references
jump number
0 references
greedy poset problem
0 references
greedy linear extensions
0 references
interval posets
0 references
interval orders
0 references