Set packing

✍ dations ◷ 2025-11-26 13:20:39 #计算机逻辑,形式方法,NP完全问题

Set packing 问题是复杂性理论和组合数学中一个经典的NP完全问题,是卡普的二十一个NP-完全问题之一。

给定一个有限集合 和一些 的子集,求问是否可以其中的 个子集,他们两两不相交。

形式化的定义:给定全集 U {\displaystyle {\mathcal {U}}} 指一个集合 C {\displaystyle {\mathcal {C}}} 的大小。

对于 set packing 的决定性问题,输入是 ( U , S ) {\displaystyle ({\mathcal {U}},{\mathcal {S}})} 对和一个整数 k {\displaystyle k} ,求是否存在一个大小至少为 k {\displaystyle k} 的 packing 。对于 set packing 的最优性问题,输入是 ( U , S ) {\displaystyle ({\mathcal {U}},{\mathcal {S}})} 对,求最大的 packing 。

相关

  • 急症急诊室(英语:Accident & Emergency、Emergency department、Emergency room等,缩写为A&E或ER),是医院的其中一个部门,但不是每间医院都有提供急诊服务。相对于有预约的门诊部,使用
  • 重农抑商重农主义(英语:Physiocracy,其希腊字源为Physio(自然)-cracy(治理),也称作重农学派)的经济理论认为,国家财富的根本来源为土地生产及土地发展,偏重以农业劳动为主的自然秩序的概念。该
  • 江华岛事件江华岛事件(日语:江華島事件 韩语:운요호 사건韩语:雲揚號事件)是一起发生于1875年9月朝鲜王朝江华岛的武装冲突事件,日本海军以云扬号(英语:Japanese gunboat Un'yō)为首的三艘舰艇
  • 新东阳新东阳股份有限公司(英语:HSIN TUNG YANG Co., LTD.,简称:新东阳,英文:HSIN TUNG YANG ),是一家以制造肉松、肉干、烧腊食品起家的企业。 创办人麦幸夫先生是桃园大园乡人,民国五十六
  • 铁路局机务段员工连栋宿舍铁路局机务段员工连栋宿舍,为建于日治时期的“铁道共济组合住宅”,属于“上埤头朱厝仑铁道部官舍”的一部分,位于台北市中山区。战后作为台湾铁路管理局基层的员工宿舍,住户多为
  • 联席会议美国国会联席会议是指美国国会(美国参议院和美国众议院)在特殊场合共同举办的联合会议,常见的场合有国情咨文和美国总统选举结果确认会议。
  • 巴尔塔萨·诺伊曼约翰·巴尔塔萨·诺伊曼(德语:Johann Balthasar Neumann,1687年1月30日-1753年8月19日),通常称为巴尔塔萨·诺伊曼(Balthasar Neumann),为德国建筑师,是巴洛克建筑的重要代表人物。推
  • 长矛笋螺长矛笋螺(学名:),是新腹足目笋螺科笋螺属的一种。主要分布于中国大陆、台湾,常栖息在低潮线以下。
  • 黄思彦黄思彦(英文名:Johnathan Wong),作曲人、编曲人及音乐监制。黄思彦 - 作曲人、编曲人及音乐监制,从事唱片幕后音乐工作,包括配乐、编曲及监制等。6岁学习钢琴及小提琴,13岁学习打鼓
  • 辜朝荐辜朝荐(1598年-1668年),字端敬,号在公,广东揭阳人,明朝政治人物,同进士出身。崇祯元年(1628年)登戊辰科进士,任户科给事中,累官太常寺少卿。 南明永历十八年(1664年)随郑经至台湾。