CF 765D Artsem and Saunders 构造

CF765D Artsem and Saunders
直接猜一种构造做法，$h(x)$的值域一定和$f(x)$的值域一样，我们先满足$h(g(x))=f(x)$这个条件，遍历$f(x)$，每次添加$h(x)$中暂时没有的数，然后标记一下它在$h(x)$中的下标$mp$，并令$g_x=mp$，这样就强制满足了条件，然后再去枚举$x$看构造出来的 $h$ 和 $g$ ，是否满足另一个条件

const int N=1e5+5;
int mp[N],cnt;
void solve(){
    int n;
    std::cin>>n;
    std::vector<int> a(n+1);
    std::vector<int> g(n+1),h(n+1);
    for (int i=1;i<=n;i++){
        std::cin>>a[i];
        if (!mp[a[i]]){
            mp[a[i]]=++cnt;
            h[cnt]=a[i];
        }
        g[i]=mp[a[i]];
    }
    for (int i=1;i<=cnt;i++){
        if (g[h[i]]!=i){
            std::cout<<"-1\n";
            return;
        }
    }

    std::cout<<cnt<<"\n";
    for (int i=1;i<=n;i++){
        std::cout<<g[i]<<" ";
    }
    std::cout<<"\n";
    for (int i=1;i<=cnt;i++){
        std::cout<<h[i]<<" ";
    }
}