Set packing

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

相关

火车进站《火车进站》（法语：L'Arrivée d'un train en gare de La Ciotat）是法国卢米埃尔兄弟于1895年拍摄的一部黑白无声短纪录片，于1896年1月25日在巴黎首映。这部50秒的无声电影展现
abbr class=abbr title=R22: 吞食有害R22/abbr警示性质标准词（英语：Risk Phrases，简写：R-phrases）是于《欧联指导标准67/548/EEC 附录III: 有关危险物品与其储备的特殊风险性质》里定义。该列表被集中并再出版于指导标准2001/
潘宫筹墓潘宫筹墓为士林及芝山岩附近的漳州漳浦潘氏开台始祖潘满兴之孙潘宫筹的坟墓，位于台北士林石角的石角山上，依山而建，位置呈现风水中的“烘炉穴”，上书许多文人雅士的诗文，由其后代
乙烯酮乙烯酮是最简单的烯酮，分子式为CH2=C=O，室温下为有毒的气体。乙烯酮中两个π键呈正交形式，化学性质十分活泼，可与很多含活泼氢的物质发生加成反应。乙烯酮可通过以下方法制备：其
约翰·坦伯顿约翰·马克·坦伯顿爵士（英语：Sir John Marks Templeton，1912年11月29日－2008年7月8日），生于美国田纳西州温彻斯特，英国著名股票投资者、企业家与慈善家，为共同基金的先驱人物。坦普
前李朝前李朝（越南语：Nhà Tiền Lý／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Mi
奥斯卡·克莱因奥斯卡·本杰明·克莱因（瑞典语：Oskar Benjamin Klein，1894年9月15日－1977年2月7日），瑞典物理学家。奥斯卡·克莱因出生于斯德哥尔摩省丹德吕德市，为斯德哥尔摩首席拉比戈特利布·
THE PINBALLSTHE PINBALLS（日语：ザ·ピンボールズ），2006年组成，成员都来自于日本埼玉县的4人组摇滚乐团。简称PINS。古川贵之（日语：古川貴之／フルカワタカユキ）主唱、吉他中屋智裕（日语：中屋智裕
阿衰on line《阿衰on line》第1册封面《阿衰on line》是一部由中国大陆漫画家猫小乐（本名陈乐）编绘的校园漫画，从2001年起在云南出版集团公司旗下的云南教育出版社主办的月刊漫画杂志《漫
张志明 (外交官)张志明，辽宁省海城县（今海城市）人，中华人民共和国政治人物、外交官。其妻郭平英为郭沫若与于立群之女。2001年，接替李景贤，担任中华人民共和国驻乌兹别克斯坦大使。2003年，由高玉