第三题A*， 第四题差分约束或者强连通分量