In mathematics, in the area of order theory, an antichain is a subset of a partially ordered set such that any two distinct elements in the subset are incomparable.
The size of the largest antichain in a partially ordered set is known as its width. By Dilworth's theorem, this also equals the minimum number of chains (totally ordered subsets) into which the set can be partitioned. Dually, the height of the partially ordered set (the length of its longest chain) equals by Mirsky's theorem the minimum number of antichains into which the set can be partitioned.
The family of all antichains in a finite partially ordered set can be given join and meet operations, making them into a distributive lattice. For the partially ordered system of all subsets of a finite set, ordered by set inclusion, the antichains are called Sperner families
and their lattice is a free distributive lattice, with a Dedekind number of elements. More generally, counting the number of antichains of a finite partially ordered set is #P-complete.
In mathematics, in the area of order theory, an antichain is a subset of a partially ordered set such that any two distinct elements in the subset are...
subset A of a partially ordered set P is a strong downwards antichain if it is an antichain in which no two distinct elements have a common lower bound...
satisfy the countable chain condition, or to be ccc, if every strong antichain in X is countable. There are really two conditions: the upwards and downwards...
monotone boolean functions of n variables. Equivalently, it is the number of antichains of subsets of an n-element set, the number of elements in a free distributive...
to indicate a related stronger notion; for example, a strong antichain is an antichain satisfying certain additional conditions, and likewise a strongly...
have the Sperner property (and hence is called a Sperner poset), if no antichain within it is larger than the largest rank level (one of the sets of elements...
inclusion. Antichain principle: Every partially ordered set has a maximal antichain. Equivalently, in any partially ordered set, every antichain can be extended...
universities until 1974. Sperner's theorem, from 1928, says that the size of an antichain in the power set of an n-set (a Sperner family) is at most the middle...
incomparable (with respect to the subset ordering); that is, when it forms an antichain of finite sets. Now the free distributive lattice over a set of generators...
descending chain condition, antichains and upper sets are in one-to-one correspondence via the following bijections: map each antichain to its upper closure...
group of black-tailed and Mexican prairie dogs in computer science, an antichain of sets which are pairwise intersecting A literary coterie or circle This...
finite lattice is slim if no three join-irreducible elements form an antichain. Every slim lattice is planar. A finite planar semimodular lattice is...
efficient analysis may be obtained by abstracting sets of cache states by antichains which are represented by compact binary decision diagrams. LRU static...
sub-poset - linearly ordered, is called a chain. The opposite notion, the antichain, is a subset that contains no two comparable elements; i.e. that is a...