Matpic
mathematics, in pictures
Concept

Imputation

A division of what a group earns that hands out the whole of it and gives no member less than it could earn alone. The divisions satisfying every coalition's objection form a region inside that set, and the region is sometimes empty.

Named by 3 essays across one field — each of them below, with the objects they name alongside it.

The quietest loudest complaint in any two of three decide. The triangle of all splits of what a three-player group is worth, with the split minimising the largest excess marked, the average split beside it, and the loudest complaint named.

The objection nobody can make louder

When no split of the winnings survives every group's objection, the core is empty and the question changes — which split makes the loudest objection as quiet as it can be? Sorting the complaints and minimising them in dictionary order picks exactly one split, always, whether or not the core exists.

applied · The core Five certificates against any two of three decide. A table of every minimal balanced family on three players, what each demands of the game, and whether the grand coalition's value covers it — the complete test for whether a stable split exists.

Five weighings and the question is closed

Searching the triangle of splits can only ever fail to find a stable one, which is not the same as there being none. Weighing five families of coalitions against the whole settles the question outright — and the family that fails is the proof that nothing survives.

applied · The core The splits of any two of three decide that nobody can out-argue. The triangle of all splits of a joint gain, with the splits marked at which every player's loudest complaint against every other is matched by an equally loud complaint back.

An objection one player makes to another

The core lets a coalition object to everybody at once. Narrow it to one player objecting to one other, require every such objection to be met by an equally loud one coming back, and exactly one split survives — with no dictionary order anywhere in the argument.

applied · The core

Named alongside it

The objects these essays reach for when they reach for this one.

CoalitionCoreBalancednessExcessExhaustive searchNucleolusDualityExistence proofFairnessLexicographic orderLinear programShapley value

All concepts