关于最短路、负环、差分约束系统的一点笔记