Ремонт принтеров, сканнеров, факсов и остальной офисной техники


назад Оглавление вперед




[224]

31.2-3

Представим себе, что мы умеем перемножать две (3 X 3)-матрицы, сделав к умножений (при этом не используя коммутативности умножения) и используем этот приём рекурсивно для умножения (га X га)-матриц, как в методе Штрассена. При каких к это позволило бы улучшить оценку Штрассена и умножать (га X га)-матрицы за время o(ralg7). Какая оценка при этом получилась бы?

31.2-4

В.Я. Пан придумал способы умножения двух матриц размера 68 X 68 (132464 умножений чисел), 70 X 70 (143640 умножений) и 72 X 72 (155424 умножений). Какой из них даёт лучшую асимптотическую оценку для умножении (га X га)-матриц при использовании приёма «разделяй и властвуй»? Сравните эту оценку с оценкой для алгоритма Штрассена.

31.2-5

Насколько быстро можно умножить (кп X га)-матрицу на (га X кп)-матрицу, используя алгоритм Штрассена в качестве подпрограммы? А сколько времени уйдёт на умножение тех же матриц в обратном порядке?

31.2-6

Как умножить два комплексных числа а + Ы и с + di, используя лишь 3 операции умножения вещественных чисел? (Алгоритм должен получать на вход значения a, b,c,dn вычислять вещественную и мнимую части произведения, то есть ас - bd и ad + be.)

31.3. Обращение матриц

На практике решение систем линейных уравнений не требует обращения матриц, как мы сидели в преыдущем разделе (LUP-разложение). Но всё-таки может понадобиться вычислить обратную матрицу, и тогда это можно сделать с помощью того же LUP-разложения. Интерес (скорее теоретический, впрочем) представляет также вопрос о том, как ускорить поиск вычисление обратной матрицы с помоью методов Штрассена. (Именно эту цель преследовал Штрассен в своей работе.)

Вычисление обратной матрицы с помощью LUP-разложения.

Пусть нам дано LUP-разложение РА = LU матрицы А размера (га X га). Зная его, можно решить систему вида Ах = b с помощью процедуры LU-Solve за время 0(га2). Чтобы решить другую систему Ах = V (с той же матрицей, но другой правой частью) нам понадобится ещё столько же времени. Таким образом, зная LUP-разложение матрицы А, можно решить к систем с матрицей А за время @(кп2).


Матричное уравнение

АХ = 1п(31.24)

для обратной матрицы X можно рассматривать как совокупность п систем вида Ах = Ь. Обозначим г-й столбец матрицы X через Хг-; тогда

AXi = ег, г = 1,... , п

поскольку г-м столбцом матрицы 1п является единичный вектор ег). Другими словами, нахождение обратной матрицы сводится к решению гг уравнений с одной матрицей и разными правыми частями. После выполнения Lt/P-разложения (время 0(гг3)) на решение каждого из гг уравнений нужно время 0(гг2), так что и эта часть работы требует времени 0(п3). Умножение и обращение матриц

Теперь мы покажем, каким образом можно использовать быстрый алгоритм умножения матриц для быстрого вычисления обратной матрицы. (Подчеркнём, что это улучшение имеет скорее теоретический интерес.) Мы докажем, что (при некоторых естественных предположениях) вычисление обратной матрицы имеет ту же сложность, что и умножение матриц того же размера (с точностью до умножения на константу). Сначала мы докажем более простую часть этого утверждения.

Теорема 31.11 (Умножение матриц не сложнее обращения)

Если можно обратить (гг X гг)-матрицу за время /(гг), причём /(Згг) = 0(1(п)), то можно умножить две (гг X гг)-матрицы за время 0(/(гг)).

Доказательство.

Пусть надо вычислить произведение двух (гг X гг)-матриц А и В. Составим (Згг X Згг)-матрицу

D

Матрица, обратная к D, имеет вид D-1

и мы можем вычислить АВ как (гг X гг)-подматрицу в верхнем правом углу матрицы D~l.

Матрицу D можно построить за время ©(гг2) = 0(1(п)) (заметим, что /(гг) гг2, так как нужно вычислить все гг2 элементов обратной матрицы), а обратить за время 0(/(Згг)) = 0(/(гг)) (согласно условию). Отсюда и следует утверждение теоремы.


Наложенное на /(га) условие /(Зга) = 0(1(п)) означает, что /(га) не делает больших скачков с ростом га. Например, функция /(га) = 0(raclgdra) обладает таким свойством при любых значениях с > 0,d 0.

Сведение обращения матриц к умножению

Нам понядобятся некоторые свойства симметрических положительно определённых матриц, которые мы докажем в разделе 31.6. Теорема 31.11 (Обращение матриц не сложнее умножения) Если можно умножить две (га X га)-матрицы за время М(га), причём М(п) монотонно неубвает и удовлетворяет условию с\М[п) М(2га) С2М(га) при некоторых с\ и с2, причём с\ > 2, то можно обратить невырожденную (га X га)-матрицу за время 0(М(п)).

Доказательство. Обращение матрицы сводится к обращению большей матрицы, так как

