Homecs.GTarXiv:2605.29571

Nucleolus Computation by Non-Zero-Constrained Optimization

cs.GT2026-05v1license

Abstract

We extend the list of games where the nucleolus is computable in polynomial time. Based on the classical MPS scheme, nucleolus computation can be reduced to the problem of finding a coalition with minimum excess that does not belong to a given linear subspace. We call this problem LSA-MinExcess, and show that it is equivalent to NZ-MinExcess: Given integral values per player, find a coalition with minimum excess whose player values do not sum up to 00. Exploiting this representation, we prove that the nucleolus is computable in polynomial time for arboricity games, network strength games, and certain bb-matching games. Along these lines, we show that for bb-matching games with b2b \leq 2, LSA-MinExcess is polynomially equivalent to Shortest Non-Zero Cycle. Further, we prove that in general, linear subspace avoidance strictly increases the complexity of the minimum excess problem, even for monotone games. We still provide a reduction that trades linear subspace avoidance against an arbitrarily small approximation error. Finally, we show that the nucleolus is unstable in the following sense: A small change in the value function of the game can lead to a change in the nucleolus that is exponential in the number of players.

Comments: 25 pages, 5 figures

Cite

@article{arxiv.2605.29571,
  title  = {Nucleolus Computation by Non-Zero-Constrained Optimization},
  author = {Daniel Ebert and Antonia Ellerbrock},
  journal= {arXiv preprint arXiv:2605.29571},
  year   = {2026}
}