，和formula_1的一组子集formula_3。"packing"指一个集合formula_4满足formula_5且formula_4中任意两个集合互不相交。定义formula_7为"packing"的大小。对于 set packing 的决定性问题，输入是 formula_8 对和一个整数 formula_9，求是否存在一个大小至少为formula_9的 packing 。对于 set packing 的最优性问题，输入是 formula_8 对，求最大的 packing 。