Set packing

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

相关

祝由十三科祝由十三科，又称祝由科、祝由术，是古代医术的流派，即“祝说病由”，不需用针灸或药来治病。祝由科，自元代即列入太医院十三科。祝由二字，最早见于医书《素问》，谓上古之人治病，不用打
马戏团马戏团（英语：Circus），一般指包括有杂技、受训过的动物、小丑、魔术及其他特技的表演，以娱乐观众为目的。桓宽《盐铁论》有“马戏斗虎”的记载。唐代马戏表演“透剑门伎”，表演者乘
刮胡子剃毛，主要指用剃刀剃去人的毛发等的行为。由于剃毛只能剃去表皮以上的毛发，因此毛发会于短期内长出来，因此剃毛的效果不太好。
诺福克轻轨诺福克轻轨（英语：Tide Light Rail，可直译为“海浪轻轨”），是在美国弗吉尼亚州诺福克地区由汉普顿锚地交通局运营的一个轻轨系统。该系统只有一条线路，11个车站，总长7.4英里（11.91千
中鹤胜祥中鹤胜祥（1962年5月22日－），日本资深男性动画师、原画师、人物设计师。出身于大分县。东映动画出身，现在是自由身。中鹤早年受《宇宙战舰大和号》《银河铁道999》《机动战士高达》
陈重权陈重权（韩国语：진중권，1963年4月27日 - ），大韩民国的美学者、哲学家、教育家、记者、大学教授。陈重权为1986年首尔大学文理科大学美学科卒业，1992年于同校获得美学硕士学位。其后
纳加尔库尔诺奥尔坐标：16°29′38″N 78°18′37″E / 16.4939417°N 78.31024889999999°E / 16.4939417; 78.31024889999999纳加尔库尔诺奥尔（Nagarkurnool），是印度安得拉邦马布那加尔县的一个
Universum Film GmbH“Universum Film GmbH”，简称UFG。德国一家品牌授权公司，是娱乐市场的影视、动画、电影、戏剧、纪录片的代理发行商。总部设立在德国巴伐利亚州慕尼黑。Universum Film于1977
龚自闳龚自闳（1819年 - 1879年），字应皋，号叔雨，又号节兰，室名盟鸥舫，浙江杭州府任和县人，道光二十三年癸卯科举人，二十四年甲辰科二甲进士出身。历任翰林院庶吉士、编修，己酉四川副考官，丙辰
完美感觉《完美感觉》（）是2011年的一部电影，由大卫·麦肯齐导演，Kim Fupz Aakeson编剧。主演是伊娃·格林和伊万·迈克格雷戈，电影场景皆摄于英国格拉斯哥。电影在2011年的圣丹普西电影节