那么请问你的假设是什么？

这道题是程序题，总要有个input/output吧？你要是认为我不能这么假设，那么怎么假设才合理呢？如果开始是a[f(k)]=k（也就是a[k]=g(k)），要还原成a[k]=k，问题会更复杂么？再说，从原题上看，这个假设凭什么比我的假设更合理呢？