NP完全问题名单[转]

　　这是的某些通常了解的问题 NP完全 当表示为时 决策问题. 这张名单绝不全面(有超过3000个了解的NP完全问题)。 大多问题在这张名单从Garey和约翰逊的精液书被采取 计算机和难驾驭： 对NP完整性的理论的一个指南和按同一个顺序和组织这里被提出。

　　这张名单是 残缺不全; 您可帮助 扩展它.

内容

• 1 计算几何学
• 2 图论
  • 2.1 盖和分成
  • 2.2 子图和supergraphs
  • 2.3 端点命令
  • 2.4 Iso-和其他morphisms
  • 2.5 混杂
• 3 网络设计
  • 3.1 生成树
  • 3.2 裁减和连通性
  • 3.3 发送问题
  • 3.4 流程问题
  • 3.5 混杂
• 4 集合和分开
  • 4.1 盖，击中和分裂
  • 4.2 被衡量的集合问题
  • 4.3 设置分开
• 5 存贮和检索
  • 5.1 数据存储
  • 5.2 压缩和表示法
  • 5.3 数据库问题
• 6 程序化和预定
  • 6.1 程序化在一个处理器
  • 6.2 多重处理机预定
  • 6.3 商店预定
  • 6.4 混杂
• 7 数学规划
• 8 代数和数论
  • 8.1 可分性问题
  • 8.2 等式的可解性
  • 8.3 混杂
• 9 比赛和难题
• 10 逻辑
  • 10.1 命题逻辑
  • 10.2 混杂
• 11 自动机和语言理论
  • 11.1 自动机理论
  • 11.2 规范语言
• 12 程序优化
  • 12.1 编码世代
  • 12.2 节目和计划
• 13 混杂
• 14 参见
• 15 参考

 

计算几何学

• 极小的重量三角测量为一套点在飞机 ^[1]
• 测试是否a 树 可以代表 欧几里德的极小的生成树
• 单位盘图表 公认(单位盘图表是单位半径圈子交叉点图表在飞机)^[2]
• 许多 行动计划在多角形障碍之中在飞机是NP坚硬的。
  • 平面分成入连接的组作： 给出集合A非重复(但可能接触)多角形在飞机，决定是否有A可以从A \ S被分离由一个无碰撞刚体运动S和这样的真子集S S和A \ S连接。 ^[3]

 

图论

 

盖和分成

• 端点盖子
• 控制的集合
• Domatic数字
• 图表k-colorability
• 消色数字
• Grundy数字
• 单色三角
• 反馈端点集合
• 反馈弧集合
• 部份反馈边缘集合
• 极小最大匹配
• 分开到三角里
• 分开到同构子图里
• 分开到汉密尔顿的子图里
• 分开到森林里
• 分开到派系里
• 分开到完善的matchings里
• 两阶段最高重量随机匹配
• 覆盖物由派系
• 停泊处分派问题(小面包)
• 覆盖物由完全两份子图

 

子图和supergraphs

• 派系
• 独立集合
• 导致的子图与物产Pi
• 导致的连接的子图与物产Pi
• 导致的道路
• 平衡的完全两份子图
• 两份子图
• 程度跳起的连接的子图
• 平面子图
• 边缘子图
• 传递子图
• Uniconnected子图
• 极小值k连接的子图
• 立方体子图
• 极小值等值合体字母
• 汉密尔顿的完成
• 间隔时间图表完成
• 道路图表完成

 

端点命令

• 汉密尔顿的电路
• 被指挥的汉密尔顿的电路
• 汉密尔顿的道路
• 带宽
• 被指挥的带宽
• 优选的线性安排
• 被指挥的优选的线性安排
• 极小值被削减的线性安排
• 根源的树安排
• 被指挥的排除命令
• 排除程度序列

 

Iso-和其他morphisms

• 子图同构
• 最大的共同的子图
• 最大子图匹配
• 图表收缩性
• 图表同态
• 合体字母D-morphism

 

混杂

• 道路以禁止的对
• 多项选择匹配
• 图表Grundy编号
• 仁
• K关闭
• 交叉点图表依据
• 道路distinguishers
• 公尺维度
• Nesetril-Rödl维度
• 门限数字
• 针对的直径
• 被衡量的直径

 

网络设计

 

生成树

• 程度拘束的生成树
• 最大叶子生成树
• 最短的总路径长度生成树
• 一定直径生成树
• 使能的生成树
• 几何学使能的生成树
• 最宜的通信生成树
• 同构生成树
• Kth最佳的生成树
• 一定组分跨过的森林
• 多项选择分支
• Steiner树
• 几何学Steiner树
• 缆绳沟槽问题
• 极小的感人的树或极小值长度走廊

 

裁减和连通性

