Set packing

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

相关

怀孕试验妊娠试验是一种测试女性是否已经受孕的试验。最早的妊娠试验是针对早孕因子（英语：GroES）（简称EPF）进行玫瑰花结抑制分析（rosette inhibition assay）。早孕因子可以在受精后48小时从
核辐射电离辐射（英语：ionizing radiation）是指波长短、频率高、能量高的射线（粒子或波的双重形式）。辐射可分为电离辐射和非电离辐射，电离辐射可以从原子或分子里面电离过程（Ionization）中
加州清光加州清光（日语：かしゅうきよみつ，生年不详－1687年（贞享4年））加州（金泽）的刀匠。正式名称为加州金泽住长兵卫藤原清光。加州金泽住长兵卫藤原清光为第六代“清光”，初代则名为“小次郎
瓜德罗普省长瓜德罗普省长（Le préfet de Martinique），是法国海外省瓜德罗普的省长。阿根廷总统 · 安提瓜和巴布达总理 · 巴巴多斯总理 · 巴哈马总理 · 巴拉圭总统 · 巴拿马总统 · 巴
鲨客鲨客（Grooveshark）是Escape媒体集团的子公司，总部设在美国，提供在线音乐流媒体服务。它还拥有搜索引擎和推荐歌曲的应用。用户上传音乐后可以立即播放或将其添加到播放列表中。
अ阿是梵文50个字母之首अ的音译，也是12个母音之首，因此在古代印度有一切语言根本之意。在佛教密宗里，阿有多重宗教意义，是观法的对象，是万法的根源。在《大日经》中，阿即为空，以阿字
浅川智惠子浅川智惠子（日语：浅川智恵子，1958年－）是一位日本盲人计算机科学家，主要研究无障碍环境。她在IBM研究院东京研究实验室无障碍研究中心担任高级研究员，获评“IBM杰出工程师”。她开发
聂奎聚聂奎聚（1926年－1992年），山东青州人，中国人民解放军将领、中国人民解放军中将。毕业于海军军事学院。1985年，接替谢正浩，担任东海舰队司令员。1992年，由曲振侔接任。1988年，授中国人民
新加坡口香糖禁令新加坡自1992年起实施口香糖禁令，但从2004年起允许食用疗法用途和治疗牙科疾病的口香糖及尼古丁口香糖。符合这些标准的口香糖可以向医生或注册药剂师购买。新加坡前总理李光
葛如麟葛如麟（1581年－？年），字子仁，号朝池，山东济南府德平县人，明朝政治人物。万历三十八年（1610年）庚戌科第三甲第四十八名进士。刑部观政，授山西平阳府蒲州临晋县知县，癸丑调繁太原府榆次县，乙