Аннотация:
В данной статье изучаются свойства алгоритма Видемана–Копперсмита. В частности, для случая симметричной системы линейных уравнений из приближений формального ряда, которые строятся в этом алгоритме в шагах с нечётными номерами, построен ортогональный базис пространства Крылова. Предложены модификации алгоритма, использующие описанные свойства.
Ключевые слова:
факторизация целых чисел, решение разреженных систем над $GF(2)$, решение линейных систем над $GF(2)$.
Полный текст:
PDF файл (152 kB)