判断题回溯法为了避免生成那些不可能产生最佳解的问题状态，不断地利用限界函数来处死那些实际上不可能产生所需解的活结点，以减少问题的计算量。
判断题对于问题的一个实例，解向量满足显式约束条件的所有多元组，构成了该实例的一个解空间。
判断题DAG动态规划算法中正推的开始点是无入边的顶点。
判断题Floyd算法适用于多源最短路径，使用权矩阵代替邻接矩阵。
判断题SPFA算法通过维护一个队列，使得一个节点的当前最短路径被更新之后没有必要立刻去更新其他的节点，大大减少了重复操作的次数。
