codeforces 765 D Artsem and Saunders(构造）

题意：

给一串1到n的数，以及映射f[n]，问能否找到一个m，构造出映射g: [n] → [m],h: [m] → [n],使得g(h(x)) = x对于所有的m成立，h(g(x)) = f(x)对于所有的n成立

解题思路：

一个长度为n的序列映射到长度位m的序列还要映射到另一个长度位n的序列，n与m不相等，要满足题目中h(g(x)) = f(x)的条件的话，假设m<n，那么长度为m的序列中的元素就要一对多，x经过两次映射还能对应上f[x]，说明在长度位m的元素中，一对多，后者都是相同的元素，不然经过x→g(x)→h(g(x))   得到的就不一定是f(x)了。

举个例子：

1                      1

2           1         2

3     g    2    h    1

4           3          2

5                       5

g（1）=g（3）)=1， g（2）=g（4）)=2， g（5）)=3.

h(1)=1=f(1)=f(3),     h(2)=f(2)=f(4), h(3)=f(5).

在这个例子中，m等于3，h(1)同时映射f(1)和f(3)，但是f(1) 和f(3)是相等的，h(2)也是，只有这样才能满足h(g(x)) = f(x)。所以现在我们可以知道，m就是f[n]里不同元素的个数。

然后是g(h(x)) = x这个条件。

赛时我试着把f（5）改成4，结果发现怎么也构造不出满足这个条件的映射，然后猜想会不会是只有第i个元素满足等于i的情况下，才能构造出来，但是却自己否定了这个想法，认为只是自己构造不出这组数据罢了。赛后问了队友后发现，这个想法虽然是有疏漏的，因为不是要满足第i个元素等于i，而是在f序列中出现的元素x，必须有f[x]=x，但是其实已经很接近正确的规律了，再观察下这个例子就可以找到了，所以有时候把题目想复杂了也不好，不过也是将自己脑洞出来的想法转化成能够ac的思路的能力还不够啊。

找到以上规律后

h(i)就是对应映射的值，在这例子中h(1)=1,h(2)=2, h(3)=5

g(i)就是f(i)作为值域对应h序列中的定义域，在例子即g(1)=1,g(2)=2,g(3)=1,g(4)=2,g(5)=3.

代码：

#include <bits/stdc++.h>
using namespace std;
const int maxn=1e5+5;
int f[maxn];
int book[maxn];
int vis[maxn];
int main()
{
   int n;
   cin>>n;
   int i;
   for(i=1; i<=n; i++)
   {
     scanf("%d", &f[i]);
     book[f[i]]++;
   }
   int m=0, top=0;
   for(i=1; i<=100000; i++)
   {
     if(book[i])m++, vis[top++]=i, book[i]=top;
     if(book[i] && f[i]!=i){break;}
   }
   if(i>100000)
   {
      printf("%d\n", m);
      for(i=1; i<=n; i++)
      {
	      printf(i==n?"%d\n":"%d ", book[f[i]]);
      }
      for(i=0; i<top; i++)printf(i==top-1?"%d\n":"%d ", vis[i]);
   }else printf("-1\n");
     

}