Set packing

✍ dations ◷ 2025-12-06 13:24:11 #计算机逻辑,形式方法,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 。

相关

Stanford University Press斯坦福大学出版社（Stanford University Press, SUP）是斯坦福大学的出版社。1892年在斯坦福大学成立了一个独立的出版公司，1895年首次把“斯坦福大学出版社”的名称印在书上。 1
芸香科芸香科（学名：Rutaceae）是真双子叶植物无患子目的一科，约有160属1700余种，广泛分布于全球热带和温带地区，中国原生有29属，约150种，以南方为多。台湾有17属51种。芸香科包括柑橘属、枳
斯特拉福德县斯特拉福德县（英语：Strafford County）是美国新罕布什尔州东部的一个县，东邻缅因州，面积994平方公里。根据2010年人口普查，本县共有人口123,143。本县县治为多佛。斯特拉福德县于17
约翰·奇佛约翰·齐弗（英语：John Cheever，1912年5月27日－1982年6月18日），美国小说家、短篇故事作家。他被认为是20世纪最重要的短篇小说作家之一。虽然约翰·齐弗以短篇小说闻名，他还创作四本
马尔科·席尔瓦马尔科·亚历山大·萨赖瓦·达·席尔瓦，（葡萄牙语：Marco Alexandre Saraiva da Silva，1977年7月12日－），是一名前葡萄牙足球运动员，司职右后卫，目前是一名足球教练。他的职业生涯主要
哈格斯·葛布里维特哈格斯·葛布里维特（Hagos Gebrhiwet Berhe，1994年5月11日－）是一名埃塞俄比亚长跑运动员，他以12分47.53秒的成绩成为世界青年田径锦标赛5000米记录保持者。赢得2013年世界田径锦
菲尔·哈特曼菲利普·爱德华·“菲尔”·哈特曼（英语：Philip Edward "Phil" Hartman，出生时姓Hartmann，1948年9月24日－1998年5月28日）是加拿大裔美国男演员、喜剧演员、编剧兼图形艺术家。哈特
亨利·德拉图尔·多韦涅亨利·德拉图尔·多韦涅（法语：Henri de La Tour d'Auvergne，1555年9月28日－1623年3月25日）是色当贵族、法国元帅，兼有布永公爵、蒂雷纳子爵两个爵位，他是法国历史名将蒂雷纳之父。
白崇友白崇友（1914年－1993年），男，四川阆中人，中华人民共和国军事人物，中国人民解放军少将，曾任中国人民解放军总医院政治委员。
俄狄浦斯王《俄狄浦斯王》为古希腊悲剧作家索福克勒斯于公元前427年根据希腊神话中俄狄浦斯的故事所创作的一出希腊悲剧，为希腊悲剧中的代表之作。《俄狄浦斯在科罗诺斯》为《俄狄浦斯