Set packing

✍ dations ◷ 2025-07-19 06:53:15 #计算机逻辑,形式方法,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 。

相关

  • 查尔斯·赫伯特·贝斯特查尔斯·赫伯特·贝斯特(Charles Herbert Best,1899 - 1978),加拿大生理学家。1921年在多伦多大学作为弗雷德里克·班廷的助手共提炼了胰岛素。1923年班廷获诺贝尔奖后曾将一半
  • 本芴醇苯芴醇(Lumefantrine或benflumetol)是一种抗疟药,只会和蒿甲醚合并使用,称为复方蒿甲醚-苯芴醇(英语:Artemether/lumefantrine),有时也会用英文co-artemether表示。在1981年的青蒿素
  • 奥莉加·库津科娃奥莉加·谢尔盖耶夫娜·库津科娃(俄语:Ольга Сергеевна Кузенкова,1970年10月4日-),出生于俄罗斯斯摩棱斯克,是俄罗斯女子田径运动员。她曾获得2000年悉尼
  • 锦云锦云(越南语:Cẩm Vân,1959年5月31日-),原名黄锦云(Hoàng Cẩm Vân),出生在西贡市第一郡。是一位拥有扎实唱功的越南歌手,长处是抒情,传统歌曲和音乐家郑公山的作品。锦云被认为是19
  • 艾文·艾利艾文·艾利(英语:Alvin Ailey,1931年1月5日-1989年12月1日)是非裔美国编舞家和行动主义者,他创立了纽约市的艾文·艾利美国舞蹈剧院(英语:Alvin Ailey American Dance Theater)。他因
  • 马克尔马克尔(?-前16年),(英语:Aemilius Macer),古罗马作家和诗人,来自维罗纳。他模仿古希腊诗人,著有说教诗作《鸟》和《蛇》,名扬一时。同时他还与其他诗人相互交往,现已失传。
  • 傻又称笨拙的定义是做出荒唐的行为,展示了他们“缺乏良好认知及决定能力”,或是处事轻佻、单一或肤浅(Superficial)。在电视、电影等娱乐或综艺节目,谐星会有意无意做出傻的行
  • 彭康育彭康育(1978年3月31日-),台湾前男演员、男歌手、主持人、电影监制,昵称小刀,曾为偶像团体5566的成员。后退出演艺圈,创办大国翼星娱乐、量能文创,现为量能文创首席执行官。乔杰立家
  • 黛博拉·金黛博拉·秀兰·金(英语:Deborah Shiu-lan Jin,1968年11月15日-2016年9月15日),中文名金秀兰,美籍华裔物理学家,也是科罗拉多大学物理系教授、国家标准技术研究所研究员及科罗拉多大
  • 理查·哈灵顿理查·哈灵顿(Richard Harrington,1957年11月4日-)是一位英格兰政治人物,党籍原是保守党,2019年9月因议会表决时不支持同党首相鲍里斯·约翰逊的退欧提案,因而被开除党籍。。自2010