Наверное вопрос, который у меня возник скорее по теории чисел. Есть числа от нуля до N-1. Есть какой то полином: что то типа x*(2x+1) mod N (он используется в RC6). Как узнать сделает этот полином перестановку чисел, подаваемых ему в качестве аргумента или все-таки сузит множество всех чисел как это бывает в случае с полиномом x*x. Такой пример:

x; f(x)=x(2x+1) mod 4; f(x)=x^2 mod 4.
0; 0; 0.
1; 3; 1.
2; 2; 0.
3; 1; 1.
В первом случае получается перестановка: (0-->0; 1-->3; 2-->2; 3-->1), а во втором нет.