摘要：还是考虑分治，对于 \([0,r]\) 我们还是先考虑 \([0,mid]\) 对 \([mid+1,r]\) 的贡献，再考虑 \([mid+1,r]\) 对 \([mid+1,r]\) 的贡献，你发现就是你刚才求出来的东西再乘上前面一半的多项式，证明可以考虑你的系数转移式，可以发现跟 \(f\) 阅读全文

摘要：存一下一些无聊的证明吧。 Floyd 以前不是很会证，现在想到如何证明其正确性了。 假设 \((u,v)\) 最短路上编号最大的点为 \(k\)，我们考虑归纳证明在中转点枚举到 \(k\) 时，\((u,k),(k,v)\) 的最短路都已经算出来，然后你发现这个东西非常的显然，因为 \(k\) 是编 阅读全文