贴个二分代码，跑得比spq的O(N)做法快
思路： 假设1的数量是$c$。如果答案是$x$，那么我们最多删除了$x$个1，并且最多留下了$x$个0。如果$c \ge x+1$，一定满足要求。因此，答案存在单调性，我们考虑对区间$[0, c]$使用二分。

我们实现一个数组$pos$，其中$pos_i$是字符串中第$i$个1的位置。在$check$函数中，我们枚举每个删完后剩下的区间，并判断其中0的个数是否$\le x$。
核心代码：

signed main()
{
	setIO();
	string str; cin>>str;
	vector<int> pos;
	for(int i=0; i<str.size(); i++)
		if(str[i]=='1')
			pos.eb(i);
	if(pos.empty() || pos.back()-pos.front()==pos.size()-1)
		return cout<<0<<endl, 0;
	int l=0, r=pos.size(), res=r;
	auto check=[&](int mid) -> bool
	{
		int k=pos.size(), x=k-mid;
		for(int i=0; i<=mid; i++)
		{
			int l=pos[i], r=pos[i+x-1];
			if(r-l+1-x<=mid)
				return true;
		}
		return false;
	};
	while(l<=r)
	{
		int mid=(l+r)>>1;
		if(check(mid)) r=mid-1, res=mid;
		else l=mid+1;
	}
	cout<<res<<endl;
	return 0;
}