Об эффективных алгоритмах декомплексификации матриц посредством унитарных подобий и конгруэнций

Для заданной комплексной $(n\times n)$-матрицы $A$ требуется установить, может ли $A$ быть овеществлена унитарным подобием или унитарной конгруэнцией. Предложены и обоснованы алгоритмы, решающие эти две задачи при дополнительном предположении о неприводимости матрицы $A$ в первом случае и матрицы $A_L=\overline AA$ во втором. Неприводимость квадратной комплексной матрицы означает, что она никаким унитарным подобием не может быть переведена в прямую сумму матриц меньшего порядка. Предложенные алгоритмы эффективны в том смысле, что их реализация требует конечного числа арифметических операций.
Библиография: 8 названий.