Set packing

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

相关

氧化银电池氧化银电池，又称银锌电池或锌-氧化银电池，是以银的氧化物作正极、锌作负极、碱性溶液作电解质的一种电池。既可做成一次电池，也可做成蓄电池，但两者的其他辅助成分与制造方式有
长颈漏斗长颈漏斗是漏斗的一种(又称蓟头漏斗)，主要用于固体和液体在锥形瓶中反应时添加液体药品。一般还可以用分液漏斗替代。与分液漏斗相比，长颈漏斗的可控性不佳。而且在使用时，注意
蓬蘽蓬蘽（学名：Rubus hirsutus）为蔷薇科悬钩子属的植物。分布在日本、朝鲜、台湾岛以及中国大陆的江西、福建、浙江、安徽、广东、河南、江苏等地，生长于海拔1,500米的地区，见于山坡
340110　数学 120　信息科学与系统科学 130　力学 140　物理学 150　化学 160　天文学 170　地球科学 180　生物学210　农学 220　林学 230　畜牧、兽医科学 240　水产学310　
188–189/223医学导航: 肿瘤基因/标志肿瘤/同名/附瘤药物 (L1i/1e/V03)Template:Endocrine gland neoplasia Template:Lymphoid malignancy Template:Myeloid malignancy
广九铁路石龙南桥坐标：23°06′13″N 113°50′32″E / 23.10361°N 113.84222°E / 23.10361; 113.84222广九铁路石龙南桥位于中国广东省东莞市石龙镇，跨越东江南支，是广东现存最早的铁路桥，201
治麟治麟（1844年－1887年），颜札氏，满洲正黄旗人, 字安甫，号舜臣、秋坪，清朝政治人物、进士出身。荫生。光绪二年（1876年），乡试中举。光绪三年（1877年），登进士。光绪三年五月，改翰林院庶吉士。
秃发替引秃发替引，南凉宗室，河西鲜卑秃发推斤的孙子，是南凉国王秃发乌孤、秃发利鹿孤、秃发傉檀的堂弟。399年，南凉武威王秃发乌孤把都城迁到乐都，派他弟弟西平公秃发利鹿孤镇守安夷，广武
文化苦旅《文化苦旅》是一本散文集，作者余秋雨叙述在中国各个名胜古迹旅游时的记录，话题探究中国文化，以及纾发自我的情感。本书部分文章曾于中国大陆的《收获》杂志全年专栏式连载，并陆
周慕莲周慕莲（1900年－1961年），字瑶卿，男，四川成都人，中国川剧表演艺术家，曾任重庆市川剧院院长。