如今,已经有成千个在理论中碰着的算法问题被证明是NP齐全的(拜见NP齐全问题列表),特殊的有许多问题,如游览商问题等的更优算法会带来很大的经济效益(游览商问题的更优解能够给出更优的电路布线计划,而SAT的更优算法会促历程序验证等问题的朝上进步)
0
如今,已经有成千个在理论中碰着的算法问题被证明是NP齐全的(拜见NP齐全问题列表),特殊的有许多问题,如游览商问题等的更优算法会带来很大的经济效益(游览商问题的更优解能够给出更优的电路布线计划,而SAT的更优算法会促历程序验证等问题的朝上进步)