Set packing

✍ dations ◷ 2025-04-02 10:28: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 。

相关

奥林匹亚坐标：37°38′18″N 21°37′51″E / 37.63833°N 21.63083°E / 37.63833; 21.63083奥林匹亚（希腊语：Ολυμπία）是希腊南部平原的一个城市，位于伯罗奔尼撒的西北。它是古代
洪龙浩洪龙浩（英语：Francis Borgia Hong Yong-ho，韩语：홍용호 프란치스코；1906年10月12日－？），是天主教平壤教区原主教。出生于朝鲜半岛平壤，1933年5月25日（基督升天日）晋升司铎。1944年3月24日
剑桥公爵威廉王子与凯特·米德尔顿婚礼嘉宾名单本条目列出大不列颠及北爱尔兰联合王国剑桥公爵威廉王子与凯瑟琳·伊丽莎白·米德尔顿（婚后头衔剑桥公爵夫人凯瑟琳）的婚礼嘉宾名单。婚礼在2011年4月29日于英国伦敦威斯敏斯
红叶红叶是指落叶植物在秋天的几周之间，叶子在落叶之前树叶颜色变化由绿转红的现象。在温带地区，如东北亚及北美洲，红叶是吸引观光客的重要旅游资源。
乔治·塞尔登乔治·塞尔登（George Selden，1929年5月14日－1989年12月5日）是美国儿童文学作家。原名乔治·塞尔登·汤普森（George Selden Thompson）。塞尔登毕业于耶鲁大学，本来想从事剧本写作，但
伊迪卡赖伊迪卡赖（Idikarai），是印度泰米尔纳德邦Coimbatore县的一个城镇。总人口6251（2001年）。该地2001年总人口6251人，其中男性3134人，女性3117人；0—6岁人口580人，其中男304人，女276人；识字
析字析字是一种修辞的方法。是根据文字的形、音、义加以分析，利用两字之间相同的部分进行推衍或替代的一种修辞技巧。依其应用的面向不同，可以概分为“化形”、“谐音”、“衍义”
华东师范大学出版社坐标：31°13′41″N 121°24′12″E / 31.22792°N 121.40339°E / 31.22792; 121.40339华东师范大学出版社是华东师范大学附设的出版社，中华人民共和国建国后最早成立的两家
桂坫桂坫，广东省广州府南海县人，清朝政治人物、同进士出身。光绪二十年（1894年），参加光绪甲午科殿试，登进士三甲27名。同年五月，改翰林院庶吉士。光绪二十一年四月，散馆，授翰林院检讨。后
浙江大学艺术与考古学院浙江大学艺术与考古学院于2019年5月20日成立，隶属于浙江大学人文学部。现有专职教师近60人，本硕博学生430余人。白谦慎担任艺术与考古学院院长、艺术与考古博物馆馆长。浙大整