Set packing

✍ dations ◷ 2025-11-25 04:54:09 #计算机逻辑,形式方法,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 。

相关

澳大利亚国防军澳大利亚国防军（英文：Australian Defence Force，缩写ADF）是负责澳大利亚国防的军事组织，包括澳大利亚陆军，澳大利亚皇家海军和澳大利亚皇家空军，总共有80,561名官兵在役（包括55,068
洞穴洞穴（洞、洞窟）是指地底的通道或空间，可进入其中，形成方式可能是水的侵蚀作用，或是风与微生物等其他外力的风化作用，许多自然界的洞穴是形成于石灰岩地带，为溶洞（钟乳洞），另有一种相似
杰克·鲁比杰克·鲁比（英语：Jack Ruby），原名雅各布·莱昂·鲁宾斯坦（英语：Jacob Leon Rubenstein 1911年3月25日－1967年1月3日）1947年改名为杰克·莱昂·鲁比（英语：Jack Leon Ruby），是杀死李·哈
尚书古文疏证《尚书古文疏证》八卷，清代阎若璩撰。阎若璩二十岁读《尚书》，发现古文尚书有可疑之处，遂穷三十八年的研究考证，写成《尚书古文疏证》八卷。《尚书古文疏证》一书“事必求其根柢
田仰田仰（1590年－1651年），号百源，贵州思南人，明朝政治人物，同进士出身。万历四十一年（1613年）癸丑科进士，三甲一百六十四名，由山东汶上县知县历太仆寺少卿、四川巡抚、兵部尚书。弘光元年（16
唐昌镇唐昌镇，是中华人民共和国四川省成都市郫都区下辖的一个乡镇级行政单位，是原崇宁县县城。2019年12月，撤销唐元镇，将其所属行政区域划归唐昌镇管辖，唐昌镇人民政府驻梧桐路118号。
天谴 (短篇小说)《天谴》（英语：）是英国作家G·K·却斯特顿所著的短篇推理小说，收录于1911年的短篇小说集（英语：Short story collection）《布朗神父的天真》。故事以放荡的波恩上校和英国国教副牧师
李相符李相符（1907年－1963年），安徽桐城人，中国林学家、林业教育家、政治人物，曾任中央人民政府林垦部副部长、中央人民政府林业部副部长、中华人民共和国林业部副部长，北京林学院院长、党
产经职业业余淘汰赛产经职业业余淘汰赛（産経プロアマトーナメント戦）是2005年创设的日本围棋赛事，由产经新闻社和关西棋院主办。参赛者由关西棋院职业棋士和业余棋手各16名组成，共32人，优胜者可获奖
承先承先 (1843年－?)，字述之，绥远驻防满洲正黄旗人，清朝政治人物、同进士出身。同治癸酉科，山西乡试中举，光绪九年（1883年），参加癸未科殿试，登进士三甲146名。同年五月，著交吏部掣签分发各