Set packing

✍ dations ◷ 2025-12-09 18:14:27 #计算机逻辑,形式方法,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 。

相关

周质空间周质空间（periplasmic space），又称为周质（periplasm）或壁膜间隙，是革兰氏阴性菌的细胞膜与外膜（Outer membrane）之间的间隔区域。在革兰氏阴性菌中，一般指其外膜与细胞膜之间的狭窄空
小油坑坐标：25°10′31.33″N 121°32′50.84″E / 25.1753694°N 121.5474556°E / 25.1753694; 121.5474556小油坑是位于台湾北部阳明山国家公园内的一处火山喷气孔，位于七星山西
印花印花（英语：Textile printing），全称织物印花，是指使用染料、涂料或其他特殊材料，通过一定的实施方式，能够在纺织品上得到可复制图案的加工过程。凹版印花或滚筒印花，指用刻有凹形花纹
富图纳板块富图纳板块（Futuna Plate）是太平洋南部的小型板块，位于富图纳岛附近。富图纳板块的北面是太平洋板块，南接澳洲板块，东临纽阿福欧板块。
阳羡词派阳羡词派是清代前期的一个重要词创作流派，创始人是清代词人陈维崧。因陈维崧是江苏宜兴人，而宜兴古名阳羡，所以被称为阳羡词派。主要词人有曹贞吉、万树、蒋景祁、任绳隗、徐喈
委内瑞拉社会主义统一党委内瑞拉统一社会主义党（西班牙语：Partido Socialista Unido de Venezuela，缩写为PSUV）是目前委内瑞拉的执政党和最大的左翼政党。该党成立于2007年10月20日，由委内瑞拉总统乌戈
北约扩张北约扩张指的是北大西洋公约组织（下称北约）自1949年成立以来增加成员国的过程，从1949年成立时的12个创始国，目前已扩张至30个成员国，其中多数是冷战结束后加入的中东欧国家。身为
奖励奖励是给予个人、团体、组织的精神或物质方面的激励，以表彰他们在某个领域的卓越表现。正式的奖通常会在一个颁奖典礼中举行，由颁奖人将奖项授予得奖者，并伴随着各种奖品，例如奖
彰化温泉彰化温泉位于台湾彰化县彰化市八卦山麓，在日治时代名闻一时，唯现已不存，原址现为大佛风景区后方停车场。彰化温泉系加热八卦山涌出之矿泉，属于碳酸铁泉，对胃肠病及妇人病有效。彰
三好德三郎三好德三郎（1873年5月2日－1939年4月3日），自号茶苦来山人，是一位出身日本京都府宇治的实业家。他因长期在台湾具深厚影响力，又被称作“民间总督”。此外，他也是祇园辻利（日语：祇園辻利