我看到有讨论说这个 dp 有决策单调性，但是它真的有决策单调性吗/jk/jk，我自己打的表发现它有些地方似乎不对

比如 $n=60$，它的决策点在 $28$，但是 $n=61$，它的决策点在 $27$

60:1.88887 1.88755 1.88918
61:1.8903 1.88887 1.89042

中间是最优决策点，两段是最优决策点 $\pm1$，发现它并不是精度的影响，事实上我加了忽略精度它还是这样

我最后是利用类似决策单调性的东西，发现对于若干个大范围的 $n$ 它们的决策点都集中在大约 $200$ 个点中，然后直接分类讨论这些大段，然后暴力枚举的，不知道我是出了什么问题/kk