又是一道构造题，题目所求的是一个单调不降序列，并且要用不超过 \(2n\) 的操作，
咋一眼看上去似乎没什么思路，但我们可以尝试一种构造方案，那就是令 \(a_i=i-1\)，这样的话这个序列就是一个单调上升的序列，满足题目要求，那么接下来的问题就是如何在 \(2n\) 次操作内转化成这个序列，对于一个序列若他不满足 \([0,n-1]\) 的数都只出现了一次，那么它的mex必然在 \([0,n-1]\) 内，那么我们可以直接枚举 \(n\) 次mex，每次对mex+1的位置的数使用操作，这样就能在 \(n\) 次内得到一个 \([0,n-1]\)，都只出现了一次的序列，但它不一定满足上面的那个性质，所以对于每一个 \(a_i=k\ne i-1\)，对它使用一次操作 \(a_i=n\)，然后再对 \(k-1\) 使用使用一次操作 \(a_{k-1}=k\)，如此循环，那么这个序列就能满足上面的条件了,并且操作数不会多于 \(2n\)。

代码

#include<iostream>
#include<vector>
#include<cstdio>
#include<cstring>
using namespace std;

vector<int> ans;
int a[1005], tim[1005];

int main()
{
    int T;
    scanf("%d", &T);
    while (T--)
    {
        memset(tim, 0, sizeof(tim));
        ans.clear();
        int n;
        scanf("%d", &n);
        for (int i = 1; i <= n; i++)
            scanf("%d", &a[i]);
        for (int i = 1; i <= n; i++)
            tim[a[i]]++;
        for (int i = 1; i <= n; i++)
        {
            for (int j = 0; j < n; j++)
            {
                if (!tim[j])
                {
                    ans.push_back(j + 1);
                    tim[a[j + 1]]--;
                    a[j + 1] = j;
                    tim[j]++;
                    break;
                }
            }
        }
        for (int i = 1; i <= n; i++)
        {
            if (a[i] != i - 1)
            {
                int k = a[i] + 1;
                ans.push_back(i);
                a[i] = n;
                while (a[k] != k - 1 && k - 1 != n)
                {
                    ans.push_back(k);
                    int tmp = k;
                    k = a[k] + 1;
                    a[tmp] = tmp - 1;
                }
            }
        }
        printf("%d\n", ans.size());
        for (int i = 0; i < ans.size(); i++)
            printf("%d ", ans[i]);
        printf("\n");
    }
}