对于问题的一个实例，解向量满足显式约束条件的所有多元组，构成了该实例的一个解空间。

DAG动态规划算法中正推的开始点是无入边的顶点。 点击查看答案

Floyd算法适用于多源最短路径，使用权矩阵代替邻接矩阵。 点击查看答案