Просмотр кода страницы Метод Хаусхолдера (отражений) для приведения комплексных эрмитовых матриц к трёхдиагональному симметричному виду

{{algorithm
| name              = Приведение эрмитовой комплексной матрицы к трёхдиагональному виду методом Хаусхолдера (отражений)
| serial_complexity = <math>O(n^3)</math>
| pf_height         = <math>2n^2+O(n)</math>
| pf_width          = <math>n^2/2</math>
| input_data        = <math>(n^2+n)/2</math>
| output_data       = <math>(n^2+3n)/2</math>
}}
Основные авторы описания: [[Участник:Frolov|А.В.Фролов]]

== Свойства и структура алгоритма ==

=== Общее описание алгоритма ===

'''Метод Хаусхолдера''' (в советской математической литературе чаще называется '''методом отражений''') используется для приведения эрмитовых комплексных матриц к трёхдиагональному виду, или, что то же самое, для разложения <math>A=QTQ^*</math> (<math>Q</math> - унитарная, <math>T</math> — симметричная вещественная трёхдиагональная матрица)<ref>В.В.Воеводин, Ю.А.Кузнецов. Матрицы и вычисления. М.: Наука, 1984.</ref>. При этом матрица <math>Q</math> хранится и используется не в своём явном виде, а в виде произведения матриц отражения<ref name="VOLA">Воеводин В.В. Вычислительные основы линейной алгебры. М.: Наука, 1977.</ref>. Каждая из матриц отражения может быть определена одним вектором. Это позволяет в классическом исполнении метода отражений хранить результаты разложения на месте матрицы A с использованием одномерного дополнительного массива. 

В данной статье рассматривается именно классическое исполнение, в котором не используются приёмы типа сдваивания при вычислениях скалярных произведений.

=== Математическое описание алгоритма ===

В методе Хаусхолдера для выполнения <math>QTQ^*</math>-разложения матрицы используются умножения слева её текущих модификаций на матрицы Хаусхолдера (отражений) с последующим умножением на те же матрицы справа. 

{{Шаблон:Матрица отражений}}

На <math>i</math>-м шаге метода с помощью преобразования отражения "убираются" ненулевые поддиагональные элементы, начиная с <math>i+2</math>-го в <math>i</math>-м столбце. После умножения на эту же матрицу отражения справа автоматически убираются и ненулевые наддиагональные элементы, начиная с <math>i+2</math>-го в <math>i</math>-й строке, а полученная модификация снова приобретает симметричный вид. 

На каждом из шагов метода матрицу отражений обычно представляют не в стандартном виде, а в виде <math>U=E-\frac{1}{\gamma}vv^*</math>, где <math>v</math> находится через координаты текущего <math>i</math>-го столбца так:

<math>s</math> - вектор размерности <math>n+1-i</math>, составленный из элементов <math>i</math>-го столбца, начиная с <math>i</math>-го.

Если <math>(s,s)=0</math>, то <math>v=e_{i}</math>, <math>\gamma = \frac{1}{2}</math>.

В остальных случаях по алгоритму вычисляется <math>u = \frac{1}{\sqrt{(s,s)}}s</math>, и далее <math>v_{j}=0</math> при <math>j \lt i</math>, <math>v_{j}=u_{j-i+1}</math> при <math>j \gt i</math>, а <math>v_{i}=1</math>, если <math>u_{1}=0</math> и <math>v_{i}=\frac{u_{1}}{|u_{1}|}(1+|u_{1}|)</math> для остальных значений. При этом <math>\gamma = 1+|u_{1}|=|v_{i}|</math>.

