Set packing

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

相关

  • 中央区中央区(希伯来语:מחוז המרכז‎)是以色列六个行政区之一,首府拉姆拉。面积1,276km²;人口约161万(2005年),其中犹太人占88%、阿拉伯人占8%。
  • 折衷风格折衷主义是指在途径或操作运用上,以不同的理论、方法、风格,拣选其中最佳要素,应用在新的创作中。在艺术或建筑批评的特定脉络场合,意指挪借多种视觉资源来创作新作品。折衷主义
  • 政治动物学与动物政治学《政治动物学和动物政治学》是绿色政治理论家Marcel Wissenburg(英语:Marcel Wissenburg)和David Scholsberg(英语:David Schlosberg)的著作,于2014年由麦克米伦出版社出版。这部作
  • 敬昌敬昌(19世纪?-20世纪?),字世五,满洲正白旗人,清末官员。一等子敬昌,为正白旗蒙古恒安佐领下人。咸丰五年年终承袭一等子。同治五年四月军政,赏二等侍卫。光绪元年七月,补授侍卫什长。光
  • 欧洲犹太人大会欧洲犹太人大会,(以下简称 EJC),成立于1986年,设立于巴黎,并在布鲁塞尔、斯特拉斯堡、柏林和布达佩斯设有办事处。它是被选出的欧洲犹太人社群的欧洲唯一代表。作为世界犹太人大会
  • 转移金属化转移金属化(英语:transmetalation或transmetallation)是一种配体在金属原子间发生转移的有机金属反应。该反应典型的形式为M1-R + M2-R' → M1-R' + M2-R,R和R'包括但不限于烷基
  • 切比雪夫滤波器切比雪夫滤波器(又译柴比雪夫滤波器,英语:chebyshev filter),也被称为等涟波滤波器(equal ripple filter),是在通带或阻带上频率响应幅度等波纹波动的滤波器。在通带波动的为“I型切
  • 加夫里伊尔·特罗耶波利斯基加夫里伊尔·尼古拉耶维奇·特罗耶波利斯基(俄语:Гавриил Николаевич Троепольский,1905年11月29日-1995年6月30日)苏联作家。特罗耶波利斯基于190
  • 巴德迪巴德迪(Baddi),是印度喜马偕尔邦Solan县的一个城镇。总人口22592(2001年)。该地2001年总人口22592人,其中男性16929人,女性5663人;0—6岁人口2432人,其中男1293人,女1139人;识字率75.70
  • 樊丰樊丰(?-125年),东汉中常侍。延光三年(124年),汉安帝前往东方视察的时候,樊丰等人趁著皇帝不在,比赛扩建自家住宅,太尉掾高舒召大匠令史等人调查此事,查到樊丰伪造诏书,于是杨震写了奏章,准