P89 · n = 9 · Solver note / 求解记录

按照这里的精度，目前记录已经无法被超越（如果这个构型也同时是最优） kimi仅用于计算Friedman构型中的3/2 + 1/√2等于几，其算出来的值为2.207106782，这里的记录比这个仍差0.000000009，但由于精度限制已经无法超过。8和9的坐标0.999999999就是因为精度而不得不用的。 如果都是1的话，那么记录必然为2.207106782，且（在这种构型中）为最优。 另外如果用“证书归一化半径”衡量的话，那么比最优值仅相差0.000000002（剩下的“2”明显就是8和9坐标的精度损失）。 总之，这个记录基本是本站精度所能够达到的极限了，无法超越。 （说实话前一个微调浮点数的有点搞笑了，可惜）