После вычисления вектора <math>v</math> подстолбцы справа от ведущего модифицируются по формулам <math>x'=x-\frac{(x,v)}{\gamma}v</math>. Потом по аналогичным формулам модифицируются строки ниже ведущей. Благодаря ассоциативности этих операций после вычисления вектора <math>v</math> можно сразу выписать формулы модификации всех элементов справа и снизу от ведущих столбца и строки. Оказывается, что если для каждого столбца матрицы <math>x^{(j)}</math> с номером <math>j</math> известно <math>\beta_{j}=\frac{(x^{(j)},v)}{\gamma}</math>, то для модифицируемого элемента матрицы <math>y</math> в позиции <math>(i,j)</math> выполняется модификация <math>y' = y - \beta_{i} v_{i} - \beta_{j} v_{j} - \Delta v_{i} v_{j}</math>, где <math>\Delta = \frac{(\beta,v)}{\gamma}</math>. При этом все эти модификации на каждом конкретном шаге алгоритма для разных пар <math>(i,j)</math> можно выполнять независимо друг от друга, в том числе и параллельно.

=== Вычислительное ядро алгоритма ===

[[File:HausLeftSym1.png|thumb|right|800px|Рисунок 1. Граф первой половины шага алгоритма приведения к трёхдиагональному виду с отображением входных данных. Изображён граф первой половины шага с номером <math>n-4</math>. Квадраты - результаты выполнения предыдущего шага. Если шаг первый, то это входные данные. Зелёные кружки - операция вида <math>a+|b|^2</math>, салатовые - операция вида <math>a+b \overline c</math>. Синий кружок - вычисление параметров матрицы отражения, светло-красные - вычисление коэффициентов <math>\beta_i</math>для следующего полушага, жёлтые - вычисление вектора <math>v</math>.]]
[[File:HousLeftSym2.png|thumb|right|600px|Рисунок 2. Граф второй половины шага алгоритма приведения к трёхдиагональному виду с отображением входных данных. Изображён граф первой половины шага с номером <math>n-3</math>. Квадраты - результаты выполнения предыдущего шага. Если шаг первый, то это входные данные. Синий, жёлтые и светло-красные кружки выполняются на первом полушаге (см. Рисунок 1). Голубые кружки -  операции <math>a+b \overline c</math>, зелёное - умножение, чёрные - операции <math>a+b \overline c+d \overline e+fc \overline e</math>.]]

Основную часть алгоритма составляют вычисления на каждом шагу скалярных произведений <math>(s,s)</math> и <math>(x,v)</math> для всех подстолбцов <math>x</math>справа от текущего, а также проводимые над нижним правым квадратом матрицы операции вида <math>y'=y-a \overline b-c \overline d-fb \overline d</math>, с учётом симметрии матрицы.

=== Макроструктура алгоритма ===

Как уже сказано в описании ядра, основная часть - вычисления на каждом шагу скалярных произведений <math>(s,s)</math> и <math>(x,v)</math> для всех подстолбцов <math>x</math> справа от текущего, а также массовые покомпонентные операции <math>y'=y-a \overline b-c \overline d-fb \overline d</math>. При этом, однако, строгая последовательность выполнения первых двух подшагов не обязательна, в силу связи получаемых векторов <math>s</math> и <math>v</math> можно одновременно с <math>(s,s)</math> вычислять и произведения <math>(x,s)</math> с последующим выражением через них коэффициентов модификации. Это позволяет почти вдвое уменьшать критический путь графа алгоритма.

=== Схема реализации последовательного алгоритма ===

Последовательность выполнения алгоритма обычно записывается как последовательное "обнуление" поддиагональных элементов столбцов, начиная с 1-го столбца и заканчивая предпоследним <math>(n-1)</math>-м.

При этом в каждом "обнуляемом" <math>i</math>-м столбце "обнуляются" сразу все его поддиагональные элементы одновременно, с <math>(i+1)</math>-го до <math>n</math>-го. 

Каждое "обнуление" <math>i</math>-го столбца состоит из двух шагов: 
а) вычисление параметров матрицы отражения <math>U_{i}</math> такой, чтобы при умножении на неё слева "обнулились" все поддиагональные его элементы;
б) одновременное умножение слева матрицы отражения <math>U_{i}</math> и справа  матрицы отражения <math>U_{i}^T</math>на текущую версию матрицы.

