252 research outputs found
First-Fit is Linear on Posets Excluding Two Long Incomparable Chains
A poset is (r + s)-free if it does not contain two incomparable chains of
size r and s, respectively. We prove that when r and s are at least 2, the
First-Fit algorithm partitions every (r + s)-free poset P into at most
8(r-1)(s-1)w chains, where w is the width of P. This solves an open problem of
Bosek, Krawczyk, and Szczypka (SIAM J. Discrete Math., 23(4):1992--1999, 2010).Comment: v3: fixed some typo
An easy subexponential bound for online chain partitioning
Bosek and Krawczyk exhibited an online algorithm for partitioning an online
poset of width into chains. We improve this to with a simpler and shorter proof by combining the work of Bosek &
Krawczyk with work of Kierstead & Smith on First-Fit chain partitioning of
ladder-free posets. We also provide examples illustrating the limits of our
approach.Comment: 23 pages, 11 figure
Symmetric Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices
We prove that the noncrossing partition lattices associated with the complex
reflection groups for admit symmetric decompositions
into Boolean subposets. As a result, these lattices have the strong Sperner
property and their rank-generating polynomials are symmetric, unimodal, and
-nonnegative. We use computer computations to complete the proof that
every noncrossing partition lattice associated with a well-generated complex
reflection group is strongly Sperner, thus answering affirmatively a question
raised by D. Armstrong.Comment: 30 pages, 5 figures, 1 table. Final version. The results of the
initial version were extended to symmetric Boolean decompositions of
noncrossing partition lattice
The on-line width of various classes of posets.
An on-line chain partitioning algorithm receives a poset, one element at a time, and irrevocably assigns the element to one of the chains. Over 30 years ago, Szemer\\u27edi proved that any on-line algorithm could be forced to use chains to partition a poset of width . The maximum number of chains that can be forced on any on-line algorithm remains unknown. In the survey paper by Bosek et al., variants of the problem were studied where the class is restricted to posets of bounded dimension or where the poset is presented via a realizer of size . We prove two results for this problem. First, we prove that any on-line algorithm can be forced to use chains to partition a -dimensional poset of width . Second, we prove that any on-line algorithm can be forced to use chains to partition a poset of width presented via a realizer of size . Chrobak and \\u27Slusarek considered variants of the on-line chain partitioning problem in which the elements are presented as intervals and intersecting intervals are incomparable. They constructed an on-line algorithm which uses at most chains, where is the width of the interval order, and showed that this algorithm is optimal. They also considered the problem restricted to intervals of unit-length and while they showed that first-fit needs at most chains, over years later, it remains unknown whether a more optimal algorithm exists. We improve upon previously known bounds and show that any on-line algorithm can be forced to use chains to partition a semi-order presented in the form of its unit-interval representation. As a consequence, we completely solve the problem for . We also consider entirely new variants and present the results for those
- …