Set packing

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

相关

缓激肽结构 / ECOD缓激肽（英语：Bradykinin）是引起血管扩张的一种肽，因此导致血压降低。一类名叫ACE抑制药的用于降血压的药物会增加缓激肽的浓度（通过抑制其降解）进而降低血压。缓激肽是
胆囊炎胆囊炎（Cholecystitis）是指发生于胆囊的炎症，症状包括右上腹部疼痛、恶心、呕吐、偶有发烧。多半在急性胆囊炎之前会有胆绞痛（英语：Biliary colic）的症状。但胆囊炎造成的疼痛会比
三星三星可以指：
斯勒格斯勒格（slug）是英制单位中的一种质量单位。若1磅力（lbF）的力作用在某物体上，此物体获得1 英尺/秒2（1 ft/s2）的加速度，则此物体的质量是1斯勒格。1 sl
约瑟夫·玛罗德·威廉·透纳约瑟夫·玛罗德·威廉·特纳（英语：Joseph Mallord William Turner，1775年4月23日－1851年12月19日），简称J·M·W·特纳（J. M. W. Turner）或威廉·特纳（William Turner），又译透纳，英国浪漫
大陆军队大陆军（英语：Continental Army）是美国独立战争中的英属北美殖民地军事力量，于1775年6月14日根据第二次大陆议会的决议建立，使美国独立运动有了革命武力对抗英国军队。在整个战争
布拉克山黑山（Black Hills）是位于美国南达科他州和怀俄明州交界处的一个山区。最高点黑麋鹿峰高2208米。黑山曾是美国原住民的聚居地，也是原住民心中的圣山。然而在19世纪后期，由于谣传
SAGE引擎SAGE（战略动作游戏引擎，Strategy Action Game Engine）是西木工作室（Westwood Studios）和艺电（EA）用于即时战略游戏的游戏引擎。引擎的第一个版本是W3D (Westwood 3D)，是SurRender 3D
第五种力现代物理学认为有四种基本作用力存在。然而，物理学中并没有一个公认的统一理论，因此偶尔物理学家们也会假定存在一个额外的基本力——第五种力。大多数物理学家假定第五种力大
白宗宪白宗宪（朝鲜语：백종헌／白宗憲，1962年12月23日－），大韩民国保守派政治人物，第21届国会议员。