Set packing

✍ dations ◷ 2025-12-05 00:08:44 #计算机逻辑,形式方法,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 。

相关

双糖双糖（英语：Disaccharide，亦称为二糖）是由两个单糖分子经缩合反应除去一个水分子而成的一种碳水化合物。双糖和单糖一样可溶于水。常见的双糖为蔗糖、乳糖、麦芽糖。蔗糖是由葡萄
滴虫病滴虫性阴道炎（英语：trichomoniasis，trich）也称为滴虫炎，，是因为阴道毛滴虫（英语：Trichomonas vaginalis）所引起的传染病，会造成女性阴道或是男性尿道的发炎。约70%的女性及男性在罹病
县市行政区划（英语对应词：Administrative division/area/region）是一个国家政府为了行政上的需要而在其境内划定的区域或政权单位，也称行政实体（Administrative entity）、地方实体（Subn
氢氯酸盐酸，学名氢氯酸（英语：hydrochloric acid），是氯化氢（化学式：HCl）的水溶液，属于一元无机强酸，工业用途广泛。盐酸为无色透明液体，有强烈的刺鼻味，味酸，微辣，具有较高的腐蚀性。浓盐酸（质量百
但马皇女但马皇女（？－708年7月17日），天武天皇皇女，母亲为藤原镰足之女藤原冰上娘。与自己的异母兄高市皇子结婚，但是大约在696年之前，她就开始与另一位异母兄弟穗积皇子以诗歌来表达思念，不过
卡立依布拉欣阿都卡立依布拉欣（马来语：Abdul Khalid bin Ibrahim，1946年12月14日－），马来西亚第14任雪兰莪州务大臣（2008年－2014年）、前雪兰莪州议会巴生港口议员兼吉隆坡敦拉萨镇国会议员。他曾经
厦门北站厦门北站，又称厦门新站，位于厦门市集美区后溪镇，西北是后溪生活区，南面是大学园区。对外交通方便，距离高崎国际机场约10公里，到厦门本岛、海沧、同安和翔安中心区的距离均在20公里
赝势赝势（pseudopotential），或有效势（effective potential），是指在对能带结构进行数值计算时所引入的一个虚拟的势。引入赝势有助于实现一个复杂的系统的近似计算。事实上，赝势近似法是
社会助长社会助长（Social facilitation）是人们在完成简单任务或熟练任务时，如果有观察者在场（观众效应），或者有竞争者（合作者效应），将会激发起优于独处时的表现的倾向。但是对于复杂任务或不
嘻哈奇侠《嘻哈奇侠》（英语：）是一部2001年美国黑人剥削喜剧片，由路易·C·K执导，改编自首次于《克里斯洛克秀（英语：The Chris Rock Show）》中的喜剧小品情节。电影由兰斯·克劳瑟主演，洛克所