Set packing

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

相关

Wiki之道——网上快捷合作《Wiki之道——网上快捷合作》（The Wiki Way, Quick collaboration on the Web），由Bo Leuf（英语：Bo Leuf）和沃德·坎宁安撰写，讨论Wiki协作编辑系统的专书。维基百科即是使用Wiki技
卡歇尔蓝芝士卡歇尔蓝奶酪产自爱尔兰。卡歇尔蓝奶酪的外壳是米黄色，随着成熟间延长变得桃色，奶酪肉亦会因此由硬变软。大多数的卡歇尔蓝奶酪都是以金色箔纸包装。
美国内阁阁员国外出生者列表截至2013年，美国内阁历史上曾有20名阁员出生于美国之外。美国开国元勋之一，参与签署美国宪法的亚历山大·汉密尔顿是第一位出生于国外的阁员。他于1755年出生于尼维斯，于1789年
SketchpadSketchpad（画板），一个具备革命性的计算机程序，由伊凡·苏泽兰在1963年写作，作为他在麻省理工大学的博士论文的一部分。因为这个成就，伊凡·苏泽兰在1988年获得图灵奖，2012年获得京
官方Xbox杂志《官方Xbox杂志》（）是电子游戏月刊杂志，在初代Xbox发售的2001年11月创刊。E3 2001上发行了预览刊，并在2001年11月发行了另一期预览刊。杂志捆绑光盘，收录内容有游戏演示、预览视
杨争光杨争光（1957年－），陕西人，中国当代作家。他毕业于山东大学，后来到深圳工作，担任该市作协及文联的副主席。他最初写诗，但后来以小说出名，代表作有《老旦是一棵树》、《从两个蛋开始》、
阿卜杜拉·卡哈尔阿卜杜拉·卡哈尔（俄语：Абдулла Каххар，Abdulla Kakhkhar; 乌兹别克语：Abdulla Qahhor，Абдулла Қаҳҳор；1907年9月17日-1968年5月24日），或译为阿卜杜拉·
阿诺尔特大花草阿诺德大花草（学名：），又称霸王花、大王花，属金虎尾目大花草科大花草属的一种，产于印度尼西亚苏门达腊岛南端与婆罗洲。阿诺德大花草为世界上最大的花，花的直径长达一米，重11千克。其
曹红梅曹红梅（1981年－），云南梁河人，阿昌族，中华人民共和国政治人物、第十二届全国人民代表大会云南地区代表。毕业于云南农业大学农学专业。2013年，担任全国人大代表。
南瓜酒《The♥南瓜酒》（日语：The♥かぼちゃワイン（ザかぼちゃワイン）），是日本漫画家三浦满的爱情喜剧漫画作品，及同名电视动画、电影动画、真人版非戏院首映电影。连载于《周刊少年Magaz