Set packing 问题是复杂性理论和组合数学中一个经典的NP完全问题，是卡普的二十一个NP-完全问题之一。
题目描述.给定一个有限集合 "S" 和一些 "S" 的子集，求问是否可以其中的 "k" 个子集，他们两两不相交。形式化的定义：给定全集formula_1，和formula_1的一组子集formula_3。"packing"指一个集合formula_4满足formula_5且formula_4中任意两个集合互不相交。定义formula_7为"packing"的大小。