Set packing

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

相关

毫米毫米（法语：millimètre；英式英文：millimetre，美式英文：millimeter），符号mm，是长度单位单位，台湾称为“公釐”、“公厘”或“毫米”，中国大陆称为毫米。1毫米相当于千分之一米（10-3，此即为
抽血检查血液检查（英语：Blood test），是指通过采血以获得受检者的血液，并利用其进行临床检查以获取受检者的健康状况。主要通过医检师进行检验。血液检查主要用于判断患者在一定时间内的身
车臣共和国车臣共和国（俄语：Чече́нская Респу́блика，罗马化：Chechenskaya Respublika；车臣语：Нохчийн Республика，罗马化：Noxçiyn Respublika）是俄罗斯
中央博物馆韩国国立中央博物馆位于韩国首尔龙山家族公园，是韩国国立博物馆的中心馆。馆藏旧石器时期到20世纪初的22万余件文物，2013年参观人数在世界艺术博物馆中排名第14位。国立中央博
都市农业都市农业（英语：Urban Agriculture 或 Agriculture in City Countryside）是指地处都市及其延伸地带，紧密依托并服务于都市的农业，由二十世纪美国一些经济学家首先提出来的。都市
代茶冬青代茶冬青（学名：）是原产于北美洲东南部的冬青，包括美国马里兰州南至佛罗里达州及西至奥克拉荷马州及德克萨斯州与墨西哥恰帕斯州。代茶冬青是一种常绿植物，高5-9米，树干平滑及呈浅
费城实验费城实验（英语：Philadelphia Experiment）是一项流传已久的传闻，宣称美国海军在1943年10月28日曾在宾夕法尼亚州费城一船坞举行秘密实验，使一艘护卫驱逐舰（英语：Destroyer escort）埃
小约翰·佩顿·戴维斯小约翰·佩顿·戴维斯（英语：John Paton Davies Jr. 1908年4月6日－1999年12月23日）是一位美国外交官，中国通。1908年生于中国四川成都，第二次世界大战期间在中国担任美军观察组成
朱林定律朱林定律（英语：Jurin's Law）律描述液体在毛细管中上升或下降的规律。此定律的文字表述是：在确定的温度下，液体在毛细管内升高的高度和毛细管的直径成反比。其数学表达式为：
坎塔巴姆苏古达坎塔巴姆苏古达（Kantabamsuguda），是印度安得拉邦Visakhapatnam县的一个城镇。总人口6126（2001年）。该地2001年总人口6126人，其中男性3441人，女性2685人；0—6岁人口604人，其中男305人，