向下取整

⌊√​a​​​⌋+⌊√​b​​​⌋≥⌊√​a+b​​​⌋。应用给一个完全图，任意两点之间的路径长度是sqrt(|Wi-Wj|)向下取整，求从1到n的最短路径的长度。所以边满足三角不等式，1直接到n最短。