(А (Л-1 /А"1 0\ V0 1к) ~ \ 0 1к)

для любого к > 0. Поэтому мы можем доказывать теорему для га, являющихся степенями двойки, поскольку значения М(п) и М(га), где га - ближайшая сверху степень двойки, отличаются не более чем в константу раз.

Пусть сначала матрица А, которую нам надо обратить, является положительно определённой симметрической матрицей. Разобьём её на четыре блока размера га/2 X га/2:

a={ccd)-<3l25>

Рассмотрим матрицу

s = d - св~гст,(31.26) (дополнение Шура) и напишем соотношение

(в~1 + b-lcTs~lcb-1 -b~1cts-

~ V -s~lcb-1s~l

(проверяется умножением на А). Поскольку А является положительно определённой симметрической матрицей, то в и s обладают тем же свойством, и потому обратимы (леммы 31.13, 31.14 и 31.15). Легко проверить, что в~1ст = (св-1)т и b~1cts~1 = (s-1cb-1)t (упр. 31.1-3) Соотношения (31.26) и (31.27) задают рекурсивный алгоритм обращения матрицы, использующий 4 операции умножения (га/2 X га/2)-матриц:

с -в-1, (св-1) -ст,

s1 (св1),

(с в-1)7 (s-cb-1)

(31.27)



[стр.Начало] [стр.1] [стр.2] [стр.3] [стр.4] [стр.5] [стр.6] [стр.7] [стр.8] [стр.9] [стр.10] [стр.11] [стр.12] [стр.13] [стр.14] [стр.15] [стр.16] [стр.17] [стр.18] [стр.19] [стр.20] [стр.21] [стр.22] [стр.23] [стр.24] [стр.25] [стр.26] [стр.27] [стр.28] [стр.29] [стр.30] [стр.31] [стр.32] [стр.33] [стр.34] [стр.35] [стр.36] [стр.37] [стр.38] [стр.39] [стр.40] [стр.41] [стр.42] [стр.43] [стр.44] [стр.45] [стр.46] [стр.47] [стр.48] [стр.49] [стр.50] [стр.51] [стр.52] [стр.53] [стр.54] [стр.55] [стр.56] [стр.57] [стр.58] [стр.59] [стр.60] [стр.61] [стр.62] [стр.63] [стр.64] [стр.65] [стр.66] [стр.67] [стр.68] [стр.69] [стр.70] [стр.71] [стр.72] [стр.73] [стр.74] [стр.75] [стр.76] [стр.77] [стр.78] [стр.79] [стр.80] [стр.81] [стр.82] [стр.83] [стр.84] [стр.85] [стр.86] [стр.87] [стр.88] [стр.89] [стр.90] [стр.91] [стр.92] [стр.93] [стр.94] [стр.95] [стр.96] [стр.97] [стр.98] [стр.99] [стр.100] [стр.101] [стр.102] [стр.103] [стр.104] [стр.105] [стр.106] [стр.107] [стр.108] [стр.109] [стр.110] [стр.111] [стр.112] [стр.113] [стр.114] [стр.115] [стр.116] [стр.117] [стр.118] [стр.119] [стр.120] [стр.121] [стр.122] [стр.123] [стр.124] [стр.125] [стр.126] [стр.127] [стр.128] [стр.129] [стр.130] [стр.131] [стр.132] [стр.133] [стр.134] [стр.135] [стр.136] [стр.137] [стр.138] [стр.139] [стр.140] [стр.141] [стр.142] [стр.143] [стр.144] [стр.145] [стр.146] [стр.147] [стр.148] [стр.149] [стр.150] [стр.151] [стр.152] [стр.153] [стр.154] [стр.155] [стр.156] [стр.157] [стр.158] [стр.159] [стр.160] [стр.161] [стр.162] [стр.163] [стр.164] [стр.165] [стр.166] [стр.167] [стр.168] [стр.169] [стр.170] [стр.171] [стр.172] [стр.173] [стр.174] [стр.175] [стр.176] [стр.177] [стр.178] [стр.179] [стр.180] [стр.181] [стр.182] [стр.183] [стр.184] [стр.185] [стр.186] [стр.187] [стр.188] [стр.189] [стр.190] [стр.191] [стр.192] [стр.193] [стр.194] [стр.195] [стр.196] [стр.197] [стр.198] [стр.199] [стр.200] [стр.201] [стр.202] [стр.203] [стр.204] [стр.205] [стр.206] [стр.207] [стр.208] [стр.209] [стр.210] [стр.211] [стр.212] [стр.213] [стр.214] [стр.215] [стр.216] [стр.217] [стр.218] [стр.219] [стр.220] [стр.221] [стр.222] [стр.223] [стр.224] [стр.225] [стр.226] [стр.227] [стр.228] [стр.229] [стр.230] [стр.231] [стр.232] [стр.233] [стр.234] [стр.235] [стр.236] [стр.237] [стр.238] [стр.239] [стр.240] [стр.241] [стр.242] [стр.243] [стр.244] [стр.245] [стр.246] [стр.247] [стр.248] [стр.249] [стр.250] [стр.251] [стр.252] [стр.253] [стр.254] [стр.255] [стр.256] [стр.257] [стр.258] [стр.259] [стр.260] [стр.261] [стр.262] [стр.263] [стр.264] [стр.265] [стр.266] [стр.267] [стр.268] [стр.269] [стр.270] [стр.271] [стр.272] [стр.273] [стр.274] [стр.275] [стр.276] [стр.277] [стр.278] [стр.279] [стр.280] [стр.281] [стр.282] [стр.283] [стр.284] [стр.285] [стр.286] [стр.287] [стр.288] [стр.289] [стр.290] [стр.291] [стр.292] [стр.293] [стр.294]