=== Последовательная сложность алгоритма ===

В последовательной версии основная сложность алгоритма определяется прежде всего вычислениями скалярных произведений векторов, а также массовых модификаций элементов вида <math>y'=y-\alpha v - \beta w - \Delta vw</math>. Они, если не учитывать возможную разреженность, составляют (в главном члене) по <math>O(n^3)</math> операций комплексного умножения и сложения/вычитания.

При классификации по последовательной сложности, таким образом, метод Хаусхолдера относится к алгоритмам ''с кубической сложностью''.

=== Информационный граф ===

На рисунках 1 и 2 приведён граф алгоритма шага метода Хаусхолдера в наиболее его быстром (с параллельной точки зрения) варианте, использующем то, что с точностью до множителя ведущий вектор матрицы отражения отличается отличается от подстолбца, где выполняется очередное исключение, только одним элементом.

=== Ресурс параллелизма алгоритма ===

Для понимания ресурса параллелизма в симметричном приведении матрицы порядка <math>n</math> к трёхдиагональной методом Хаусхолдера нужно рассмотреть критический путь графа. 

Как видно из описания разных вершин, вычисления при "обнулении" <math>i</math>-го столбца параметров отражения и скалярных произведений состоят из основной части - ветви длиной по <math>2(n-i)</math> умножений и сложений - и коррекции вычислений, которые составляют <math>O(1)</math> операций. 

Поэтому по грубой (без членов низших порядков) оценке критический путь метода Хаусхолдера будет идти через <math>n^2</math> комплексных умножений и <math>n^2</math> комплексных сложений/вычитаний. 
 
Поэтому в параллельном варианте, как и в последовательном, основную долю требуемого для выполнения алгоритма времени будут определять операции вида <math>a+b \overline c</math>.  

При классификации по высоте ЯПФ, таким образом, метод Хаусхолдера относится к алгоритмам ''с квадратичной сложностью''. При классификации по ширине ЯПФ его сложность будет также ''квадратичной'' (без расширения ряда ярусов, связанных с векторными операциями сложения, пришлось бы увеличить вдвое длину критического пути).

=== Входные и выходные данные алгоритма ===

'''Входные данные''': плотная эрмитова квадратная матрица <math>A</math> (элементы <math>a_{ij}</math>).

'''Объём входных данных''': <math>(n^2+n)/2</math> комплексных чисел.

'''Выходные данные''': трёхдиагональная симметричная вещественная матрица <math>D</math> (ненулевые элементы <math>r_{ij}</math> в последовательном варианте хранятся в элементах исходной матрицы <math>a_{ij}</math>), унитарная матрица Q - как произведение матриц Хаусхолдера (отражения) (их вектора нормалей к плоскостям отражения в последовательном варианте хранятся в поддиагональных элементах исходной матрицы <math>a_{ij}</math> и в одном дополнительном столбце размерности n).

'''Объём выходных данных''': <math>(n^2+n)/2</math> комплексных и <math>n</math> вещественных чисел.

=== Свойства алгоритма ===

Соотношение последовательной и параллельной сложности, как хорошо видно, является ''линейным'', что даёт определённый стимул для распараллеливания. Однако у наискорейшей ЯПФ ширина ''квадратична'', что указывает на дисбаланс между загруженностями устройств при попытке её реально запрограммировать. Поэтому более практично даже при хорошей (быстрой) вычислительной сети оставить количество устройств (например, узлов кластера) ''линейным'' по размеру матрицы, что удвоит критический путь реализуемой ЯПФ. 

При этом вычислительная мощность алгоритма, как отношение числа операций к суммарному объему входных и выходных данных, ''линейна''.

Алгоритм в рамках выбранной версии полностью детерминирован.

Вычислительная погрешность в методе отражений (Хаусхолдера) растет ''линейно'', как и в методе Гивенса (вращений).

== Литература ==
<references />

[[Категория:Статьи в работе]]
[[Категория:Разложения матриц]]