• 图表分成
• 非周期性的分开
• 最高重量裁减
• 极小值裁减成一定集合
• Biconnectivity增广
• 强的连通性增广
• 网络可靠性
• 网络生存能力
• Multiway裁减
• 极小值k切开了

 

发送问题

• 瓶颈旅游推销商
• 中国邮差为混杂的图表
• 欧几里德的旅游推销商
• K多数重要弧
• Kth shortest path
• 公尺旅游推销商
• 最长的电路
• 最长的道路
• 收集旅游推销商的奖
• 农村邮差
• Shortest path在一般网络
• 最短的重量拘束的道路
• 堆货机起重机
• 时间拘束的旅游推销商可行性
• 旅游推销商问题
• 车发送问题

 

流程问题

• 极小的边缘费用流程
• 缺一不可的流程以乘算器
• 道路拘束的网络流
• 缺一不可的流程与同源弧
• 缺一不可的流程与捆绑
• 不受指引的流程与最低界面
• 被指挥的two-commodity缺一不可的流程
• 不受指引的two-commodity缺一不可的流程
• 弄乱连接的道路
• 长度跳起的最大值弄乱道路
• 最大定长弄乱道路
• Unsplittable多元商品的流程

 

混杂

• 二次分配问题
• 使减到最小的名目作业在计划评审技术网络
• 拘束的三角测量
• 交叉点图表为段在栅格
• 埋置在栅格的边缘
• 几何学连接的控制的集合
• 极小的广播时间
• 分钟最大多中心
• 分钟总和多中心
• Uncapacitated设施地点
• 公尺k中心

 

集合和分开

 

盖，击中和分裂

• 三维匹配
• 苛求盖子
• 设置包装
• 集合分裂
• 集合盖子
• 极小的测试集合
• 设置依据
• 击中集合
• 交叉点样式
• 比较遏制
• 3矩阵胚交叉点

 

被衡量的集合问题

• 分开
• 子集总和
• 子集产品
• 3分开
• 数字三维匹配
• 数字匹配与目标总和
• 期望的组分总和
• 极小的平方和
• Kth最大的子集
• Kth最大的m元组

 

设置分开

• 中间分开

 

存贮和检索

 

数据存储

• 容器包装
• 动态存储分配
• 被修剪的trie空间低估
• 期望的检索花费
• 根源的树存贮任务
• 多个副本文件分派
• 容量任务

 

压缩和表示法

• 最短的共同的supersequence
• 最短的共同性superstring
• 最长的共同的subsequence问题 为事例任意(即，没有 演绎 输入序列的固定的)数字甚而在二进制字母表情况下
• 一定岗位书信问题
• 击中串
• 稀疏矩阵压缩
• 连贯那些submatrix
• 连贯那些矩阵分开
• 连贯那些矩阵增广
• 连贯块低估
• 连贯集合
• 2次元连贯集合
• 串对串更正
• 编组通过交换
• 外在宏观数据压缩
• 内部宏观数据压缩
• 正则表达式代替
• 直线图像压缩
• 优选的矢量量化码本
• 最小的基于语法的压缩
• 能适应的阻拦大小压缩

 

数据库问题

• 极小的基数钥匙
• 另外的钥匙
• 头等属性名字
• Boyce-Codd正规形式侵害
• 连接词的询问foldability
• 布尔连接词的询问
• 场面相等
• Serializability 数据库历史
• 数据库执行系统安全
• 数据库频率桌一贯性
• 文件保护系统安全

 

程序化和预定

 

程序化在一个处理器

• 程序化以发行时间和最后期限
• 使缓慢的任务减到最小的程序化
• 使缓慢的重量减到最小的程序化
• 使被衡量的完成时间减到最小的程序化
• 使被衡量的迟慢减到最小的程序化
• 程序化以最后期限和设定时间
• 使最大累计成本减到最小的程序化

 

多重处理机预定

• 多重处理机预定
• 优先次序拘束的预定
• 资源拘束的预定
• 安排以各自的最后期限
• 先发制人预定
• 使被衡量的完成时间减到最小的安排

 

商店预定

• Open-shop预定
• 流动购物预定
• 没有等待流动购物预定
• 二加工者流动购物与一定缓冲
• 加工车间预定

 

混杂

• 时间表设计
• 职员预定
• 生产规划
• 死锁排除

 

数学规划

整数规划

• 0-1整数规划
• 二次规划 (NP坚硬在某些情况下， P，当凹面)
• 费用参数线性规划
• 可行的依据引伸
• 对线性方程的极小的重量解答
• 打开半球
• K相关性
• 旅游推销商polytope非毗邻物
• 背包
• 整数背包
• 连续的多项选择的背包
• 部份地被命令的背包
• 广义分配问题
• 比较传染媒介不平等
• 稀稀落落的略计

 

代数和数论

 

