Set packing

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

相关

蒸汽朋克蒸汽朋克（英语：Steampunk）是一种流行于20世纪80年代至90年代初的科幻题材，显著特征为故事都设定于一个蒸气科技达到巅峰的架空世界。这类故事对距今已较遥远的工业革命时代的科
卡尔·本茨卡尔·弗里德利希·本茨（德语：Karl Friedrich Benz，1844年11月25日－1929年4月4日），德国机械工程师和企业家，他是本茨汽车的创始人，1886年他设计和制造了世界上第一辆能实际应用的内
树叶叶是高等植物的营养器官，侧边发育自植物的茎的叶原基。叶内含有叶绿体，是植物进行光合作用的主要场所。同时，植物的蒸散作用是通过叶的气孔实现的。叶只出现在真正的茎上，即只有
加州列车加州列车（英语：Caltrain），又称加州铁道、加州通勤铁路，为美国加州旧金山湾区的通勤列车，连接旧金山至硅谷。最北端车站位在旧金山，最南端车站为吉尔罗伊。加州列车共有3种列车等级，
超氧化钾超氧化钾，分子式KO2，是一级氧化剂，与水剧烈反应。超氧化钾是由K+和O2−组成的碳化钙型粉末状晶体。有吸湿性、顺磁性。超氧化钾的制备是在不锈钢置换釜内，以金属钠置换氯化钾得
比尔·斯卡斯加德比尔·伊斯凡·冈瑟·史柯斯嘉（英语：Bill Istvan Günther Skarsgård，1990年8月9日－）是一位瑞典男演员。他著名作品有Netflix原创剧集《铁杉树丛》，以及在改编自斯蒂芬·金同名小
安东尼奥·奈格里安东尼奥·奈格里（英语：Antonio Negri, 1933年8月1日－），是一位意大利马克思主义社会学家和政治哲学家，他以著作《帝国》和对斯宾诺莎的研究而出名。1933年8月1日出生于意大利帕多
能源催化剂能源催化剂（Energy Catalyzer）是意大利科学家安卓·罗西（Andrea Rossi）与Sergio Focardi发明的冷核聚变反应器。它已经获得意大利专利，但不是以设备名义申请。安卓·罗西发现用某
特斯法耶·阿贝拉特斯法耶·阿贝拉（Tesfaye Abera，1992年3月31日－）是一名埃塞俄比亚田径运动员，主攻马拉松项目。他是2013年世界越野锦标赛成年男子团体冠军。
亚历山大·什利亚普尼科夫亚历山大·加夫里洛维奇·什利亚普尼科夫（俄语：Алекса́ндр Гаври́лович Шля́пников 1885年8月30日－1937年9月2日），旧译施略普尼柯夫，是一位俄罗