Concept

Rook polynomial

The polynomial whose coefficient of x to the k counts the ways to place k non-attacking rooks on a board of cells. Its coefficients turn inclusion–exclusion into a count of the permutations that avoid the board, and it multiplies over blocks that share no row or column.

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

Permutations that avoid 8 forbidden cells. A 5 by 5 grid with 8 forbidden cells shaded and one permutation that avoids them marked, beside the numbers of ways to place non-attacking rooks on the forbidden cells and the count of avoiding permutations they give.

The cells a permutation must miss

A derangement is a permutation that misses the diagonal of a square grid. Forbid any other set of cells instead and inclusion–exclusion still counts what is left — driven entirely by one list of numbers, the ways to place non-attacking rooks on the forbidden cells. Boards that look nothing alike can share that list, and rooks on a staircase turn out to count the ways to split a set.

probability · Inclusion exclusion
5 couples seated so that no one sits beside a partner. A round table with 10 seats alternating women and men, labelled by couple, arranged so that no man sits next to his partner, with the number of such arrangements.

A round table with no couple together

Seat n couples round a table, men and women alternating, so that nobody sits beside their partner. Once the women are placed the men face a board of forbidden cells that bends round a corner — and that corner is the whole difficulty. The forbidden cells form a cycle, a count of non-adjacent points on a cycle finishes the problem, and the chance of a good seating creeps towards e^(−2) far more slowly than the hat problem reaches 1/e.

probability · Inclusion exclusion
How many matches a frustrating deal has. 0:0.016233/0.018316, 1:0.068899/0.073263, 2:0.144164/0.146525, 3:0.198194/0.195367, 4:0.201325/0.195367, 5:0.161112/0.156293, 6:0.105762/0.104196, 7:0.058554/0.059540, 8:0.027898/0.029770, 9:0.011615/0.013231, 10:0.004276/0.005292, 11:0.001406/0.001925, 12:0.000416/0.000642

A card game almost nobody wins

Shuffle a deck and deal it face up, calling ace, two, three, up to king and round again, four times through. If a card ever matches the rank being called, the game is lost, and it is won about one time in sixty-two. The chance is 0.016232727…, exact, because the forbidden pairings form thirteen separate four-by-four squares and inclusion–exclusion turns their rook numbers into a sum — a sum whose terms climb past ten before they cancel to a sixtieth, and which is also the integral of a power of a Laguerre polynomial. The obvious guess, e to the minus four, is eleven per cent too high, and two hundred thousand deals can tell.

probability · Inclusion exclusion

Named alongside it

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

DerangementInclusion exclusionCounting two wayse, the numberGenerating functionPermutationExhaustive searchLatin squareLimitPermanentPoisson approximation

All concepts