"Записки научных семинаров ПОМИ"
Том 482, стр. 120-128
Рационально проверяемые необходимые условия эрмитовой конгруэнтности комплексных матриц
Х. Д. Икрамов
Московский государственный
университет имени М. В. Ломоносова, Ленинские горы, 119991 Москва, Россия
ikramov@cs.msu.su
- Аннотация:
Конечный вычислительный процесс, использующий только арифметические операции, будем называть рациональным алгоритмом. Говорят, что матрицы $A$ и $F$ эрмитово конгруэнтны, если $F = Q^*AQ$ для некоторой невырожденной матрицы $Q$. Дан обзор необходимых условий эрмитовой конгруэнтности, допускающих проверку рациональными алгоритмами.
Библ. -- 7 назв.
- Ключевые слова: $*$-конгруэнтность, рациональный алгоритм, каноническая форма относительно конгруэнций, коквадрат, теплицево разложение
[$*$-congruence, rational algorithm, canonical form w.r.t. congruences, cosquare, Toeplitz decomposition]
Полный текст(.pdf)