如果你的状态表示中有进位的值，那转移的时候可能会溢出。比如当前状态进位的值是 p，那从 p<<1 转移来的时候， p<<1 会大于 n 的，所以要么特判，要么开大数组。