差分约束 Floyd 算法 枚举 1995 BalticOI（波罗的海） 普及/提高−（*1200~*1600）