NP困难

描述P, NP, NP完全,以及NP困难之间关系的欧拉图

NP困难NP-hardness, non-deterministic polynomial-time hardness)问题是计算复杂性理论中最重要的复杂性类之一。如果所有NP问题都可以多项式时间归约到某个问题,则称该问题为NP困难。

因为NP困难问题未必可以在多项式时间内验证一个解的正确性(即不一定是NP问题),因此即使NP完全问题有多项式时间的解(P=NP),NP困难问题依然可能没有多项式时间的解。因此NP困难问题“至少与NP完全问题一样难”。

参见

參考文獻

  • Michael R. Garey; David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman. 1979. ISBN 0-7167-1045-5. 
  • Hollinger G, Singh S. Multi-robot coordination with periodic connectivity[C]//Robotics and Automation (ICRA), 2010 IEEE International Conference on. IEEE, 2010: 4457-4462.
  • Singh A, Krause A, Guestrin C, et al. Efficient informative sensing using multiple robots[J]. Journal of Artificial Intelligence Research, 2009, 34: 707-755.
易解复杂度类
对数空间相关
  • DLOGTIME
  • AC0英语AC0
  • ACC0英语ACC0
  • TC0英语TC0
  • L · FL · SL · NL
  • NC
  • SC
  • PolyL
多项式空间相关
  • P(P-完全
  • FP英语FP (complexity)
  • ZPP
  • RP
  • BPP
  • BQP(QMA英语QMA
  • PostBQP英语PostBQP
  • EQP英语EQP
P、NP、反NP与PSPACE之间的关系
怀疑难解复杂度类
  • UP
  • NP(NP完全
  • NP困难
  • 反NP
  • 反NP完全英语co-NP-complete
  • FNP英语FNP (complexity)TFNP英语TFNP (complexity)
  • PH
  • PP
  • #P#P-完全英语Sharp-P-complete
  • PSPACEPSPACE完全英语PSPACE-complete
难解复杂度类
复杂度类的谱系
相关复杂度族