Set packing

✍ dations ◷ 2025-07-11 17:21:46 #计算机逻辑,形式方法,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 。

相关

母乳喂养母乳哺育（Breastfeeding），亦称哺乳、授乳或母乳喂养，指的是女性以乳房喂食婴儿母乳的行为。婴儿有吮吸反射，因此可以吮吸乳房并吞咽母乳，专家建议在出生后一小时即可哺喂母乳，之后
拉丁拉丁语（拉丁语：lingua latīna，IPA：），是印欧语系的意大利语族语言，于古罗马广泛使用，至少可追溯至罗马帝国的奥古斯都皇帝时期，当时所使用的书面语称为“古典拉丁语”。拉丁语是最早
新选组！《新选组！》是NHK于2004年播出的第43作大河剧。原作与剧本是三谷幸喜，主演是香取慎吾。以近藤勇为主人翁，以及京都守护职下警备组织、即有名的新选组为题材。以幕末做为题材的
纽约省美国纽约省（英语：Province of New York）是一个英格兰（后为大不列颠）在北美的直辖殖民地，包括美国现在的纽约州、新泽西州、特拉华州和佛蒙特州，以及康涅狄格州、马萨诸塞州和缅因州
法国宪法法国宪法是以宪章和宪法等名义颁布并优先于其它任何层次法律（参考：法国法律中的标准层次（法语：hiérarchie des normes en droit français））的用以组织法国历代及当代国家机关的
二阶无限边形镶嵌在几何学中，二阶无限边形镶嵌（英语：order-2 apeirogonal tiling）是一种平面镶嵌，由无限边形组成，每个顶点周为皆有两个无限边形，顶点图可计为∞.2或∞2，但由于所有顶点共线，因此，整个
穆瓦希德王朝穆瓦希德王朝（阿拉伯文：الدولة الموحدية‎，“穆瓦希德”意译：一神论者；1121年－1269年），或称阿尔摩哈德王朝（西班牙文：Almohades），是北非柏柏尔人建立的伊斯兰教王朝。12世
奥诺拉·奥尼尔奥诺拉·希薇亚·奥尼尔，班加夫男爵夫人奥尼尔（英语：Onora Sylvia O'Neill, Baroness O'Neill of Bengarve，1941年8月23日－），英国哲学家，上议院中立议员。奥尼尔的父亲是唐·道格拉
威廉·李维特威廉·杰尔德·李维特（英语：William Jaird Levitt，1907年2月11日－1994年1月28日）是美国房地产开发商。在担任Levitt & Sons总裁期间，他被广泛誉为现代美国郊区之父。他被时代杂
纳拉加尔纳拉加尔（Nalagarh），是印度喜马偕尔邦Solan县的一个城镇。总人口9433（2001年）。该地2001年总人口9433人，其中男性5074人，女性4359人；0—6岁人口1150人，其中男620人，女530人；识字率75.96