Set packing

✍ dations ◷ 2025-11-08 23:41:03 #计算机逻辑,形式方法,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 。

相关

Woolworths超级市场沃尔沃斯超市（Woolworths Supermarkets，通常被简称为Woolies ）是沃尔沃斯集团旗下的一个澳洲的超级市场品牌。创立于1924年，与科尔斯超市合计，共同占有超过80%的澳洲市场。Woolwo
法尼基转移酶法尼基转移酶（英语：Farnesyltransferase）是三种转异戊二烯酶(prenyltransferase)的其中一种。法尼基转移酶(FTase)是在蛋白质上加一个15个碳的萜烯而产生了一个CaaX的模段(moti
晋成帝咸和：326年二月－334年晋成帝司马衍（321年12月或322年1月－342年7月26日），字世根，东晋的第三代皇帝，晋明帝之长子。晋成帝年幼即位，即位不久即遇上苏峻之乱，成帝亦一度遭苏峻叛军劫持。
碧岭街道碧岭街道办事处是中国广东省深圳市坪山区下辖的一个街道，位于深圳市东北部。辖区东接马峦街道、北接坪山街道、西接龙岗区，南接盐田区。辖区面积 25.35 平方公里，常住总人口约
印度尼西亚屠杀发生于1965年至1966年的印度尼西亚大屠杀持续进行了多个月，杀戮对象主要针对印度尼西亚共产党成员、华裔和所谓的左翼分子。是一个透过军队和政府指使下进行的大规模屠杀。一
按劳分配按劳分配（英文：To each according to his contribution）或按劳取酬是社会主义社会实行之后，但未到达物质生产力极大化的共产社会（英语：Communist society）之间的社会状态。社会主义
额我略十六世教宗额我略十六世（拉丁语：Gregorius PP. XVI；1765年9月18日－1846年6月1日）原名巴尔多禄茂·亚尔伯·卡佩拉里（Bartolomeo Alberto Cappellari），1831年2月2日当选罗马主教，同年2月6日
车站纪念章车站纪念章（駅スタンプ）是车站用于纪念的印章，常见于日本和台湾的车站。昭和6年（1931年）福井车站设置纪念章，自此开启车站纪念章的历史。翌年，日治时代昭和7年（1932年）台湾也引进了车
造礁珊瑚造礁珊瑚，又名造礁石珊瑚，是现时礁石所构成的珊瑚品种，一般生长于浅海床的透光区（或透光带）。造礁珊瑚的种类有七十多属，虽然仅占所有珊瑚总数的小部分，但却有着最广大的地理分布。
Get it beauty《Get it beauty》（韩语：겟 잇 뷰티）是韩国On Style的美妆综艺节目，现由吴涟序、李娜恩主持，每集邀请不同来宾参演，并介绍时下化妆、护肤、服饰流行趋势，与观众进行现场交流的美妆