Set packing

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

相关

国际科学词汇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年