Set packing

✍ dations ◷ 2025-12-02 04:53:00 #计算机逻辑,形式方法,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 。

相关

婴儿食品婴儿食品指专门制造给0岁到3岁间儿童食用的食品，较软同时有特殊营养符合婴儿需求。世界卫生组织提出一项全球性的公共卫生建议，建议婴儿前六个月应该完全母乳喂养，以达到最佳的
Hsub2/subSnOsub3/sub锡酸（英语：stannic acid）是一种含锡无机酸，其化学式为H2SnO3。锡酸拥有类似于碳酸的结构，不易溶于水，可溶于有机物如丙酮，溶解后可解离成锡酸根离子（SnO32-），也同样拥有类似碳酸根的共
考南德安德烈·弗雷德里克·考南德（法语：André Frédéric Cournand，1895年9月24日－1988年2月19日），法国医生和生理学家。他与沃纳·福斯曼和迪金森·伍德拉夫·理查兹因发明心脏导管术
正佳广场正佳广场（英文：Grandview Mall）位于中国广州市天河区，天河路与体育东路交汇处。毗邻天环广场（前身为已拆卸的宏城广场）和天河城广场。该物业原是1992年由泰国正大集团开始开发，作为
中置后驱中置引擎，后轮驱动布局（英语：mid-engine, rear-wheel-drive layout，缩写为MR），简称中置后驱，意指引擎重心落在车身四个车轮之间，由后轮驱动整辆汽车的方式。由于前后车轮承载的重量
米亚日峰坐标：45°48′57″N 6°48′00″E / 45.81583°N 6.8°E / 45.81583; 6.8米亚日峰（法语：Dômes de Miage），是法国的山峰，位于该国东部，由罗纳-阿尔卑斯大区负责管辖，属于勃朗峰的一
庄窠乡庄窠乡，是中华人民共和国河北省保定市曲阳县下辖的一个乡镇级行政单位。庄窠乡下辖以下地区：贾庄村、东泉头村、西泉头村、庄窠村、葛条沟村、洪山村、北苏家峪村、南苏家峪村
冯濬冯濬（？年－？年），字心泉，号征湘，广州驻防正白旗汉军，清朝政治人物。同治九年庚午科翻译举人，同治十年（1871年）辛未科翻译进士，授兵部主事，改南海县知县。著有《延正学斋诗集》一卷辑入《柳堂
花水木 (电影)《花水木：依然想着你》（日语：ハナミズキ）是一部2010年上映的日本电影，电影以日本歌手一青窈名曲《花水木》的歌词中所传达的“无偿的爱”为主题。电影的拍摄地点横跨北海道钏路市
黑色博物馆《暗黑博物馆》（英语："Black Museum"）是英国单元剧《黑镜》第四季第六集，由编剧查理·布鲁克改编自佩恩·吉列特（英语：Penn Jillette）短篇小说《疼痛上瘾》，柯尔姆·麦卡锡执导。本