Set packing

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

相关

查尔斯·赫伯特·贝斯特查尔斯·赫伯特·贝斯特（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