Рациональный алгоритм для проверки конгруэнтности юнитоидных матриц

Юнитоидными называются матрицы, приводимые к диагональному виду посредством преобразования конгруэнции. Рациональным мы называем конечный алгоритм, использующий только арифметические операции. Известны рациональные методы проверки конгруэнтности для частных классов юнитоидных матриц, например, эрмитовых, аккретивных или диссипативных матриц. Предложен рациональный алгоритм для проверки конгруэнтности юнитоидных матриц общего вида. Алгоритм является эвристическим в том смысле, что требует от пользователя задания двух целочисленных параметров $M$ и $N$. Выбор значений для них зависит от имеющейся априорной информации о степени близости соседних канонических углов проверяемых матриц.