题意:
给一串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");
}