Какой самый быстрый алгоритм для вычисления обратной матрицы и ее определителя для положительно определенных симметричных матриц?


10

Учитывая положительно определенную симметричную матрицу, каков самый быстрый алгоритм вычисления обратной матрицы и ее определителя? Для задач, которые меня интересуют, размер матрицы равен 30 или меньше.

  1. Высокая точность и скорость действительно необходимы. (выполняются миллионы матриц)
  2. Определитель необходим. В каждом расчете требуется только один элемент обратной матрицы. Спасибо!

Нужно ли инвертировать миллионы таких матриц? В противном случае скорость не должна быть проблемой.
Вольфганг Бангерт

Я отредактировал ваш заголовок и вопрос для ясности. Если я допустил какие-либо ошибки, пожалуйста, дайте мне знать.
Джефф Оксберри

@Wolfgang Bangerth Да, скорость должна быть рассмотрена.
Заказы

1
Знаете ли вы, какой элемент обратной матрицы необходим? Или это может быть случайная запись?
Воспоминание

2
@ Заказы Ваш комментарий и редактирование кажутся противоречивыми: вам нужен один элемент обратного или все они?
Федерико Полони

Ответы:


12

Для задач, которые меня интересуют, размер матрицы равен 30 или меньше.

Как отмечает WolfgangBangerth, если у вас нет большого количества этих матриц (миллионов, миллиардов), производительность инверсии матриц обычно не является проблемой.

Учитывая положительно определенную симметричную матрицу, каков самый быстрый алгоритм вычисления обратной матрицы и ее определителя?

Если скорость является проблемой, вы должны ответить на следующие вопросы:

  • Тебе действительно нужно все обратное? (Многие приложения не должны формировать явное обратное.)
  • Вам действительно нужен определитель? (Детерминанты встречаются редко, но, безусловно, не случайно в вычислительной науке.)
  • Вам нужна либо высокая точность? (Алгоритмы низкой точности, как правило, быстрее.)
  • Достаточно ли вероятностного приближения? (Вероятностные алгоритмы имеют тенденцию быть быстрее.)

Стандартным ответом на вашу проблему обращения небольшой положительно определенной матрицы и вычисления ее детерминанта будет разложение Холецкого. ЕслиA=LLT, тогда det(A)=i=1nlii2и .det(A1)=i=1nlii2

Предполагая, что равно на , разложение Холецкого можно вычислить примерно за флопов, что составляет примерно половину стоимости разложения LU. Однако такой алгоритм не будет считаться «быстрым». Рандомизированы разложение LUAnnn3/3может оказаться более быстрым алгоритмом, который стоит рассмотреть, если (1) вам действительно нужно вычислить большое количество матриц, (2) факторизация действительно является ограничивающим шагом в вашем приложении, и (3) любая ошибка, возникающая при использовании рандомизированного алгоритма, приемлемо. Ваши матрицы, вероятно, слишком малы, чтобы разреженные алгоритмы были полезны, поэтому единственные другие возможности для более быстрых алгоритмов потребовали бы дополнительной структуры матрицы (например, с полосами) или использования структуры проблемы (например, возможно, вы можете разумно реструктурировать свой алгоритм так, чтобы вы не больше нужно вычислять матрицу, обратную или ее определитель). Эффективные алгоритмы определителя - это примерно стоимость решения линейной системы с точностью до постоянного множителя, поэтому те же аргументы, что и для линейных систем, применимы и к вычислению определителей.


Только краткое замечание: если , для вычисления одного элемента следует вычисляют только й столбец . Как только факторизация Холецкого вычислена, это делается путем прямой и обратной подстановки по отношению к вектору rhs всех нулей и только к одному в строке . Поскольку вычисление может быть прервано, как только будет вычислено , наилучший случай - для наихудший случай для когда нужно вычислить полный назад и прямые замены. B=A1bijjBjbijbnn=lnn2b11
Стефано М

@StefanoM Более того, вы можете переставить матрицу до начала вычислений, чтобы вы всегда были в лучшем случае.
Федерико Полони
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.