SD 省集的时候八先生讲了这个题，并给出了这个限制的证明，不完全看了一眼题解发现大多数人没管这个限制，又看了一眼讨论区发现大多数人对这个的解释是可以先把占位的挪走。

但是这个是不对的，举出一个唐氏的例子，我让两个蜥蜴都要互相跳到对方的位置，你让哪个先挪走？

仔细想想发现上面那个唐氏例子的情况其实不会出现，原因是每个蜥蜴是等价的，你这样跳不如让两个蜥蜴的身份交换，也就是让一只跳另外一只的路径。同理，这个也可以推广到不会出现 $k$ 只蜥蜴，满足第 $1$ 只要跳到第 $2$ 只，······，第 $k$ 只要跳到第一只，否则我也可以通过上面的轮换轮换掉。

我们建出这样一张图，$i$ 向 $j$ 连边当且仅当第 $j$ 只蜥蜴在第 $i$ 只走过的路径上。那上述条件即等价于图上无环，那我按照讨论区的解释先把占位的挪走（即按照拓扑序的倒序挪）即可。这也是为什么直接先把占位的挪走是正确的。