Set packing

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

相关

MASP-13DEM, 3GOV, 4AQB, 4DJZ, 4IGD, 4IW4, 4KKD· calcium ion binding · protein binding · peptidase activity · protein homodimerization activity· proteolysis
和讯网和讯网（hexun.com）创立于1996年，是中国最早的财经门户网站，目前全年覆盖用户过亿，日页面浏览量超过6000万，2011年四季度以来，和讯网于国内财经类网站/频道月均访问量指数统计排名第
陈琳陈琳（1970年1月31日－2009年10月31日），重庆奉节人，中国大陆女歌手，四川省舞蹈学院曲艺专业毕业。1993年推出首张专辑《你的柔情我永远不懂》，便创下150万张销量纪录，同时亦凭同名歌曲
苇原金次郎苇原金次郎（日语：葦原金次郎／あしはらきんじろう ?，1852年－1937年2月2日）是一位日本的著名精神病患者，活跃于明治时代后期至昭和时代初期。时人称之为苇原将军、苇原天皇。部
宇佐美奈奈宇佐美奈奈（うさみなな、本名：宇佐美奈々、1992年12月31日－），于2012年出道的日本AV女优。宇佐美奈奈有一部作品名为《No Title》，即“无题”，原因是发行商不知道应为这么漂亮的
乌干达反同性恋法案乌干达反同性恋法案由该国政府立法建议，将同性性行为列入刑事处分。经国会同意实施将“严重同性性行为”的最重罪刑由监禁十四年修改为无期徒刑。2014年2月24日该法案由乌干
他者他者，是由自我意识建立的意向，用于区分他人，有类似“非我族类”意味的概念。这个概念在哲学、政治学及社会学中，有着广泛的讨论。在现象学中，他者（英语：the Other）或称建构出的他者（
金菲士琴费士（英语：Gin Fizz），是一种由琴酒和苏打水以及柠檬汁混合而成的饮料，因加入苏打水时，碳酸气体逸出发出“吱吱”声而得名，又称杜松子汽酒，是标准鸡尾酒的一种。有时也会加入鸡蛋和
海贼停止令海贼停止令是日本史上的一个法令，又称海贼镇压令，最早由丰臣秀吉在1588年向全国发出，要求全日本的水军众停止从事海贼行为跟终止征收帆别钱、警固料的权利，也对走私交易进行杜绝
吴廷琛吴嘉洤正书赞，周秉锠镌《吴廷琛石刻像》，为《沧浪亭五百名贤像》之一。吴廷琛（1773年－1844年），字震南，号棣华。江苏吴县（今江苏省苏州市）人。生于清乾隆三十八年（1773年），嘉庆七年（1801年