需关注是否联通，并且进行两侧bellmanford算法
牵扯出一个外源变量进行强联通检测是否会存在负环，若有则-1。
若无则进行下一次bellmanford算法，起点设置为0，跑一遍bellmanford算法即可。
总而言之，对于差分约束，我认为至关重要的点在于外源变量的引入以及初始化赋权起点终点的设置。