Сложность нахождения псевдообратной матрицы

11

Сколько арифметических операций требуется, чтобы найти псевдообратную матрицу Мура – ​​Пенроуза произвольного поля?

Если матрица обратима и имеет комплексное значение, то это просто обратная величина. Нахождение обратного времени занимает , где - константа умножения матриц. Это Теорема 28.2 в Введение в алгоритмы 3-е издание.О(Nω)ω

Если матрица имеет линейно независимые строки или столбцы и имеет комплексное значение, то псевдообратная матрица может быть вычислена с помощью или соответственно , где является сопряженной транспозицией . В частности, это предполагает время нахождения Псевдообратного .AA*(AA*)-1(AA*)-1A*A*AО(Nω)A

Для общей матрицы в алгоритмах, которые я видел, используется QR-разложение или SVD, которое, кажется, в худшем случае использует арифметических операций. Есть ли алгоритмы, которые используют меньше операций?О(N3)

Чао Сюй
источник
У меня есть следить, это может быть слишком простым , но можете вы подтвердить , что это п здесь в уравнении сложности. Это размер матрицы и что если матрица не квадрат?
Майк Помпа
В претензии , что обратное может быть найден в времени, п действительно размерность квадратной матрицы; если матрица не квадратная, то вы , вероятно , можете занять п быть большим размером. O(nω)nN
Дэвид Richerby
Поскольку это простой вопрос, я ответил на него здесь. Однако, если у вас есть какие-либо дополнительные вопросы, пожалуйста, задавайте их как отдельную страницу, используя кнопку «Задать вопрос» в верхней части страницы. Вы можете сделать ссылку на эту страницу, чтобы дать контекст. Этот сайт настроен только для одного вопроса на страницу: нет потоков и посты перемещаются в соответствии с полученным ими голосом, поэтому все становится ужасно запутанным с более чем одним вопросом на странице. Больше информации в нашем коротком туре и в нашем справочном центре .
Дэвид Ричерби

Ответы:

7

Прежде всего люди склонны забывать, что - это инфимум. Всякий раз, когда мы пишем O ( n ω ) , мы фактически имеем в виду для всех γ > ω , существует алгоритм, работающий во времени O γ ( n γ ) .ωО(Nω)γ>ωОγ(Nγ)

Келлер-Гериг показал (среди прочего), как представить матрицу в ранге нормальной формы за время O ( n ω ) . Если A имеет ранг r , то ранг-нормальная форма A есть S ( I r 0 0 0 ) T для некоторых обратимых S , T соответствующих размерностей; см. также Теория алгебраической сложности, предложение 16.13 на стр. 435.AО(Nω)AрA

S(яр000)T
S,T

Aзнак равноИксYИксрYрИксрSYрTО(Nω)

Юваль Фильмус
источник
Спасибо за ответ! Я получил бумагу и обнаружил, что мне не хватает фона. Есть ли какие-нибудь хорошие представления / опросы по этому виду результатов? Я знаю, что книга «Теория алгебраической сложности» - хорошая, но в настоящее время она извлечена из библиотеки ...
Чао Сюй
1
Там могут быть соответствующие лекционные заметки, хотя, вероятно, лучше взглянуть на книгу. CLRS (Введение в алгоритмы) также содержит некоторые соответствующие материалы, такие как эквивалентность между умножением матриц и инверсией матриц.
Юваль Фильмус
О(Nω)вес
ωω<2.3728639ωзнак равно2