首页 > TAG信息列表 > CF1685E
CF1685E The Ultimate LIS Problem【构造,线段树】
传送门 思路 考虑如何判无解,也就是说所有循环移位的 LIS 长度均大于 \(n\)。 一个括号序列的结论突然出现:令 \(b_i = [p_i > n+1] - [p_i<n+1]\),那么 \(b\) 中恰好包含 \(n\) 个 \(1\),\(n\) 个 \(1\) 和 \(1\) 个 \(0\)。根据 Raney 引理的推论,其存在一个循环移位满足所有前缀和均