三维匹配问题

三维匹配问题（3DM）是六个经典NP完全问题之一，是经典的“婚姻问题”的推广，“婚姻问题”的提法是：有几个未婚男子和几个未婚女子以及一张列出双方都表示愿意结合在一起的一对对男子和女子的表格，问是否能安排几对婚姻使得每个人都与自己愿意接受的配偶结婚并且不出现重婚？

在三维匹配问题中，可以用集合${\displaystyle W}$，${\displaystyle X}$和${\displaystyle Y}$对应于“三个”不同的性别，${\displaystyle M}$属于${\displaystyle W*X*Y}$。用集合${\displaystyle M}$中的每一个三元组对应一对这三个成员都能接受的“三方婚姻”。普通的婚姻问题可以在多项式时间内解决，而3DM是NP完全的。