Set packing

✍ dations ◷ 2025-11-28 06:33:10 #计算机逻辑,形式方法,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 。

相关

心脏科人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学心脏病学（英语：cardiology）亦称心脏学，为
西澳洋流西澳洋流（英语：West Australian Current或Western Australian Current），是位于南冰洋及南印度洋表面的寒流，具季节性，于冬季较弱，夏季较强，而且受当地风势影响。西澳寒流位于澳大利
女性避孕套女性避孕套（英语：Female Condom，因在英国等市场上市初期使用Femidom的品牌名称行销，而成为此类产品的代称）是一种供女性使用的避孕套，同男性避孕套一样，是一种一次性使用的可抛式用
阿帕奇阿帕奇县（英语：Apache County）是美国亚利桑那州东北部的一个县，东邻新墨西哥州，北邻犹他州，东北邻科罗拉多州。面积29,056平方公里，是州中面积第三大的县份，亦是美国面积第六大县份
莒照小片莒照小片，是汉语官话方言胶辽官话青莱片的一个片区（原属冀鲁官话沧惠片），主要分布于山东省莒县、莒南县、日照市（东港区、岚山区）和江苏省赣榆县部分地区。五莲县虽属日照市，但其
法师 (佛教)法师（梵语：dharma-bhāṇaka；巴利语：dhamma-kathika），佛教出家众的头衔之一，原来指能精通、研习佛法，能为俗人解说佛法者。今日通常以“法师”泛用来作为佛教僧侣的敬称。梵语bhāṇ
哈尔斯玛公路菲律宾道路哈尔斯玛公路（他加禄语：Lansangang Halsema），又称本格特-高山省道路（Benguet-Mountain Province Road）、碧瑶-邦图克道路（Baguio-Bontoc Road）、登山道（Mountain Trail），为菲
德特马·克拉默德特马·克拉默，联邦十字勋章，勋三等瑞宝章（德语：Dettmar Cramer，1925年4月4日－2015年9月17日）是一名德国足球运动员及教练，率领拜仁慕尼黑于1975年和1976年两夺欧洲冠军杯。由于为
OpenArena 基于开始于2005年8月15日，14年前（2005-08-15），紧接着id Tech 3释放为GPL的那一天。为了成为完整的自由版本QuakeIII而开发着。引擎是ioquake3基于id Software放出的雷神
前野佳彦前野佳彦(MAENO YOSHIHIKO、1953年 - ) ，日本哲学家、诗人、绘本作家。出生于福冈县神社内。经由父亲口述得知战后家园烧毁残迹的惨状，由此产生原爆之子的身份认同，成为形塑此