Set packing

✍ dations ◷ 2025-09-16 08:35:23 #计算机逻辑,形式方法,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 。

相关

反安慰剂效应反安慰剂效应（拉丁文“nocebo”，意为“我将伤害”）指出一些信念或预期等心理效果，可能会导致疾病产生，或影响治疗的效果。安慰剂效应指病人虽然获得无效的治疗，但却“预料”或“相
初古菌初古菌门（学名：Korarchaeota），名称来自希腊语中的名词“koros”或“kore”，意思是“年轻男子”或“年轻女子”，以及“古老的”“archaios”，中文译为“初古菌”。初古菌门是通过16S
Ssub2/subFsub2/sub二氟化二硫是一种硫的卤化物，化学式为S2F2。在严格干燥的容器中用二氟化银和硫单质，可得结构式为FS-SF的二氟化二硫：存在碱金属氟化物时，二氟化二硫会发生分子内重排，转变为S=SF2
高雄85大楼高雄85大楼（85 Sky Tower），前称东帝士85国际广场、东帝士建台大楼、TC Tower，位于高雄市苓雅区，紧邻著高雄港和新光码头，是85层楼高的摩天大楼，其增加天线为378米，为高雄第一高楼，亦
亳州.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
阿罗约夫人玛丽亚·格洛丽亚·马卡帕加尔-阿罗约（他加禄语：Maria Gloria Macapagal-Arroyo；1947年4月5日－），是菲律宾第14任总统及第25任众议院议长。不仅是菲律宾第二位女总统，也是前总统奥斯
色度 (色彩学)色度指的是色彩的纯度，也叫饱和度或彩度，是“色彩三属性”之一。如大红就比玫红更红，这就是说大红的色度要高。它是HSV色彩属性模式、孟塞尔颜色系统等的描述色彩变量。从广义
阪神甲子园球场阪神甲子园球场，位于日本兵库县西宫市甲子园町的著名棒球场，一般简称为“甲子园球场”或“甲子园”。总占地面积39,600平方米，可容纳50,454人，赛场中央线为120米，两翼为96米，由日
玛西娅庄园玛西娅庄园（Masía el Altet）是位于西班牙巴伦西亚自治区阿利坎特省阿尔科伊市的一个私人庄园。庄园是佩蒂特(Petit)家族的私有财产。它的历史可以追溯到17世纪，如今它的的主体
董志常董志常（1915年－1984年），男，湖北大悟人，中华人民共和国军事人物，中国人民解放军少将，曾任中国人民解放军总后勤部司令部顾问。