摘要：Floyd-Warshall 的证明 定义： Floyd-Warshall 算法（英语：Floyd-Warshall algorithm），中文亦称弗洛伊德算法或佛洛依德算法，是解决任意两点间的最短路径的一种算法，可以正确处理有向图或负权（但不可存在负权回路）的最短路径问题，同时也被用于计算有向图的 阅读全文

摘要：定义：欧拉函数 $\varphi(x)$ 是小于等于 $x$ 的数中与 $x$ 互质的数的数目。 常用性质： 若 $x$ 为质数，那么 $\varphi(x) = x - 1$。 如果 $x = 2n$ ($n$ 为奇数)，$\varphi(x) = \varphi(n)$，即 $\varphi(2 阅读全文

摘要：F. Frances Yao 女士的原论文 大部分参考的博客 背景 四边形不等式（quadrangle inequality）应用于 DP 优化，是一个古老的知识点。它起源于 Knuth（高纳德）1971年的一篇论文，用来解决最优二叉搜索树问题。1980年，储枫（F. Frances Yao，姚期智 阅读全文