Set packing

✍ dations ◷ 2025-11-24 04:05: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 。

相关

亚斯蒙德国家公园亚斯蒙德国家公园是德国的国家公园，由梅克伦堡-前波美拉尼亚负责管辖，始建于1990年9月12日，面积30平方公里，该国家公园在2011年6月25日被联合国教科文组织列为世界遗产。
陈启沅陈启沅（1834年－1903年），字启沅，讳如琅、号芷馨、息心老人、息心居士，也被称为岭南畸人，别号鬼眼陈，全因排行第七，又叫鬼眼七，广东南海人，中国第一家机器缫丝厂的创办人。陈于清朝同治十
伊藤宗一郎伊藤宗一郎（1924年3月21日－2001年9月4日），日本政治人物。曾担任十三届的众议员、以及科学技术厅长官、防卫厅长官、众议院议长等职务。第二次大平内阁（模板）改造内阁（1980年7月17
爱德华·格里格爱德华·哈盖鲁普·格里格（挪威语：Edvard Hagerup Grieg，1843年6月15日－1907年9月4日），挪威作曲家，浪漫主义音乐时期的重要作曲家之一。爱德华·格里格出生于卑尔根，祖先是苏格兰人，
2005世界物理年2005年被国际纯粹与应用物理学联合会定为世界物理年，以纪念爱因斯坦在一百年前发表五篇里程碑性的论文，并表彰爱因斯坦对近代物理产生的深远的影响。在1905年爱因斯坦一共发
洪元硕洪元硕（1948年3月31日－2015年8月1日），生于北京，祖籍安徽，中国足球教练。2009年9月，他接替了韩国教练李章洙，出任北京国安主教练。在此之前，洪元硕极少在媒体前抛头露面，因此包括媒体、
富瓦烯富瓦烯（fulvalene）的分子式为C10H8，为萘的同分异构体之一。富瓦烯有两个环戊二烯结构。富瓦烯是富瓦烯类（fulvalenes）的一种。富瓦烯不具有芳香性。
春日香音春日香音（日文：かすがかのん、2003年11月1日－）生于日本东京都，女性童星，隶属于日本电视台旗下的Nichi Park Productions。
杨衒之杨衒之（？－？），又作羊衒之、阳衒之，北平（今河北省满城）人，北朝散文家。是《洛阳伽蓝记》的主要编撰者。杨衒之生于北平，北魏孝庄帝永安年间（528年—530年）为奉朝请。历期城太守、抚军府司马
阿里斯塔格拉斯阿里斯塔格拉斯（希腊语：Ἀρισταγόρας），（？－前497年）。波希战争早期人物。当其岳父希斯提亚埃乌斯（米利都僭主）远在大流士一世波斯宫廷时，由他掌握米利都。在试图进攻纳克索斯