Set packing

✍ dations ◷ 2025-12-07 08:51:00 #计算机逻辑,形式方法,NP完全问题

Set packing 问题是复杂性理论和组合数学中一个经典的NP完全问题，是卡普的二十一个NP-完全问题之一。

给定一个有限集合和一些的子集，求问是否可以其中的个子集，他们两两不相交。

形式化的定义：给定全集 ${\mathcal {U}}$ 指一个集合 ${\mathcal {C}}$ 的大小。

对于 set packing 的决定性问题，输入是 $({\mathcal {U}},{\mathcal {S}})$ $({\mathcal {U}},{\mathcal {S}})$ 对和一个整数 $k {\displaystyle k}$ $k$ ，求是否存在一个大小至少为 $k {\displaystyle k}$ $k$ 的 packing 。对于 set packing 的最优性问题，输入是 $({\mathcal {U}},{\mathcal {S}})$ $({\mathcal {U}},{\mathcal {S}})$ 对，求最大的 packing 。

相关

农杆菌属农杆菌属（学名：Agrobacterium），又称土壤杆菌属，是革兰氏阴性菌的一个属，常通过水平基因转移导致植物根瘤的产生，该属以向植物导入DNA的能力而闻名，因此农杆菌属也是用于改良植物的重
锻焊锻焊（英语：Forge welding），又称锻接、锻造焊接，一种固态焊接制程，先加热两片金属，到达白炽状态，之后以槌子反复敲打的方式，使它们熔合，焊接成一块。这是一种最简单的冶金技术，人类从很
西兰大区西兰大区（Region Sjælland）是丹麦五大区之一，2007年1月1日由原来的罗斯基勒郡、西西兰郡和斯托海峡郡合并而成。下分17市。面积7,273平方公里，2008年人口819,427人。首府索勒
韦伯州立大学韦伯州立大学（英文：Weber State University）是一所公立大学，位于美国犹他州韦伯县奥格登城。这是政府资助的男女同校大学，提供专业的人文和技术证书，还有学士和硕士学位。韦伯州立
UH-1UH-1 Iroquois，是美国的贝尔直升机公司所设计制造的军用中型通用直升机，根据美军命名传统正式命名为“Iroquois”（为北美原住部族之一的伊洛魁部落名称），而贝尔直升机公司另起了
马修·汉考克马修·约翰·戴维·汉考克（英语：Matthew John David Hancock；1978年10月2日－），是英国保守党的党员，自2010年英国大选后担任英国国会西萨福克选区下议院议员；曾任内阁办公室部长。202
营区社区营区社区是中华人民共和国海南省三沙市西沙区的一个社区，地处南中国海西沙群岛永兴岛，管辖范围为部队营区。2015年9月27日上午，营区社区居民委员会挂牌成立。营区社区是以军嫂
陈继明陈继明（1963年－），甘肃甘谷人，中国作家，北京师范大学珠海分校教授，宁夏作家协会副主席。1984年毕业于宁夏大学汉语言文学系。曾获第十七届华语文学传媒大奖年度小说家奖。
二氯化苯钌二聚体二氯化苯钌二聚体是一种有机钌化合物，化学式为2。这种红色反磁性的固体是有机化学中的试剂及均相催化剂。它和溶解性更大的二氯化(对甲基异丙苯)钌二聚体是类似物。这个化合
北欧金北欧金是一种金色铜合金，用在欧元硬币其中三个面额：50分、20分、10分。它也在其他国家使用了好几年，瑞典10克朗是最早使用北欧金的硬币（因此称为北欧金）。它的组成是89%铜、5%铝