Derangements and Generalizations: A Counting Note on the Matching Problem

TL;DR

This paper provides a unified counting framework for derangements and their generalizations, linking classical matching problems with modern variants through elementary combinatorial methods and exact formulas.

Contribution

It introduces a unified counting scheme for fixed-point-free allocations and derives closed-form formulas for derangements, injections, and partial matchings.

Findings

Closed-form formulas for derangements and related structures

Exact counts for fixed points in matching problems

Poisson limit laws for the distribution of fixed points

Abstract

We give a concise historical background to Montmort's matching problem and its modern variants such as the hat-check problem, then develop a unified counting framework for fixed-point-free allocations. Using elementary recurrence and inclusion-exclusion arguments, we derive closed forms for derangements, rectangular injections, and partial l-matchings, and we combine them into a single formula. We also provide exact counts for the number of fixed points and Poisson limit laws. This note thus offers a compact, self-contained synthesis linking classical results with their two principal generalizations in a single scheme.