CF949A Zebras 构造

是一道不错的构造题。

我们观察，一个 111 的前后必须都有 000.

那么，我们开一个二维数组 (vector)(vector)(vector)，这样每遇到一个 000 就将 000 加入到当前的 G[cnt]G[cnt]G[cnt] 中，并

++cntcntcnt， 这样满足的性质是 kkk 到 cntcntcnt 的所有状态都是已 111 结尾的（或者为空），以此来判断是否有解。

Code:

#include<cstdio>
#include<vector>
#include<cstdlib>
#include<algorithm>
#include<cstring>
using namespace std;
const int maxn = 200000 + 5;
char str[maxn];
vector<int> G[maxn];
inline void fail(){ printf("-1");  exit(0); }
int main()
{
    scanf("%s", str);
    int n = strlen(str), cnt = 0, k = 0;
    for(int i = 0;i < n; ++i)
    {
        if(str[i] == '0')  {
            G[cnt++].push_back(i + 1);
        }
        else
        {
            if(cnt == 0) fail();
            G[--cnt].push_back(i + 1);
            k = max(k, cnt);
        }
    }
    if(k >= cnt) fail();
    printf("%d\n", cnt);
    for(int i = 0;i < cnt; ++i)
    {
        printf("%d ", G[i].size());
        for(int j = 0;j < G[i].size(); ++j) printf("%d ",G[i][j]);
        printf("\n");
    }
    return 0;
}