Главное понять смысл
Чтобы pi[i] - i = pi[j] - j (mod n) выполнялось только при i = j, и не выполнялось при i <> j, нужно чтобы pi[i] - i для всех i=1..n было различно, ну это как я понял
.Возможно я не прав, поэтому мне интересно послушать другие идеи.
P.S.
Задачку сдать нужно завтра?