这是的某些通常了解的问题 NP完全 当表示为时 决策问题. 这张名单绝不全面(有超过3000个了解的NP完全问题)。 大多问题在这张名单从Garey和约翰逊的精液书被采取 计算机和难驾驭： 对NP完整性的理论的一个指南和按同一个顺序和组织这里被提出。
内容 |
计算几何学
- 极小的重量三角测量为一套点在飞机 [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
混杂
- 道路以禁止的对
- 多项选择匹配
- 图表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中心
集合和分开
盖，击中和分裂
被衡量的集合问题
设置分开
- 中间分开
存贮和检索
数据存储
- 容器包装
- 动态存储分配
- 被修剪的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投票权
- 成群
- 随机化测试为相对
- 最大可能性等第
- 矩阵控制权
- 矩阵盖子
- 简单地偏离的逻辑加法
- 判定树
- 极小的重量和图表解答
- 故障检测在逻辑电路
- 故障检测在被指挥的图表
- 故障检测与测试点
参见
参考
- ^ 极小的重量三角测量是NP坚硬，第22 SCG (2006)
- ^ H. Breu和大卫G。 Kirkpatrick。 “单位盘图表公认是NP坚硬的”。 Comput。 Geom。 理论Appl。， 9 (1-2) ：3--24日1998年
- ^ “汇编到二连接的份里是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。 斯德哥尔摩。
扫一扫
1127
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
