Set packing

✍ dations ◷ 2025-11-30 13:39:00 #计算机逻辑,形式方法,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 。

相关

听神经前庭耳蜗神经（Vestibulocochlear nerve）是12对脑神经当中的第8对，同时也称作听神经。它是支配内耳的脑神经，其中又可分为掌管听力的耳蜗神经、掌管平衡的前庭神经。本神经位在颞
蒙彼利埃蒙彼利埃（法语：Montpellier，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Genti
戴维·朱利叶斯戴维·朱利叶斯（英语：David J. Julius，1955年11月4日－），美国生理学家。他是加利福尼亚大学旧金山分校教授，曾获邵逸夫生命科学及医学奖。朱利叶斯是纽约布里顿海滩人，1977年在麻省理
浆膜心包心包，又名心膜，是一个圆锥形双层纤维浆膜囊，包裹心脏和出入心脏大血管根部。心包的两层分别为：心包的学名pericardium来自希腊语的περι（环绕、周围）与κάρδιον（心脏）两字
慢性创伤性脑病变慢性创伤性脑病变（英语：Chronic traumatic encephalopathy；简称：CTE）是一种神经退化性疾病，常发生于受到多次脑伤的患者。慢性创伤性脑病变常发生于，频繁参与剧烈接触型运动（例如美
硫化铵硫化铵，化学式为(NH4)2S。通常使用的是它的水溶液，固态不稳定，曝露在空气中会形成多硫化物和硫代硫酸盐。可用于摄影显色剂等。硫化铵溶液，更准确地讲是硫氢化铵溶液，可由硫化氢
海上人命安全公约《国际海上人命安全公约》（英语：International Convention for the Safety of Life at Sea，缩写：SOLAS ）或称《海上人命安全公约》，现称《关于1974年国际海上人命安全公约之1978年
安妮-玛丽 (奥尔良)安妮-玛丽·德·奥尔良（法语：Anne-Marie d’Orléans，1669年8月27日－1728年8月26日），萨丁尼亚王后（英语：List of consorts of the Savoyard monarchs），奥尔良公爵菲利普一世的次女。16
波罗的海航海节波罗的海航海节，起源于1991年波罗的海地区的主要大城市所共同签署的国际协议。其发起城市为德国罗斯托克，目的在推广波罗的海地区的海洋文化遗产，同时支持波罗的海地港口间的传
北极圈餐厅北极圈餐厅是位于美国犹他州米德维尔的一家售卖汉堡包和奶昔的连锁快餐店。截至2016年4月，该餐厅共有八十七家分店，约三分之一是由特许经营者拥有，三分之二由犹他州、爱达荷州