Set packing

✍ dations ◷ 2025-12-05 07:21:56 #计算机逻辑,形式方法,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 。

相关

哈伯体积哈勃体积或哈勃球（英语：Hubble volume 或 Hubble sphere）是宇宙学中包围观测者的球区域，在哈勃球之外, 观测者不能观察到被退行速度超过光速之外的区域包围的范围。哈勃球的同移
帕拉纳克市帕拉纳克市（菲律宾语：Lungsod ng Parañaque），是马尼拉大都会内的城市，建城于1572年，初以捕渔、制盐、耕田、制鞋等为业；今有居民552,660人（2007年人口调查）。坐标：14°28′N 121°1′
千种植物项目千种植物项目（1KP project）是由加拿大科学家在2008年11月发起，由深圳华大基因研究院负责对1000多种植物包括藻类、陆地及水生植物进行测序。目前已有多个科研团体参与这个项目
传递闭包传递闭包、即在数学中，在集合上的二元关系的传递闭包是包含的上的最小的传递关系。例如，如果是(生或死)人的集合而是关系“为父子”，则的传递闭包是关系“ 是
刘应明刘应明（1940年10月8日－2016年7月15日），福建福州人，中国数学家。主要从事拓扑学与不确定性（主要是模糊性）数学处理等方面的教学与科学研究。1995年当选为中国科学院院士，同年加入九三
tvOStvOS 是苹果公司在2015年9月9日公布，专门给Apple TV设计的操作系统。同年10月29日，预载tvOS的第四代Apple TV接受预订。它有个别的商店，与App Store (iOS/iPadOS)有别。
诺曼·德洛乔伊奥诺曼·德洛乔伊奥（英语：Norman Dello Joio，1913年1月24日－2008年7月24日），意大利裔美国作曲家。生于纽约一个意大利移民家庭，原名Nicodemo DeGioio，其父是管风琴家、钢琴家，并与许多
雅各布·霍恩伯格雅各布·乔治·霍恩伯格（英语：Jacob George Hornberger；1950年1月1日－），是美国一位律师、作家和政治人物，自由未来基金会创办人，以及2000年（英语：2020 Libertarian Party presidential
芳龄十三《芳龄十三》（英文：）是于2003年在美国上映的剧情片，由嘉芙连·赫域姬执导，霍利·亨特及艾凡·瑞秋·伍德等主演。电影剧本由妮基·瑞德及导演合写，改编自妮基·瑞德本身的高中生涯
凯斯《凯斯》（Kes，又译作《小孩与鹰》），1969年英国电影。肯·洛奇导演，托尼·加内特（英语：Tony Garnett）监制，这也是第二部由肯·洛奇执导的公开发行电影。电影改编自巴里·海恩斯（英语：Bar