考虑到每列每行的差值一定，就考虑排序后使用暴力判断去了
一看标签还带个图论
一开始想向图论方向思考，发现直接爆空间了，时间两说
结果是用并查集维护插值相同的连通块
寄了
看我 n 2 m n^2m n2m巨型复杂度直接拿下80分
考虑将枚举答案变为确定一个模式串枚举变化的位置
复杂度玄学，不会证，反正和递归层数有关
二分答案反正是想到了
但是check函数实在是不会写
关键在于考虑小dog的方向能覆盖什么
这样每次我们就有了转移的状态
重点在于状态的设计是有关于前缀的
用SPFA算法，每个点也只会在第一次被访问时被松弛，预处理出两点间距离即可
可以tarjan加topu来DP
也可以直接用spfa跑DP
还可以爆搜叫DP
做法很多样