Set packing

✍ dations ◷ 2025-12-06 03:50:46 #计算机逻辑,形式方法,NP完全问题

Set packing 问题是复杂性理论和组合数学中一个经典的NP完全问题,是卡普的二十一个NP-完全问题之一。

给定一个有限集合 和一些 的子集,求问是否可以其中的 个子集,他们两两不相交。

形式化的定义:给定全集 U {\displaystyle {\mathcal {U}}} 指一个集合 C {\displaystyle {\mathcal {C}}} 的大小。

对于 set packing 的决定性问题,输入是 ( U , S ) {\displaystyle ({\mathcal {U}},{\mathcal {S}})} 对和一个整数 k {\displaystyle k} ,求是否存在一个大小至少为 k {\displaystyle k} 的 packing 。对于 set packing 的最优性问题,输入是 ( U , S ) {\displaystyle ({\mathcal {U}},{\mathcal {S}})} 对,求最大的 packing 。

相关

  • 白介素-1结构 / ECOD介白素-1包括11种细胞因子,在机体控制免疫和炎症反应中具有重要作用。这些细胞因子的发现始于1943年至1948年间,Menkin和Beeson对兔子腹腔细胞释放的致热原蛋白质
  • 日本军队大日本帝国陆军(日语:大日本帝国陸軍/だいにっぽんていこくりくぐん Dai Nippon Teiko kuri kugun */?)是日本军的陆上武装部队,1871年(明治4年)成立、1945年(昭和20年)解散。略称
  • 邱文达邱文达(1950年7月21日-),曾任中华民国卫生福利部部长,中山医学院(今中山医学大学)医学系毕业,在1985年进入台北医学大学医学系任教,2008年7月,同时接下台北医学大学第8任校长及双和医
  • 迈杜古里迈杜古里是尼日利亚东北部博尔诺州的首府,是该国北部最大的城市之一,经济活动以服务业和制造业为主。该城市沿季节性河流恩加达河而建。 根据2007年预计,迈杜古里2009年人口1,1
  • 日日春关怀互助协会日日春关怀互助协会(英语:Collective of Sex Workers and Supporters, COSWAS)是一关注性工作者权益的性积极女性主义团体,成员包括学生、性工作者及许多其他人。成立于1999年。
  • 海军战争学院海军战争学院 (英语:Naval War College,简称NWC)是美国海军一所职员学院和“思想之家”,位于罗德岛州的新港。海军战争学院负责教育、培养领导者,支援定位海军在未来的角色和任务,
  • 天柱天柱县是中华人民共和国贵州省黔东南苗族侗族自治州东部下辖的一个县。天柱县位于贵州省东部,天柱县与湖南省新晃县、靖州县、会同县、芷江县及贵州省剑河县、锦屏县、三穗县
  • dpkgdpkg是Debian软件包管理器的基础,它被伊恩·默多克创建于1993年。dpkg与RPM十分相似,同样被用于安装、卸载和供给和.deb软件包相关的信息。dpkg本身是一个底层的工具。上层的
  • 桂宫盛仁亲王桂宫 盛仁亲王(かつらのみや たけひとしんのう、文化7年六月廿七(1810年)- 文化8年五月十七(1811年7月7日)),为日本江户时代后期的皇族,桂宫家第10代当主。光格天皇第4皇子,生母是东
  • 龚之遂龚之遂,北直隶顺天府大兴县(今北京市东城区),明末清初政治人物。崇祯末科进士。明朝崇祯十六年(1643年),登癸未科进士。明亡后归顺清朝,顺治年间,授户部山东司主事、监督北新钞关。