codeforces 765D 思维

写了几组满足题意的组合，然后观察出一个结论：就是总有几个数自己指向自己的，然后其他的数都指向这些数，即设P={x|f(x)=x}，则f(x)的值域包含于P。
简单地证明一下，假设f(a)=b，而f(b)=c，则h(g(a))=b，设g(a)=t，则g(h(t))=g(b)=t，即g(a)=g(b)，则h(g(a))=h(g(b))，即b=c。
然后构造一个解。把所有f(x)=x的点标号，假设第i个点的编号是a[i]，则令g(x)=a[f(x)]，h(x)=a[x]即满足题意。
下面是代码

#include<stdio.h>
#define DO(x) for(int i=1;i<=x;i++)
#define M 133333
int N,a[M],res[M],to[M],t;
int main(){
    scanf("%d",&N);
    DO(N)
        scanf("%d",a+i);
    DO(N)
        if(a[i]==i)res[++t]=i,to[i]=t;
    DO(N)
        if(a[a[i]]!=a[i])
            return printf("-1"),0;
        printf("%d\n",t);
    DO(N)
        printf("%d ",to[a[i]]); putchar('\n');
    DO(t)
        printf("%d ",res[i]);
    return 0;
}