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
    0 references
    0 references
    0 references
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    jump number
    0 references
    greedy poset problem
    0 references
    greedy linear extensions
    0 references
    interval posets
    0 references
    interval orders
    0 references