Циклическая редукция — это численный метод решения больших линейных систем путем многократного разделения задачи. Каждый шаг исключает четные или нечетные строки и столбцы матрицы и сохраняет ее в аналогичной форме. Шаг исключения относительно затратен, но разделение задачи позволяет проводить параллельные вычисления.
Метод применим только к матрицам, которые могут быть представлены как (блочная) матрица Теплица . Такие проблемы часто возникают в неявных решениях для уравнений в частных производных на решетке. Например, быстрые решатели для уравнения Пуассона выражают проблему как решение трехдиагональной матрицы, дискретизируя решение на регулярной сетке.
Системы, изначально имеющие хорошую численную устойчивость, стремятся улучшаться с каждым шагом. Более того, до точки, где может быть дано хорошее приближенное решение, [1] но поскольку специальная форма матрицы должна быть сохранена, поворот не может быть выполнен для улучшения числовой точности.
Метод не является итеративным, он ищет точное решение линейной задачи, согласующееся с заданными граничными значениями, в отличие от похожего, но более дешевого в вычислительном отношении многосеточного метода , который распространяет оценки коррекции ошибок вниз и допускает различные параметры релаксации в разных масштабах, причем итеративный аспект позволяет лучше учитывать нелинейные особенности.
Преобразование из пространственной области и переформулирование уравнения в частных производных называется спектральным методом , анализ Фурье и циклическая редукция объединены в алгоритме FACR [2] , который объясняется в численных рецептах – см. 19.4 Методы Фурье и циклической редукции для граничных задач. [3]