читаю статью как генерировать однородные бинарные решетки.
идея сводится к тому, является ли i-я позиция квадратичным вычетом по раз-меру решетки L, или нет.
А поскольку в универе я модульной алгеброй не занимался, у меня немножко крыша едет.
Разве остаток i (mod L) однозначно не равен i, при условии что 0<i<L-1 ?
Как тогда линейно-алгебраически (т.е. в програме) вычислять является ли i оно квадратичным вычетом, или нет?
not( mod( sqrt( mod(i,L) ) ,1) )
так ?
Че-то не получается последовательность "однородной". что-то вроде логарифмически увеличивающихся интервалов выходит. Вот такое:
А совсем не как должно быть