Set packing

✍ dations ◷ 2025-11-29 00:38:55 #计算机逻辑,形式方法,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 。

相关

烟斗烟斗是流行于美国、欧洲的一种吸烟道具，塞进切好的烟草加上香料后点燃吸烟。最早烟斗主要流行于世界各地原住民，过去美洲原住民已有抽烟斗的习惯。烟斗这种吸烟工具推估是在有
老年人老年（英语：old age），一般指生物的生命周期一个阶段，即中年到死亡的一段时间不同的文化圈对于老年人有着不同的定义。由于生命的周期是一个渐变的过程，壮年到老年的分界线往往是很
靛色系小孩靛蓝小孩是指被视为拥有某种特殊意志力或超自然能力的儿童、少年、青少年。靛色系小孩这个概念最早在李·卡罗与珍·托柏夫妇所写的The Indigo Children: The New Kids Have
菌盖菌盖，又称为蕈盖，是真菌子实体上部的伞状部分。它是伞菌（英语：Agaric）、牛肝菌以及部分多孔菌、齿菌（英语：tooth fungi）和子囊果所独有的特征。其他孢子果类型的菌盖与子实体的其余
约翰内斯堡约翰内斯堡（南非语：Johannesburg .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium
伦敦交通局伦敦交通局或称伦敦运输局（英语：Transport for London），缩写：TfL，是负责管理英国首都大伦敦区主要运输系统的地方政府机关，其主要角色是将运输政策或者计划付诸执行，并且管理在伦敦
茄茄子（学名：），福建人称为红菜，吴越人沿用宋代叫法称为落苏，广东人称为矮瓜、茄瓜，客家人称之为吊菜，是茄科茄属一年生草本植物，热带为多年生。其结出的果实可食用，颜色多为紫色或紫黑色
菝葜藤科菝葜藤属菝葜藤科（拉丁种名也可以被拼写为 Ripogonaceae），也叫无须藤科，只有1属—菝葜藤属（或），共6种，全部生长在澳大利亚和新几内亚东部以及新西兰。本科植物皆为藤本，但无卷须，花两
朱葆三朱葆三（1848年3月11日－1926年9月2日），名佩珍，字葆三，以字行，浙江定海（时属宁波府）人，清末首富，著名银行业保险业资本家和实业家，精通英语。少时在上海五金店做学徒，以勤勉好学闻名，其白天
世纪之车世纪之车（英语： Car of the Century (COTC)）是一项旨在选出20世纪最具世界影响力汽车的国际性评选活动。评选过程由全球汽车选举基金会（Global Automotive Elections Foundation