Is LG P5244 [USACO19FEB] Mowing Mischief P's solution optimal?

$text{Solution}$ 感觉是很套路的题 按 $LIS$ 分层后 $dp$ 很容易想到 注意到同层 $x$ 递增，$y$ 递减 所以很容易猜到决策单调性，但是每个点的决策集合是不同的区间，这与一般的决策单调性可不一样 怎么办呢？...