自测：算法

解释主定理、五类动规、贪心正确性证明、NP 与三条出路。