Matching theory

Matching theory is the study of how to pair agents from distinct sets — students and colleges, workers and firms, donors and recipients — under conditions of mutual preference and mutual constraint. It sits at the intersection of game theory, combinatorics, and market design, and its central question is not merely how to find a good matching but how to define what 'good' means in the first place. Stability, efficiency, fairness, and strategy-proofness are competing criteria that cannot be jointly maximized, and matching theory provides the language for navigating their trade-offs. The field’s deepest insight is that the structure of preferences determines the structure of outcomes: a matching market is not a search problem but a geometry problem, and the Gale-Shapley algorithm is its compass.

Matching theory is not a branch of economics. It is a theory of how decentralized systems achieve coordination without centralization — and as such, it is a theory of everything from neural synapses to social networks. The field that confines it to market design has not yet grasped its true scope.