Replace by MEX

Replace by MEX

1. 题意:
   你被给予了一个数组，包含$n$个$[0,n]$的整数。每一次操作，你可以选择数组中的一个元素替换成这个数组的$MEX$。例如，如果数组是$[0,2,2,1,4]$，你可以选择第二个元素替换成整个数组元素的$MEX$，数组会变成$[0,3,2,1,4]$。$MEX$的定义为不包含这个于这个数组的最小的非负整数。

2. 分析:
   每次计算当前的$MEX$，如果$MEX=0$，则找任意一个$a[i]\ne i$ 的$a[i]$替换为$MEX$使得$MEX$不为$0$,然后重新找MEX，更新$a[MEX]=MEX$；否则直接更新$a[MEX]=MEX$。
   显然，对于第$i$次操作，$MEX$要么等于$0$，要么等于$i$，因此第$i$次操作至多更新两次，这就保证了操作次数至多$2n$次。

#include<bits/stdc++.h>

using namespace std;
const int maxn=1e3+10;
int a[maxn];
bool vis[maxn];
int n;

inline int f() {
    for (int i = 0; i <= n; i++) {
        vis[i] = false;
    }
    for (int i = 1; i <= n; i++) {
        vis[a[i]] = true;
    }
    for (int i = 0; i <= n + 1; i++) {
        if (!vis[i]) return i;
    }
}
vector<int>res;

inline void solve() {
    scanf("%d", &n);
    res.clear();
    for (int i = 1; i <= n; i++) {
        scanf("%d", &a[i]);
    }
    for (int i = 1; i <= n; i++) {
        int mex = f();
        if (!mex) {
            bool flag = false;
            for (int j = 1; j <= n; j++) {
                if (j != a[j]) {
                    a[j] = 0;
                    res.push_back(j);
                    flag = true;
                    break;
                }
            }
            if (!flag) break;
            mex = f();
        }
        a[mex] = mex;
        res.push_back(mex);
    }
    printf("%d\n", res.size());
    for (int i = 0; i < res.size(); i++) {
        printf("%d", res[i]);
        if (i == res.size() - 1) puts(""); else printf(" ");
    }
}

int main() {
    int _;
    scanf("%d", &_);
    while (_--) {
        solve();
    }
    return 0;
}