Set packing

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

相关

名古屋大学名古屋大学（日语：名古屋大学／なごやだいがく Nagoya daigaku；英语译名：Nagoya University），简称名大，是一所本部位于日本爱知县名古屋市的国立研究型综合大学。名大创基于1871年，前
贾思勰贾思勰（？－？），齐郡益都县（今山东省寿光市西南），北魏农学家，官至高阳郡太守（今山东省淄博市临淄区一带）。他精通农业科学，在复兴由于战乱而荒废的华北农业时，将旱地农业技术体系化，于北魏末年
孙德胜孙德胜（越南语：Tôn Đức Thắng，1888年8月20日－1980年3月30日），他是越南共产党、越南民主共和国和越南社会主义共和国的主要缔造者和领导人之一。继胡志明后任越南国家主席。孙
大沽河大沽河是位于中国山东省东部的河流，是胶东半岛最大的河流，20世纪80年代开辟为青岛市主要的城市供水水源地。发源于招远市阜山，流经莱西市、平度市、青岛市即墨区、胶州市、城阳
Ride With Me“Ride With Me”是Hey!Say!JUMP的第11张单曲。于2013年12月25日由J Storm发售。与前作“Come On A My House”相隔约6个月后发售。是2013年发售的第二张单曲。分为初回限定
城炮合一城炮合一，是一种源自欧洲的古代以及近代战术，中国于明朝末年由袁崇焕引进。明朝天启至崇祯年间，由于要抗击后金骑兵的强硬攻势，时任兵部尚书的袁崇焕从澳门引进一种英国制大口径
坪山高级中学深圳市坪山高级中学，创办于2006年，广东省国家级示范性普通高中。2009年6月后归属坪山区管理，为坪山区目前唯一一所全寄宿制公办高中。学校现有64个教学班，3500多名学生，近500名教
何琳 (声学家)何琳（1957年11月－），四川西充人，出生于陕西西安，中国人民解放军海军工程大学教授，主要从事潜艇降噪技术研究。中国人民解放军专业技术少将军衔。何琳于1977年至1981年就读于西安矿业
纽约任天堂纽约任天堂（英语：Nintendo New York），曾称作任天堂世界（Nintendo World）和精灵宝可梦中心（The Pokémon Center），是电子游戏公司任天堂的旗舰专营店。商店坐落于纽约市洛克斐勒中心的
段丽兰段丽兰（1962年－），云南人，中国女子网球运动员。她曾获得1986年亚洲运动会网球比赛女子团体金牌和1982年亚洲运动会网球比赛女子团体银牌。