dilworthNumber -- computes the Dilworth number of a poset

Synopsis

• Usage:

  d = dilworthNumber P

• Inputs:
  • P, an instance of the type Poset,
• Outputs:
  • d, an integer, the maximum length of an antichain

Description

i1 : n = 5;

i2 : dilworthNumber chain n

o2 = 1

i3 : dilworthNumber booleanLattice n

o3 = 10

i4 : n*(n-1)//2

o4 = 10

See also

• antichains -- computes all antichains of a poset
• dilworthLattice -- computes the Dilworth lattice of a poset
• maximalAntichains -- computes all maximal antichains of a poset