NP完全问题名单

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

内容

 

计算几何学

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

 

图论

 

盖和分成

 

子图和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中心

 

集合和分开

 

盖,击中和分裂

 

被衡量的集合问题

  • 分开
  • 子集总和
  • 子集产品
  • 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
  • 数字支持产品多项式
  • 周期性解答递归关系

 

混杂

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

 

比赛和难题

交替击中集合

 

逻辑

 

命题逻辑

 

混杂

  • 模态逻辑 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投票权
  • 成群
  • 随机化测试为相对
  • 最大可能性等第
  • 矩阵控制权
  • 矩阵盖子
  • 简单地偏离的逻辑加法
  • 判定树
  • 极小的重量和图表解答
  • 故障检测在逻辑电路
  • 故障检测在被指挥的图表
  • 故障检测与测试点

 

参见

 

参考

  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。

你可能感兴趣的:(问题)