Set packing

✍ dations ◷ 2025-11-30 20:21:41 #计算机逻辑,形式方法,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 。

相关

Bk5f9 7s22, 8, 18, 32, 27, 8, 2主条目：锫的同位素锫（台湾称鉳；英语：Berkelium）是一种放射性化学元素，符号为Bk，原子序为97，属于锕系元素和超铀元素。位于美国加州伯克利的劳伦斯伯克
人文人文地理学（英语：Human geography），是一类社会科学分支，关于研究世界、人类社会、文化、经济与环境的相互作用，强调空间和地区的关系。作为一门学科，地理分为自然地理和人文地理，后
厦门医学院厦门医学院是一所公办医学本科层次普通高等学校，学校位于中华人民共和国福建省厦门市集美区灌口中路1999号。厦门医学院设有基础医学部、临床系、护理系、口腔系、药学系、医
盐水蜂炮盐水烽炮，位于台南市盐水区，由盐水武庙主办，所谓烽炮是指许多冲天炮组成的大型发炮台（状如多管火箭炮组合），点燃时万炮齐发，会发出鸣声，称“烽炮”。盐水烽炮名列世界三大民俗庆典，享
日本地方公共团体编号全国地方公共团体编号（日语：全国地方公共団体コード）是日本地方公共团体（都道府县、市町村、特别区、行政区、一部事务组合等）的5-6位数编码。又名JIS地名编号、地方自治体编号、
奥里萨共产党奥里萨共产党（英语：Odisha Communist Party）是印度奥里萨邦的一个共产主义政党。该党成立于1990年代初，分裂自印度共产党（马克思主义）。该党的领袖是Ajeya Rout。该党是印度共产主
安倍夏树安倍夏树（日语：安倍なつき、あべなつき，1981年12月13日－），是一名日本AV女优。她的名字和早安少女组的安倍夏美类似。乳房曾被质疑是假乳。她的作品《处女宫》与加藤鹰合作，耳根赤
田代皖一郎田代皖一郎（日语：たしろかんいちろう (Kanichiro Tasiro)、1881年10月1日 - 1937年7月16日）、日本陆军中将。佐贺县出身。陆士15期、陆大25期。1932年一·二八事变前临时担任
文竹文竹（学名：），别名云片竹、山草、鸡绒芝，属天门冬科天门冬属，原产于非洲南部，属多年生草本植物。性喜温暖潮湿，不耐干旱，但忌积水。可作为温室盆栽观叶植物，摆设盆花时作陪衬用，也可作室
陈有年绍兴印刷局《越中三不朽图赞》之陈有年像陈有年（1531年－1598年），明朝大臣，字登之，号克庵，浙江余姚县（今余姚市）人。与余姚孙鑨，平湖陆光祖并称为“浙中三贤太宰”，闻名天下。父亲陈克宅