Set packing

✍ dations ◷ 2025-07-11 17:21:46 #计算机逻辑,形式方法,NP完全问题

Set packing 问题是复杂性理论和组合数学中一个经典的NP完全问题,是卡普的二十一个NP-完全问题之一。

给定一个有限集合 和一些 的子集,求问是否可以其中的 个子集,他们两两不相交。

形式化的定义:给定全集 U {\displaystyle {\mathcal {U}}} 指一个集合 C {\displaystyle {\mathcal {C}}} 的大小。

对于 set packing 的决定性问题,输入是 ( U , S ) {\displaystyle ({\mathcal {U}},{\mathcal {S}})} 对和一个整数 k {\displaystyle k} ,求是否存在一个大小至少为 k {\displaystyle k} 的 packing 。对于 set packing 的最优性问题,输入是 ( U , S ) {\displaystyle ({\mathcal {U}},{\mathcal {S}})} 对,求最大的 packing 。

相关

  • 母乳喂养母乳哺育(Breastfeeding),亦称哺乳、授乳或母乳喂养,指的是女性以乳房喂食婴儿母乳的行为。婴儿有吮吸反射,因此可以吮吸乳房并吞咽母乳,专家建议在出生后一小时即可哺喂母乳,之后
  • 拉丁拉丁语(拉丁语:lingua latīna,IPA:),是印欧语系的意大利语族语言,于古罗马广泛使用,至少可追溯至罗马帝国的奥古斯都皇帝时期,当时所使用的书面语称为“古典拉丁语”。拉丁语是最早
  • 新选组!《新选组!》是NHK于2004年播出的第43作大河剧。原作与剧本是三谷幸喜,主演是香取慎吾。以近藤勇为主人翁,以及京都守护职下警备组织、即有名的新选组为题材。以幕末做为题材的
  • 纽约省美国纽约省(英语:Province of New York)是一个英格兰(后为大不列颠)在北美的直辖殖民地,包括美国现在的纽约州、新泽西州、特拉华州和佛蒙特州,以及康涅狄格州、马萨诸塞州和缅因州
  • 法国宪法法国宪法 是以宪章和宪法等名义颁布并优先于其它任何层次法律(参考:法国法律中的标准层次(法语:hiérarchie des normes en droit français))的用以组织法国历代及当代国家机关的
  • 二阶无限边形镶嵌在几何学中,二阶无限边形镶嵌(英语:order-2 apeirogonal tiling)是一种平面镶嵌,由无限边形组成,每个顶点周为皆有两个无限边形,顶点图可计为∞.2或∞2,但由于所有顶点共线,因此,整个
  • 穆瓦希德王朝穆瓦希德王朝(阿拉伯文:الدولة الموحدية‎,“穆瓦希德”意译:一神论者;1121年-1269年),或称阿尔摩哈德王朝(西班牙文:Almohades),是北非柏柏尔人建立的伊斯兰教王朝。12世
  • 奥诺拉·奥尼尔奥诺拉·希薇亚·奥尼尔,班加夫男爵夫人奥尼尔(英语:Onora Sylvia O'Neill, Baroness O'Neill of Bengarve,1941年8月23日-),英国哲学家,上议院中立议员。奥尼尔的父亲是唐·道格拉
  • 威廉·李维特威廉·杰尔德·李维特(英语:William Jaird Levitt,1907年2月11日-1994年1月28日)是美国房地产开发商。 在担任Levitt & Sons总裁期间,他被广泛誉为现代美国郊区之父。 他被时代杂
  • 纳拉加尔纳拉加尔(Nalagarh),是印度喜马偕尔邦Solan县的一个城镇。总人口9433(2001年)。该地2001年总人口9433人,其中男性5074人,女性4359人;0—6岁人口1150人,其中男620人,女530人;识字率75.96