题目大意：
给出直线上N个点的位置和颜色(0或1),求最大的区间,使得区间内0的个数大于等于1的个数且0的个数减去1的个数为偶数。
解题过程：
1.先贴个lsdsjy大牛的线段树的做法：http://www.cnblogs.com/lsdsjy/p/4032614.html
2.这题一个非常巧妙的转换是：由于0的个数减去1的个数为偶数,那么区间内的点的个数只能是偶数,这样只要枚举左开右闭区间
(L,R], R和L位置的奇偶性相同。 所以只要分2次做,奇数位的和偶数位的单独拿出来。
下面仅讨论L,R都是偶数的情况。
用A[i]表示前i个数1有多少个,B[i]表示前i个数0有多少。
一个区间(L,R]符合要求必须满足A[R]-A[L]>=B[R]-B[L] -> A[R]-B[R] >= A[L]-B[L]
令K[i]=A[i]-B[i] -> K[R] >= K[L]
方法一(单调队列)：
如果一个有K[i],K[j]满足i<j && K[i]<=K[j] 那么选取区间的L端点的时候肯定是选i比较优。
所以可以维护一个单调队列,只有当新的K[i]<K[tail] 的时候 才加入队列。
然后枚举右端点R,只要在单调队列中二分找到一个最小的i,满足K[i]<=K[R],那么以R为右端点的最优区间就是(i,R].
方法二(动态规划):
这种方法不必分奇偶讨论,非常巧妙.
F[i]表示满足K[t]=i 的最小的t. g[i]=min{f[i],f[i-2],f[i-4]....}. 因为每次相差的都是二,可以保证0,1的个数奇偶性相同。
枚举右端点R,如果g[K[R]]<R,那么以R为右端点的最优区间就是( g[K[R]] , R] .