AT_agc061_c [AGC061C] First Come First Serve

首先考虑方案数总数不去重应该是 \(2^n\)，但是你发现会有重。

重复在什么时候呢，在存在 \([a_i, b_i]\) 中间没有任何一个数的时候，选 \(a_i\) 和 \(b_i\) 是等价的。

你注意到由于 \(a, b\) 都是单调的，那么我们设 \(f_i\) 为确定前 \(i\) 个数位置的方案数，注意到限制形如强制一段区间不选，直接减去这部分贡献即可。