可分性问题

• 二次方一致
• 同时incongruences
• 线性多项式的同时可分性
• 比较可分性
• 指数表示可分性
• 产品多项式的非可分性
• 重要最大公因子

 

等式的可解性

• 二次方diophantine等式
• 代数等式结束GF [2]
• 根模数1
• 数字支持产品多项式
• 周期性解答递归关系

 

混杂

• 永久评估
• 余弦产品综合化
• 平衡点
• 统一与可交换的操作员
• 统一为有限地被提出的代数
• 整数表示会员资格
• 最小的加法链子

 

比赛和难题

交替击中集合

• 交替的最大值被衡量的匹配
• 歼灭
• 战舰
• Clickomania (SameGame)
• 发怒总和
• 纵横填字谜 难题建筑
• FreeCell
• 立即疯狂
• 容光焕发
• LITS
• 策划者
• Masyu
• 扫雷艇一贯性问题
• Nurikabe
• 油漆由数字(Nonogram)
• Rabin比赛
• 过滤
• 滑行链接
• 正方形盖瓦
• Sudoku
• Tetris
• 易变的分开真相任务
• 口头算术

 

逻辑

 

命题逻辑

• Satisfiability
• 3-Satisfiability
• 没有所有相等的3SAT
• 一在三3SAT
• 最大值3-Satisfiability
• 广义satisfiability
• 非同义反复
• 极小的分离正规形式
• 真相功能完全连通性
• 平面3SAT
• 单调3SAT

 

混杂

• 模态逻辑 S5-Satisfiability
• 无否定逻辑
• 连接词的satisfiability以作用和不平等
• 极小的公理集合
• 第一命令包含
• 二次instantiation

 

自动机和语言理论

 

自动机理论

• 双向 有限状态自动机 非空虚
• 类似实时自动机采纳
• 残缺不全地指定的自动机的减少
• 极小值被推断的有限状态自动机

 

规范语言

• 正则表达式 inequivalence
• 极小值被推断的正则表达式
• 雷诺兹覆盖物为 上下文无关文法
• 覆盖物为线性语法
• 结构inequivalence为线性语法
• 规则语法 inequivalence
• Non-LR (K)上下文无关文法
• Etol语法非空虚
• Context-free程序语言会员资格
• 类似真正时间语言会员资格
• Etol语言会员资格
• 树变换装置语言会员资格

 

程序优化

 

编码世代

• 记数器充分
• 可行的寄存器赋值
• 记数器充分为圈
• 编码世代在一登记机器
• 用无限的记数器编码世代
• 对平行的任务编码世代
• 编码世代以地址表达式
• 编码世代以被不固定的易变的地点
• 合奏计算
• 微指令位优化

 

节目和计划

• 节目Inequivalence以列阵
• 节目Inequivalence以任务
• 有限记忆节目Inequivalence
• 圈节目Inequivalence没有嵌套的
• 单值函数Inequivalence
• Ianov计划强的inequivalence
• 强的inequivalence为一元递归
• 非遏制为自由B计划
• 非自由为无环路的节目计划
• 节目以正式递归规程

 

混杂

• 循环命令
• 自由选择陪替氏网非实时
• Reachability为1保守的陪替氏网
• 有限作用世代
• 变更世代
• 解码线性代码
• Shapley-Shubik投票权
• 成群
• 随机化测试为相对
• 最大可能性等第
• 矩阵控制权
• 矩阵盖子
• 简单地偏离的逻辑加法
• 判定树
• 极小的重量和图表解答
• 故障检测在逻辑电路
• 故障检测在被指挥的图表
• 故障检测与测试点

 

参见

• Karp的21个NP完全问题
• PSPACE完全问题名单

 

参考

1. ^ 极小的重量三角测量是NP坚硬，第22 SCG (2006)
2. ^ H. Breu和大卫G。 Kirkpatrick。 “单位盘图表公认是NP坚硬的”。 Comput。 Geom。 理论Appl。， 9 (1-2) ：3--24日1998年
3. ^ “汇编到二连接的份里是NP完全的”， Inf。 Proc。 信件55日(1995)， 159-165。

• M.R. Garey和D.S。 约翰逊。 计算机和难驾驭： 对NP完整性的理论的一个指南. 纽约： W. H. Freeman。 1983. 国际标准书号0-7167-1045-5.
• Erich弗里德曼。 “珍珠难题是NP完全的”。 在准备。 2002. [1].
• 保罗E。 Dunne。 选择的NP完全问题一张附注的名单. 利物浦大学 部门电脑科学， COMP202。
• Pierluigi Crescenzi， Viggo Kann， Magnús Halldórsson， Marek Karpinski和Gerhard Woeginger。 NP优化问题纲要 . KTH NADA。 斯德哥尔摩。