The three-dimensional matching problem asks, for disjoint sets ,
, and
of equal cardinality
and a subset
, whether there is a subset
of cardinality
in which no two triples agree in any coordinate.
The problem is NP-complete (Karp 1972). It generalizes matching in bipartite graphs from pairs to triples.