next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Posets :: dilworthNumber

dilworthNumber -- computes the Dilworth number of a poset

Synopsis

Description

The Dilworth number of a poset is the maximum length of an antichain.

The Dilworth number of a chain is always 1.

i1 : n = 5;
i2 : dilworthNumber chain n

o2 = 1

The Dilworth number of the n booleanLattice is n*(n-1)/2.

i3 : dilworthNumber booleanLattice n

o3 = 10
i4 : n*(n-1)//2

o4 = 10

See also

Ways to use dilworthNumber :