Set packing

✍ dations ◷ 2025-10-18 08:47:31 #计算机逻辑,形式方法,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 。

相关

受害者学受害者学主要研究受害过程，包括受害者和罪犯之间的关系、受害者和刑事司法系统（即员警、法院和惩戒官员）的互动、以及受害者和其他社会团体或机构（如媒体、企业和社会运动）之间的
跋后记，也称跋、书后、后序、后题等，是一种文体的名称，写在作品或书籍之后的序文，用以介绍写作经过，或对作品进行评价。和前言不同，后记篇幅往往较小，内容不如前言全面，所涉者多为“评
儋州.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
南华山南华山，亦称能高北峰，位于台湾花莲县秀林乡铜门村与南投县仁爱乡精英村之间，为台湾知名山峰，也是台湾百岳之一，排名第76。南华山高度3,184米，属于中央山脉。南华山附近接连奇莱南
阳焕宜阳焕宜，（1906年－2004年9月20日），中国湖南省江永县人，是“女书之乡”江永县能认识、阅读、歌唱、创作女书作品的最后一位自然传人。换言之，阳焕宜老人逝世后，现存能够认识、阅读、歌
1824年美国总统选举1824年美国总统选举在1824年10月26日到1824年12月2日期间举行。约翰·昆西·亚当斯在1825年2月9日最终当选为第六任美国总统，但亚当斯并不是当时得票最多的总统候选人，当时安
摩尔门经《摩尔门经》（英语：）耶稣基督后期圣徒教会的四部标准经文之一。接受启示翻译此书的约瑟．斯密称之为“全世界最正确的一本书”，并见证摩尔门经是“我们宗教的拱心石”，摩尔门经在18
信号理论 (经济学)在经济学中，信号是一方令人信服的向另一方提供自己的信息。比如在迈克尔·斯宾塞的就业市场信号模型中，潜在的雇员提交一个信号来证明自己的能力水平给雇主，该信号通常是提供自
林武烈林武烈（英语：Lim Boo Liat，1926年8月21日－2020年7月11日），马来西亚华裔动物学家。一生为马来西亚的生物多样性保护做出了巨大贡献。2003年被授予美国哺乳动物学学会（英语：American S
花隈勇作花隈勇作（日语：花くまゆうさく，1967年－），日本男性漫画家、插画家。东京都北区出身。千代田工科艺术専门学校（日语：学校法人千代田学園 (東京都)）、Setsu Mode Seminar（日语：セツ・モー