zltzlt

摘要： 洛谷传送门 AtCoder 传送门 本质是 \(p_i \in [l_i, r_i]\) 的计数问题。 当 \(1 \le i \le n\) 时，\(l_i\) 才可能不等于 \(1\)。考虑容斥，设钦定 \(m\) 个不满足条件（上界为 \(l_i - 1\)），其余任意（上界为 \(r_i\) 阅读全文

摘要： 洛谷传送门 AtCoder 传送门 考虑到规定单调不降比较难搞。先设 \(g_t\) 为长度为 \(t\) 的满足条件的序列个数（可重且有顺序）。求这个可以设个 dp，\(f_{d, i}\) 表示考虑到从高到低第 \(d\) 位，当前 \(t\) 个数中有 \(i\) 个仍然顶上界，并且之前的位都 阅读全文