Set packing

✍ dations ◷ 2025-06-24 14:22:59 #计算机逻辑,形式方法,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 。

相关

解析几何解析几何（英语：Analytic geometry），又称为坐标几何（英语：Coordinate geometry）或卡氏几何（英语：Cartesian geometry），早先被叫作笛卡尔几何，是一种借助于解析式进行图形研究的几何学分支
持续性抑郁症持续性抑郁症（精神官能性忧郁症，Persistent Depressive Disorder (PDD)）是一种慢性情绪失调，属于抑郁症范畴。持续时间比重度抑郁症长，但症状相对较轻。慢性抑郁症是一种轻度的抑
弹簧秤弹簧秤，是利用弹簧的变形来测量作用力大小或物体重量的仪器。作用力的大小可以从弹簧秤的指针和外壳上的标度直接读出。弹簧秤可根据其运作原理细分为拉力弹簧秤和压力弹簧秤
font color=#ffffff江苏/font江苏省高等学校列表，是中国大陆高等学校列表的江苏省部分。截至2017年5月31日，江苏共有46所公立本科高校、29所民办本科高校、2所中外合作高校、69所公立专科高校、20所民办专
婆罗洲金猫（C. badia）婆罗洲金猫（学名Catopuma badia）又叫栗猫，是仅见于婆罗洲的珍稀动物。婆罗洲金猫的毛皮通常为红褐色，也有少数灰色变种。研究分析表明它们与亚洲金猫是近亲，但两者的头骨结构有
艾雷拉龙科南十字龙科 Staurikosauridae Galton，1977艾雷拉龙科（学名：Herrerasauridae）为已知最古老的恐龙类群，其化石记录最早为2亿3323万年前的卡尼阶。艾雷拉龙科后来在诺利阶灭绝。艾雷
邓裕志邓裕志（1900年9月－1996年10月1日），湖北沙市人，中国基督教人物，中华基督教女青年会全国协会总干事，中国基督教三自爱国运动委员会副主席。1900年，邓裕志出生于中国湖北省沙市。幼年随
爱丽丝历险记《爱丽丝历险记》（英文：Alice In The Wonderland），马来西亚奇想影视有限公司爱情悬疑电视剧，由庄仲维、陈子颖、李伟燊、刘秀薇、蔡昕乐领衔主演。此剧为马来西亚首部以童话故事
比利肯 (电影)《比利肯》乃日本导演阪本顺治（日语：阪本順治）在1996年执导的电影，乃以大阪府大阪市通天阁里祭祀的比利肯为创作题材发想，继《不要口出狂言（（日语）どついたるねん）》、《王手》等二部
安雅与魔女《安雅与魔女》的宣传海报《安雅与魔女》（日语：アーヤと魔女）是由日本动画室吉卜力工作室制作、宫崎吾朗担任导演、宫崎骏负责企划，预计在2020年12月底播放的电视动画。在孤儿院