可以比较自然得发现 $k$ 比较大可以不考虑，然后柿子也不难推，决策单调性也不难想到，比较的套路（除了第一点）。因此我认为可以酱紫。