Set packing

✍ dations ◷ 2025-07-11 15:46:44 #计算机逻辑,形式方法,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 。

相关

  • 国际科学词汇ISV(英语:International scientific vocabulary)指国际科技词汇或国际通用科技词汇,指的是欧洲语言为了科技术语的统—及科技术语的单义性,以吸收外来词为方法,以术语国际化为目标
  • 分类药物列表Nervous SystemAntiepilepticsHydantoin derivativesCarboxamide derivativesFatty acid derivativesBarbiturates and derivativesAnalgesicsOpioidsNatural opium alkaloi
  • 被忽视热带病被忽略的热带疾病 (Neglected Tropical Diseases,简称NTD) 是一类在发展中地区(如漠南非洲、东南亚及拉丁美洲)的低收入人群中,常见的由许多种不同疾病组成的热带感染疾病。这些
  • 720110 数学 120 信息科学与系统科学 130 力学 140 物理学 150 化学 160 天文学 170 地球科学 180 生物学210 农学 220 林学 230 畜牧、兽医科学 240 水产学310 
  • 动眼期快速动眼期(rapid eye movement,REM)是动物睡眠的一个阶段,又称快速动眼睡眠。在此阶段时眼球会快速移动,同时身体肌肉放松。快速眼动睡眠也被称作异相睡眠(paradoxical sleep, PS
  • 彗星美人《彗星美人》(英文原名:All About Eve,又名《四面夏娃》)是一部发行于1950年的剧情电影,编剧和导演约瑟夫·曼凯维奇,影片根据玛丽·奥尔的短篇小说《伊芙的智慧》(英文:The Wisdom
  • 球蟒球蟒(学名:Python regius)是蛇亚目蟒科蟒属下一种分布于非洲的无毒蟒蛇。成球蟒的表鳞平滑,有两片肛鳞,雄蛇的肛鳞较大。球蟒的体色以黑色为基调,背部有许多圆形斑纹。腹部呈白色
  • 抗盐皮质激素抗盐皮质激素(anti-mineralocorticoid、或称"醛固酮拮抗剂"(aldosterone antagonist)、醛固酮受体拮抗剂、醛甾酮拮抗剂)是指一种利尿剂能拮抗在盐皮质激素受体(Mineralocor
  • 凯姆纳诚 布莱德·诚·凯姆纳(Brad Makoto Kemna,1995年6月5日-),登录名为凯姆纳诚,是一名出身于美国夏威夷州的棒球选手,司职投手,目前效力于日本职棒广岛东洋鲤鱼。71 高信二 | 75 广瀬纯
  • 戴恩·德哈恩丹恩·威廉·德翰(英语:Dane William DeHaan,/ˈdɪhɒn/ ,1986年2月6日-)是一位美国男演员。他较著名的是在HBO电视剧《就诊》(2010年)中饰演杰西,并参演了于电影《超能失控》(2012年