cf1261E. Not Same_1261e - not same-CSDN博客

本文链接：https://blog.csdn.net/fsahfgsadhsakndas/article/details/103396923

链接

题解

我参考了这篇博客：Technocup 2020 Elimination Round 3题解

文中用了很多“可以证明”，其实我感觉要证明还是得费一番脑力

他首先构造了一个 $\times n$ 的网格，并且把副对角线设为禁区，把原序列排序之后往里填

现在证明这样为啥任意两行不重复：

其实仔细想想，每一行都是这样的结构： $000000111{\color{red}0}0011111$ ，其中 $1$ 就是涂黑的格子， $0$ 就是没涂的格子，红色的 $\color{red}0$ 是被我设为禁区的格子，当然也没涂色。每一行的最后一段都是连续的 $1$ ， $\color{red}0$ 前面也是一段连续的 $1$ ，而且 $\color{red}1$ 前面那个数字必然是 $1$ ，也就是说每行(除了第 $n$ 行之外)都有一个“ $1\color{red}0$ ”，而且位置都不一样，自然就每行都不一样了（第 $n$ 行可以特殊证一下）。

接下来的操作是，扩展第 $n + 1$ 行，初始这一行都等于 $0$ 。然后把那些数字 $n$ 对应的列，最后一行填 $1$ 。

这样可能导致第 $n$ 行和第 $n + 1$ 行相等，说明一下为啥只可能和第 $n$ 行相等：因为其他行都有" $1\color{red}0$ "而第 $n$ 行和第 $n + 1$ 行都没有

这时构造方法是把最靠前的那个 $1$ 补到对应的副对角线之前空出来的位置上去

下面证明这样为啥是对的：假设第 $k$ 行的 $\color{red}0$ 被变成了 $1$ ，由于这个 $\color{red}0$ 所在列的右边那些列所对应的数字都是 $n$ ，所以这个 $\color{red}0$ 一直到右边都已经填了 $1$ ，我现在再填一个 $1$ ，这些 $1$ 就连成了一片，加上这个 $\color{red}0$ 左边的 $1$ ，这一行现在的模样就是 $0 . . . 000011111 . . . 1$ 。因为除了后两行之外都存在 $1\color{red}0$ 所以不会跟这一行相等，而第 $n$ 行的 $1$ 数肯定严格小于第 $k$ 行，第 $n + 1$ 行又比第 $n$ 行少一个 $1$ ，所以最终还是任何两行都不同

代码

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define iinf 0x3f3f3f3f
#define linf (1ll<<60)
#define eps 1e-8
#define maxn 1000010
#define maxe 1000010
#define cl(x) memset(x,0,sizeof(x))
#define rep(_,__) for(_=1;_<=(__);_++)
#define em(x) emplace(x)
#define emb(x) emplace_back(x)
#define emf(x) emplace_front(x)
#define fi first
#define se second
#define de(x) cerr<<#x<<" = "<<x<<endl
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
ll read(ll x=0)
{
    ll c, f(1);
    for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
    for(;isdigit(c);c=getchar())x=x*10+c-0x30;
    return f*x;
}
ll n, a[maxn], ans[2019][2019], id[maxn];
int main()
{
    ll i, j;
    n=read();
    rep(i,n)a[i]=read(), id[i]=i;
    sort(id+1,id+n+1,[](ll x, ll y){return a[x]<a[y];});
    rep(i,n)
    {
        ll res=min(a[id[i]],n-1), j=n-i;
        while(res--)
        {
            if(j==0)j=n;
            ans[j--][id[i]]=1;
        }
    }
    rep(i,n)if(a[id[i]]==n)ans[n+1][id[i]]=1;
    ll p1, p2;
    for(p1=n;ans[n][id[p1]];p1--);
    for(p2=n;ans[n+1][id[p2]];p2--);
    if(p1==p2)
    {
        p1++;
        swap(ans[n+1][id[p1]],ans[n-p1+1][id[p1]]);
    }
    printf("%lld\n",n+1);
    rep(i,n+1)
    {
        rep(j,n)putchar(0x30+ans[i][j]);
        putchar(10);
    }
    return 0;
}