因为不会生成函数，看的是蓝书上的证明，即 这个。
但是我觉得“不合法的方案必定对应着一个由n+1个1和n-1个0组成的一个排列”和“把后面这部分2n−(2p+1)位的1与0互换”没有太大的联系。就是觉得01互换好像什么用也没有。
我自己的证明是：不合法序列必存在一个位置使1比0恰好多一个+后面的数随便排依旧不合法。