Set packing

✍ dations ◷ 2025-12-09 03:37:12 #计算机逻辑,形式方法,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 。

相关

静电惯性静电约束(英语：Inertial Electrostatic Confinement，缩写为IEC），一种核聚变技术，以电场来加热等离子，以诱发核聚变。电场对带电粒子（离子或电子）做功，可以将它加热，直到发生核聚变
推论在数学上，推论（也称为系、系理）指能够“简单明了地”从前述命题推出的论断，推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出，则称B为A的推论。推论、定理、命题等
古菌分类表本表以LPSN网站的分类为基础（当前版本2007年3月29日），本分类代表原核生物分类的权威杂志IJSEM的分类系统，同时参考NCBI Taxonomy，但目前其它中文维基分类表可能依照其它标准，请注
多频道网络多频道网络（英语：Multi-channel network，简称MCN）是一个与视频平台（如YouTube）合作的组织，可提供受众群体拓展、内容编排、创作者协作、数字版权管理、获利和/或销售等服务，以换取该
国际园艺生产者协会国际园艺／花卉节或博览会（英语：Garden / Flora festival / exposition），是由位于荷兰海牙的国际园艺家协会（International Association of Horticultural Producers，AIPH / IAHP）认
埃卡特佩克莫雷洛斯坐标：19°36′N 99°03′W / 19.600°N 99.050°W / 19.600; -99.050埃卡提佩，墨西哥墨西哥州城市，为埃卡提佩自治区的行政中心，由墨西哥州负责管辖，始建于1877年，面积186.9平方公
康复咨询康复咨询（英文：Rehabilitation counseling；又译为复健咨商、重建咨商、重建辅导），为康复工作的一个专科，集中于掌握职业社会康复的个案管理知识及实务，服务对象为那些身心残障或残
线性杂凑线性散列（英语：Linear Hashing）是一种散列方法，它有几项特点：
坎托拉坎托拉（Khantora），是印度西孟加拉邦Haora县的一个城镇。总人口5773（2001年）。该地2001年总人口5773人，其中男性2893人，女性2880人；0—6岁人口523人，其中男258人，女265人；识字率77.01%，其
雷吉娜·金雷吉娜·蕾妮·金（英语：Regina Rene King，1971年1月15日－），美国演员、电视剧导演。1985年出演全国广播公司电视剧《227（英语：227 (TV series)）》首次获大众关注后，她成为了电视剧和电