On minimizing the jump number for interval orders (Q1111581)

From MaRDI portal
Revision as of 08:30, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references