建议看cp-algorithm Balanced bracket sequences

mex的定义: 最小未出现非负整数. 未出现这个性质可能非常有用. (有些题目中这个定义为最小未出现正整数, 全部-1即可).

的非负整数解数量为

点更新, 区间查询

包括记忆化搜索与递推两种.

通过有限的线性基, 可以描述无限的线性空间.

Fenwick tree 或者叫 Binary Indexed Tree, 功能类似于线段树, 只不过在差分操作的辅助下可以将空间压到O(n), 并且代码简短, 常数小. 树状数组的索引通常从1开始. 树状数组只能维护满足结合律且可差分的数据和运算.