Set packing

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

相关

去颤去颤（defibrillation），也称除颤，是指对于危及生命的心律不整（cardiac dysrhythmias）、心室颤动（ventricular fibrillation）、无脉性心室频脉（Pulseless VT（英语：Pulseless VT））一种常见的
汉斯·马格努斯·恩岑斯贝格尔汉斯·马格努斯·恩岑斯贝格尔（德语：Hans Magnus Enzensberger，1929年11月11日－），德国诗人及作家，曾获取多个文学奖项，包括伯尔奖、雷马克奖、海涅奖和索宁奖。恩岑斯贝格尔出生于考
高频主动式极光研究计划阴谋论高频主动式极光研究项目（英语：High Frequency Active Auroral Research Program，常缩写为HAARP），是一个由美国空军、美国海军、国防高等研究计划署及阿拉斯加大学所共同合作的电
弗拉基米尔·布科夫斯基弗拉基米尔·康斯坦丁诺维奇·布科夫斯基（俄语：Владимир Константинович Буковский，1942年12月30日－2019年10月27日），俄裔英国人权活动家、作家。
闽中郡闽中郡，战国秦王政二十五年（前222年）置。治所在东冶（今福建省建瓯市），亦有观点认为今福建省武夷山市的城村汉城遗址是郡治所在。辖境约当今福建省和浙江省宁海县及灵江、瓯江、飞
沃希拜沙漠沃希拜沙漠（Al Wahibah Dunes）是中东地区的一个沙漠，位于阿曼中部，东南面为阿拉伯海，沿海岸延绵160公里。坐标：22°00′N 58°50′E / 22°N 58.83°E / 22; 58.83
自由印度邮票阿拉汉邮票（Azad Hind Stamps）是1943年2月德国针对钱德拉·鲍斯领导的自由印度临时政府（Azad Hind）所发行的灰姑娘邮票（Cinderella stamps）以6个版本的不同设计方式。透过印度邮票
蒋丽金蒋丽金（1919年4月15日－2008年6月9日），中国有机化学家。生于北京，籍贯浙江杭州。1944年毕业于辅仁大学化学系，获学士学位，1946年获该校硕士学位。1951年获美国明尼苏达大学博士学位
边维垣边维垣（？－？），字师甫，四川成都府彭县人，军籍，明朝政治人物。四川乡试第四十九名举人。嘉靖三十五年（1556年）中式丙辰科二甲第三十六名进士。历官福州府知府，升湖广按察使、江西左布政使。
窦祥窦祥（？－？），字文瑞，河南河南府巩县人，军籍，明朝政治人物。河南乡试第六十二名举人。成化十七年（1481年）中式辛丑科三甲第一百六十一名进士。曾祖窦成；祖父窦忠；父窦斌，母贺氏。