Nucleolus (source code)

= Nucleolus

When the <imputation> set is nonempty, the <nucleolus> is the unique <imputation> lexicographically minimizing the vector of <excesses of a coalition> sorted decreasingly. It minimizes the largest complaint first, then subsequent complaints among ties. It can be computed through successive <linear programs> that minimize the current maximum excess and retain constraints fixed by prior stages. Its uniqueness is the standard <nucleolus> theorem. If the <core of a cooperative game> is nonempty, the <nucleolus> belongs to it; an empty core does not preclude a <nucleolus>.