Set packing

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

相关

腿人类腿部，或称人腿，一般指的是人体的整个下肢部分，包括足部、大腿甚至髋关节等。然而，人体解剖一般谈及“人腿”时，指的只是从膝盖到脚踝的这一段下肢，也称“小腿”。腿部在站立以
总体总体，又称为母体或整体，是指统计学中是指由许多有某种共同性质的事物组成的集合，会在此集合中选出样本进行统计推断，选取样本的方式可能会用乱数或是其他抽样方式。例如要针对所
杰克·凯沃基安杰克·凯沃基安（英语：Jacob "Jack" Kevorkian 发音： /kᵻˈvɔːrkiən/，本名杰各布·凯沃基安，1928年5月26日－2011年6月3日），人称“死亡医生”，是美国病理学家、安乐死推广运动家、
波兰舞曲波兰舞曲（英语：polonaise；波兰语：polonez，chodzony；意大利语：polacca），又被译为波罗乃兹或波洛内兹，是一种3/4拍子，重音通常落在每小节第2拍上，中等或偏慢速度的舞曲，源于波兰。在肖邦之
丁忠武丁忠武，（1954年－）生于台湾，籍贯浙江省新昌县，中华民国空军退役中将，历任国防部空军司令部政战主任、参谋长及国防部参谋本部情报参谋次长等职。是台湾第一位拥有国立台湾大学学历的
美国时区美国时区是覆盖美国及其属地九个时区的总称，配以由联邦及地区立法制订的夏令时法规使用。美国时区由《美国法典》第15章（Title 15 of the United States Code）第260节规定，时区
马蒂亚斯·雷蒙·梅亚马蒂亚斯·雷蒙·梅亚（西班牙语：Matías Ramón Mella，1816年－1864年）是多米尼加共和国的一位政治家。梅亚于1816年2月25日生于圣多明哥。他是杜阿瓦特的童年玩伴，青年时以擅用刀
宝箴塞镇宝箴塞镇，中国四川省广安市武胜县下辖的一个乡，位于武胜县西部。与本县万善镇、万隆镇、金牛镇、胜利镇，以及合川区的二郎镇、燕窝镇等地为邻。全乡面积28.7平方公里，人口22823
格奥尔格·克里斯托夫·利希滕贝格格奥尔格·克里斯托夫·利希滕贝格（德语：Georg Christoph Lichtenberg，1742年7月1日－1799年2月24日）是一位德国的亲英派科学家、讽刺诗作者（英语：satirist）、格言家。他是德国首个专
宋锦 (人物)宋锦（1706年－1772年），字在中，号东郊，河南武陟县人，清朝政治人物。生于康熙四十五年四月二十二日子时，雍正乙酉拔贡，壬子癸丑联捷进士，乾隆三年戊午任四川嘉定府犍为县知县，辛酉科四川乡