或者说，有人能举出这题 $ans$ 没有单调性的反例吗？我随便归纳了一下感觉没问题啊
by 断清秋 @ 2022-01-24 21:31:50
错了换一个方法呗，这个我们教练讲的是用前缀和。
```cpp
int main(){
cin>>n;
for(register int i(1);i<=n;i++){
cin>>x;
if(x==1)
s[i]=s[i-1]+1;
else
s[i]=s[i-1]-1;
}
int kp=0;
for(register int i(1);i<=n-1;i++)
for(register int j(i+kp);j<=n;j++)
if(s[j]-s[i-1]==0)
kp=j-i+1;
cout<<kp<<'\n';
}
```
by PassName @ 2022-01-24 21:46:30
@[断清秋](/user/93266) 你这个结论我觉得没什么问题，我用程序验证了一下，$n = 20$ 时是正确的。
by abcdeffa @ 2022-01-24 22:07:24
估计是实现上的问题了。
by abcdeffa @ 2022-01-24 22:07:47
@[abcdeffa](/user/314535) 但是好像确实被证伪了……
by 断清秋 @ 2022-01-24 22:34:09
```
26
0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0
```
刚刚拍了一下，这组数据存在 $ans=20$，但是不存在 $ans=18$ 的解 所以单调性不成立/dk
by 断清秋 @ 2022-01-24 22:35:11
我是个傻逼 这个东西根本不能归纳 tmd
by 断清秋 @ 2022-01-24 22:48:31
@[断清秋](/user/93266) 确实。我当时感觉不太能归纳，但是举了一些数据发现完全卡不掉（
然后写了个 $n = 20$，就以为是对的了。。。
感谢，长见识了。
by abcdeffa @ 2022-01-25 11:12:29