NP,问题多项式时间可验证。
P,问题多项式时间可解。
NP-hard,至少与NP中最难的问题一样难,所有NP问题可规约为该问题。
NP-complete,既是NP-hard,又是NP的问题。
APX是一个NP优化问题的集合,该集合中的问题对于某个常量限定的精度存在多项式时间的近似算法。
对于每个常量限定的精度均存在一个多项式时间算法的问题,称作有PTAS(多项式时间近似模式)。
如果NP!=P,则存在APX问题不是PATS问题。对于一个APX问题,如果存在一个约规约程可以将任意APX问题规约为该问题,则该问题称为APX-hard。如果NP!=P,则没有APX-hard是PTAS。
如果问题是APX-hard,又是APX,则称为APX-complete。
转自:https://blog.sciencenet.cn/blog-817286-650202.htmlhttps://blog.sciencenet.cn/blog-817286-650202.html