[ARC101F] Robots and Exits

设一个二元组 \(( l , r )\) 为向左向右走过的最大距离,以 \(l,r\) 为轴建系,那么操作序列可以等价为向右向上的折线,则每个机器人可以看成一个点。

容易证明,在折线下方的点从右边离开,折线上方的点从左边离开,那么问题就直接转化为上升子序列的个数了,即二维偏序。

posted @ 2024-08-15 10:32  point_fish  阅读(17)  评论(0)    收藏  举报