Set packing

✍ dations ◷ 2025-12-01 16:08:44 #计算机逻辑,形式方法,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 。

相关

尿液尿，又称尿液，是人类和脊椎动物为了新陈代谢的需要，经由泌尿系统及尿路排出体外的液体排泄物。排出的尿液可调节机体内水和电解质的平衡以及清除代谢废物且可同时散热，尤其是退化
三硬脂酸甘油酯硬脂精是甘油的三硬脂酸酯类，为动物脂肪的组成成分之一。也叫硬脂酸甘油酯或三硬脂酸甘油酯。无色无味无臭结晶或粉末。不溶于水、乙醚和里格罗因（ligroin），溶于乙醇、氯仿、二
泰申公爵阿尔布雷希特大公阿尔布雷希特·弗里德里希·鲁道夫，帝国亲王和奥地利大公，匈牙利和波西米亚皇家亲王，泰申公爵（Albrecht Friedrich Rudolf, Prince Imperial and Archduke of Austria, Prince R
社会党社会党（法语：Parti Socialiste，缩写为PS），通称法语社会党，比利时法语区政党。该党在比利时德语区也有活动。该党在2010年大选后成为众议院第二大政党，在历经541天无政府僵局后，法语
103<< 100101102103104105106107108109>> 103是102与104之间的自然数。
爱丁堡动物园爱丁堡动物园（英语：Edinburgh Zoo）是英国苏格兰首府爱丁堡的一座非营利动物园，正式名称是苏格兰国家动物园。动物园位于科斯托菲娜山（英语：Corstorphine Hill）南坡。爱丁堡动物园创
特能特山特能特山（英文：Mount Tennent）是澳大利亚首都领地南部的一座山峰，海拔4,511英尺，海拔高度1375米，位于纬度-35.549808及经度149.04436邻近的主要飞机场是堪培拉机场。名称取自于一
珍·怀尔德珍·怀尔德（英语：Jane Wilde），即怀尔德爵士夫人（英语：Lady Wilde）（1821年12月27日－1898年2月3日），爱尔兰诗人、作家、翻译家，又是爱尔兰独立运动的支持者。她也是诗人和剧作家王尔德的母
多莉·艾莫丝多莉·艾莫丝（Tori Amos，1963年8月22日－），出生于北卡罗莱纳州，本名麦拉·艾莲·艾莫丝（Myra Ellen Amos），是位八度提名格莱美奖的美国歌手、钢琴家和词曲创作人。多莉·艾莫丝的歌曲
重合几何在数学里，重合几何（incidence geometry）是研究重合结构的一门学科。欧氏平面之类的几何是一个复杂的数学对象，包含长度、角度、连续性、中间性与重合关系。当其他的概念都被去掉