由于NP难解问题的结构难以被解析的了解,人们常常在算法中引入随机化技术,许多求解NP难解问题的算法都可以看作是随机算法.一般的......

合取范式CNF（Conjunctive Normal Form）的可满足性SAT（Satisfiability）问题是人工智能、计算理论和理论计算机科学中的最瞩目问题之一.......

　　本文围绕着以TSP问题为代表的一类NP难解问题，综述了求解该类问题的启发式算法研究：详细介绍了这些问题的定义、应用背景、现有......