Set packing

✍ dations ◷ 2025-04-04 11:17:05 #计算机逻辑,形式方法,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 。

相关

安德斯·努德斯特伦安德斯·诺德斯特伦（瑞典语：Anders Nordström，1960年3月9日- ），瑞典医生，于2006年5月22日至2006年11月8日间担任世界卫生组织（WHO）代理总干事。安德斯·诺德斯特伦毕业于卡罗林斯卡
中时电子报中时电子报是中国时报集团旗下的电子报，目前隶属于时报资讯。时报资讯成立于1989年，是台湾第一家取得加值网络服务执照的公司；中时电子报则在1995年创立，是台湾历史上最为悠久的
平方納米平方纳米(符号为nm²)是面积的公制单位(SI Unit)，其定义是“边长为1纳米的正方形的面积”。(1cm²=1000000nm²) (1mm²=100nm²) (1µm²=0.000001nm²)平方尧米、平方佑米（Y
春日八郎春日八郎（日语：春日八郎，1924年10月9日－1991年10月22日）是日本著名歌手，出生于日本福岛县河沼郡会津坂下町塔寺。代表作为《红灯终列车》（赤いランプの終列車 / 1952年）、《阿富》（
长门炮台坐标：26°08′22″N 119°35′39″E / 26.13944°N 119.59417°E / 26.13944; 119.59417长门炮台（英语：Changmen battery；在中法战争中被法国舰队称作Fort Blanc，意为白堡），亦有称
小堀勇气小堀勇气（こぼりゆうき，1993年11月25日－），日本男子游泳运动员。石川县出生，毕业于辰口中学校以及金泽高校。2010年，小堀代表日本参加广州亚运会游泳比赛的男子200米自由泳、4x200
水田三喜男水田三喜男（1905年4月13日－1976年12月22日）是一名日本政治家、教育家，城西大学的创办人，曾经担任自由民主党政务调查会会长和大藏大臣。女儿是知名诗人和英美文学者水田宗子。第
许芳宜许芳宜（1971年－），国际知名女性舞者，出生于台湾宜兰，现居台北市，前为玛莎．葛兰姆舞团、云门舞集的重要舞者，近几年活跃于国际间，也积极与国际级的艺术家与编舞家交流。近年，也参与电影逆
包卓轩包卓轩（1999年4月23日－），或称包蒙蒙，中国维权律师王宇和维权人包龙军的儿子。在中国710“维权律师”大抓捕事件中被中方软禁。在2015年7月9日，包龙军和包卓轩在首都机场被公安带走
B1950.0B1950.0纪元使用在天文学上。因为恒星的赤经和赤纬会因岁差的原因而改变，天文学家经常指定某一特定的纪元作为参考点。B1950.0标准已经被继任标准J2000.0纪元所取代，J2000.0是