CodeForces1204 D2 .Kirk and a Binary String (hard version) (构造)

题意：

给一个01串s，要求构造一个01串t，s和t长度相同，且两个串任意区间的LIS长度相同，同时要求t串中0的个数尽可能多

思路：

从后往前遍历

s串中为0的位置在t串中肯定也为0
因为如果当前位置的数字是0
那么当前位置上的 0 一定是以他为左端点的区间的LIS的一部分，如果改变，LIS一定会变小
所以s串中的0肯定不变

考虑s串中的1什么时候可以改成0：
假设当前位置为x
如果x之后的所有以x为左端点的区间的LIS都以1开头，则当前位置的1可以改为0，这样可以保证LIS不变
因为x之后的所有以x为左端点的区间的LIS都以1开头，所以1的数量肯定大于等于0的数量
则只要统计x之后的1的数量和0的相对数量就行了

code:

#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
signed main(){
    string s;
    cin>>s;
    int len=s.size();
    int cnt=0;//0的数量
    for(int i=len-1;i>=0;i--){
        if(s[i]=='0')cnt++;//如果是0则++
        else if(cnt)cnt--;//如果是1且cnt不为0则--
        else s[i]='0';//如果是1且cnt为0表示1的数量比0多，把当前位置改成0
    }
    cout<<s<<endl;
    return 0;
}