Set packing

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

相关

品牌产品 · 定价 · 分销服务 · 零售 · 宣传品牌管理 · 大客户营销营销道德 · 营销效果营销调查 · 市场调查市场划分 · 营销战略市场优势 · 操
自动注射器自助注射器（英语：Autoinjector）是一种用于快速注射某类特定剂量药物（通常是急救药物）的医疗器械。大多数的自助注射器都带有弹簧伸缩针头，这种设计可以使注射器更加便于使用，尤其是
富冈港富冈渔港是一座小型规模的渔港，位于台湾台东县台东市的富冈里，东临太平洋。富冈渔港是台东县内第二大之渔港，仅次于成功渔港。渔港位于台东县海岸线中点，位在卑南溪出海口北方，距
流动镶嵌模型生物膜的流动镶嵌模型(英语:Fluid mosaic model)由S. J. 辛格（英语：Seymour Jonathan Singer）和G. L. 尼克森（英语：Garth L. Nicolson）提出，主要指生物膜由蛋白质和磷脂组成，磷脂双
海地华人海地华人，是指移民到海地的华人或祖先是华人的海地人。人口大约230人。华人最早是在1890年代来到海地，主要在海地政府和公司工作。另一批华人是在1970年代从台湾来到，并在首都
哈萨克裔俄罗斯人哈萨克裔俄罗斯人是俄罗斯籍的哈萨克族人，是俄罗斯的少数民族。他们多数生活在俄哈边界。2002年人口131000人，分布于阿斯特拉罕、伏尔加格勒、萨马拉、奥伦堡、车里雅宾斯克、
富山县第1区富山县第1区是日本众议院的选区，始于1994年。北海道 13 | 山形县 4 | 静冈县 9 | 岛根县 3 | 大分县 4福井县 3 | 山梨县 3 | 德岛县 3 | 高知县 3 | 佐贺县 3青森县 4 | 岩
主生产计划主生产计划（Master Production Schedule，简称MPS），又称作主生产排程，为根据销售订单或预测得到的对产品（独立需求物料）的需求清单，即在某一个时间点对产品的需求量。主生产计划的订
1913年世界大赛1913年的世界大赛是由代表美联的费城运动家与代表国联的纽约巨人对垒。运动家队以4胜1败打败巨人。巨人成为继1906到1908年的小熊后，第二支连三年夺得国联冠军的球队，但也成为
白边锯鳞鱼白边锯鳞鱼（学名：），又名小牙锯鳞鱼、厚壳仔、金鳞甲、铁甲、铁甲兵、澜公妾、铁线婆、大目仔及赤松球，是辐鳍鱼纲金眼鲷目的其中一种。分布于东达中美洲可可岛、西达非洲东岸、北