Set packing

✍ dations ◷ 2025-12-07 14:55:27 #计算机逻辑,形式方法,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 。

相关

乔治·A·米勒乔治·阿米蒂奇·米勒（英语：George Armitage Miller，1920年2月3日－2012年7月22日）是普林斯顿大学的心理学教授。曾经担任洛克斐勒大学、麻省理工学院心理学教授以及哈佛大学心理
陶一世塞纳赫特里·雅赫摩斯是古埃及第二中间期，第十七王朝的第七位法老。塞纳赫特里在希克索斯第十五王朝统治下埃及时，统治了上埃及底比斯区域。他至少于公元前1560或1558年驾崩。
美洲野牛美洲野牛（学名：Bison bison），又名美洲水牛或犎牛，是偶蹄目牛科哺乳动物，也是北美洲体型最大的哺乳动物和世界上最大野牛之一。尽管体型庞大，仍可维持60公里的奔跑速度。主要群体由
苏迪曼山脉苏迪曼山脉（Sudirman Range或Dugunduguoo、Nassau Range）是印度尼西亚巴布亚省的一座山脉，包括毛克山脉的西部。最高峰是查亚峰（海拔4,884m）。格拉斯伯格矿场位于山脉中部，由印尼
济西站济西站，又称济西编组站，是中国铁路系统中的路网级编组站之一，位于山东省济南市槐荫区兴福街道位里庄、京福高速以西。车站于1983年7月1日投入使用，原名济南西站，2011年6月为与京
花色小蛋糕花色小蛋糕（Petit Four的法语意思为小烤箱）是一个正方形小蛋糕，用水果或巧克力点缀装饰。作为自助餐一部分或饭后点心，Petits Four有两个不同类别：
周蕃周蕃（1432年－1491年），字世昌，四川省重庆府长寿县人，民籍，治《诗经》，年三十八岁中式成化五年（1469年）己丑科第三甲第一百零五名进士。十二月十一日生，行一，曾祖周贵、祖周绍敬，赠户部主事
帕舒帕蒂纳特庙帕舒帕蒂纳特庙（尼泊尔语：पशुपतिनाथ मन्दिर，拉丁化：Pashupatinath Mandir），位于尼泊尔加德满都东部巴格马蒂河畔，是一座印度教寺庙，也是印度次大陆四大供奉湿婆的寺
岩黄树属岩黄树属（学名：）是茜草科下的一个属，为亚灌木或多年生草本植物。该属共有约17种，分布在亚洲和大洋洲。
平坂读平坂读（日语：平坂読／ひらさかよみ）是出生于日本岐阜县的轻小说作家。在MF文库J发表轻小说出道作《幽灵恋人》，获得第0届MF文库J轻小说新人奖优秀赏荣誉。作品大多于MF文库J发