Set packing

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

相关

一万五千多年前人类在何时以何种方式迁入美洲的问题，引发了人类学家和考古学家巨大的兴趣，并且成为几个世纪以来一直争论不休的话题。学术界给出了许多古印地安人在美洲定居的模型。现代生物
乐高旋风忍者电影《乐高忍者大电影》（英语：The Lego Ninjago Movie）是一部2017年美国和丹麦合拍的3D动作喜剧电脑动画电影，由查理·宾（英语：Charlie Bean (animator)）、保罗·费雪和巴布·罗根共同
美国内战的转捩点对于美国内战的转捩点，各家观点极不一致。美国内战中最常被引用为决定性事件者或为葛底斯堡战役，但另有其他同具价值的选择。转捩点观念为，经此事件后，大多数的观察家会认为其后
第十九第十九航空队（英语：Ninteenth Air Force）是美国空军教育训练司令部下属的一个编号航空队，指挥部位于德克萨斯州的兰多夫空军基地。
太鼓和太鼓（わだいこ），日本传统打击乐器的总称，其中，乐大鼓和打大鼓用来日本雅乐的演奏。知名游戏《太鼓达人》系列之主角和田咚，即为在北陆的某个太鼓工房中，一个灵魂寄居的红色和太鼓
斯图尔特·萨克利夫斯图尔特·弗格森·维克多·萨克利夫（英语：Stuart Fergusson Victor Sutcliffe，1940年6月23日－1962年4月10日）是一位苏格兰裔的艺术家和音乐人，以披头士乐队的首任贝斯手身份闻名
伊斯兰开发银行伊斯兰开发银行（英语：Islamic Development Bank，阿拉伯语：البنك الإسلامي للتنمية‎）是总部位于沙特阿拉伯吉达的一家跨国银行。成立于1973年。经由费萨尔国
琉球银行琉球银行（日语：りゅうきゅうぎんこう；英语：Bank of The Ryukyus, Limited，东证1部：8399），是日本冲绳县的地方银行，总部设在冲縄県那霸市久茂地1丁目11番1号。1966年总部迁移到现址，现
九龙镇 (广州市)九龙镇是中国广东省广州市黄埔区下辖的一个镇，2006年4月12日成立，2019年4月18日撤销。辖区总面积175.56平方公里。总人口11万人，户籍人口7.2万人。2005年8月，根据广州市行政区划
安娜斯塔西亚·埃杜多芙娜·巴布洛娃安娜斯塔西亚·埃杜多芙娜·巴布洛娃（俄语：Анастасия Эдуардовна Бабурова，乌克兰语：Анастасiя Едуардівна Бабурова ，拉