Set packing

✍ dations ◷ 2025-12-10 15:43:54 #计算机逻辑,形式方法,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 。

相关

渐近线当任意曲线上一点 M {\displaystyle M} 沿曲线无限远离原点时，如果 M {\displaystyle
泾县泾县位于中国安徽省东南部，是宣城市辖下一个县。长江的支流青弋江穿越全境。面积2059平方公里，人口36万。县人民政府驻泾川镇。泾县以特产宣纸，宣笔而闻名。云岭是抗日战争期
系统标准名系统标准名是一种以系统的方式为具体的独一无二的群体、有机体、物件或化学物质，给定名称。系统的名字通常是名称的一部分。半系统标准名或半种名是至少有一种或部分有系
索拉雅·伊凡迪亚利-巴克提亚利索拉雅·伊凡迪亚利-巴克提亚利（波斯语：ثریا اسفندیاری بختیاری‎，英语：Soraya Esfandiary-Bakhtiari，1932年6月22日－2001年10月26日）是伊朗末代沙王穆罕默德
单演系统在经典力学里，单演系统（monogenic system）是最常使用的物理系统之一。这是因为单演系统提供了一个非常理想的系统，使得物理学家能够发展与检查崭新的构想与理论。单演系统具有优
空中监狱《空中监狱》（英语：Con Air）是一部在1997年上映的美国动作片，由赛门·卫斯特执导，并由电影《勇闯夺命岛》的制片人杰瑞·布洛克海默担任制片。尼古拉斯·凯奇、约翰·库萨克和约
林阳子林阳子（日语：林陽子，1956年－），日本女律师，雅典娜律师事务所（アテナ法律事務所）的合伙人。曾于2004年至2006年担任联合国增进和保护人权小组委员会候补委员。2008年，她成为消除对妇
介绍美食店的男人《介绍美食店的男人》（韩语：맛집남）是韩国东亚TV（韩语：동아TV）电视台的综艺节目，由Tony An（H.O.T.）、金在德（水晶男孩）等人主持。节目内容主轴为制作单位邀请艺人与明星（如：女团AweSome
边境事务部边境事务部（缅甸语：နယ်စပ်ရေးရာ ဝန်ကြီးဌာန）是缅甸政府管理边境地区与民族事务的职能部门。
百宝嵌百宝嵌是一种漆器工艺。百宝嵌的做法是将不同的材料镶嵌在漆器的表面，以作装饰，其手法类似螺钿，其嵌镶的材料包括金、银、珊瑚、珍珠、碧玉、翡翠、象牙、蜜蜡、玛瑙、玳瑁、车