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


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




[235]

многочленов степени меньше га, требующих времени О(га1о&3). (Можно делить коэффициенты многочлена на старшую и младшую половины, а можно разделять коэффициенты при чётных и нечётных степенях.)

с. Покажите, как можно умножить два га-битных целых числа за O(ralog2 3) шагов, считая, что на каждом шаге обрабатывается 0(1) битов.

32-2 Теплицевы матрицы

Теплицевой матрицей (Toeplitz matrix) называется матрица А = (aij) размера га X га, для которой a8j = a8 i j i для г = 2, 3,... , га и j = 2,3,... ,га.

a.Обязательно ли сумма двух теплицевых матриц является теплицевой? А произведение?

b.Опишите, как представить теплицевы матрицы так, чтобы две теплицевы матрицы размера га X га можно было сложить за время О (га).

c.Напишите алгоритм умножения теплицевой матрицы размера га X га на вектор длины га за время О (га lg га) (используя представление пункта Ь).

d.Напишите эффективный алгоритм умножения двух теплицевых матриц размера га X га и оцените его время работы.

32-3 Вычисление значений всех производных многочлена в точке Многочлен А(х) степени меньше га задан своими коэффициентами (ao, ai,... , ara i). Мы хотим найти его значение вместе со всеми производными в заданной точке xq.

а. Пусть известны коэффициенты bo, Ь\,... , Ъп-\ в представлении многочлена А(х) по степеням (ж - ж0):

A(x) = J2b3

1=0

ХоУ,

Как тогда найти значение многочлена А(х) и всех его производных в точке жо за время 0(га)?

b.Объясните, как найти Ьо,Ь\,... ,Ъп-\ за время O(ralgra), если известны значения А(хо + oj%) при к = 0,1,... , га - 1.

c.Докажите, что

3=0

"/(-/)! при -(га- 1)/0, при 1 / (га - 1).


d. Объясните, как вычислить А(хо -\->кп) для к = 0,1,... , га - 1 за время О (га lgra). Покажите, что все производные многочлена А(х) в точке жо можно вычислить за время О (га lgra).

32-4 Вычисление значений многочлена в нескольких точках

Мы видели, что значение многочлена в точке можно найти за время О (га), используя схему Горнера. Кроме того, мы знаем, что с помощью быстрого преобразования Фурье можно найти значения многочлена в га комплексных корнях из единицы за время 0(ralgга). Сейчас мы покажем, как вычислить значения многочлена степени меньше га в га любых точках за время 0(ralg2 га).

При этом мы используем (без доказательства) тот факт, что можно найти остаток от деления одного многочлена на другой за время О (га lgra). Например, остатком от деления Зж3 + ж2 - Зж + 1 на ж2 + ж + 2 равен

га точкам жо, х\,... , жга 1 мы хотим найти га значении А(хо), A(xi),... , А(хп-\). Для Oijra- 1 определим многочлены Pij(x) = Ylk=i(x - хк) и Qij = А(х) mod Pij(x). Заметьте, что степень Qij(x) не больше j - г.

а.Докажите, что А(х) mod (ж - z) = A(z) для любой точки z.

б.Докажите, что Qkk(x) = А(хк) и что Qo,n-i(x) = А(х).

в.Докажите, что Qik{x) = Qij(x) mod Ргк{х) и Qk](x) = QtJ(x) mod Pkj(x) для i к j.

г.Укажите алгоритм, вычисляющий A(xo), A(xi),... , A(xn i) за время 0(ralg2 ra).

32-5 Быстрое преобразование Фурье в кольце вычетов

Дискретное преобразование Фурье (в том виде, как оно было нами определено), использует вычисления с комплексными числами, что может привести к потере точности из-за ошибок округления. Это особенно нежелательно, если исходными данными и результатами являются целые числа (например, если мы перемножаем два многочлена с целыми коэффициентами) - будет плохо, если из-за ошибок мы получим одно число вместо другого.

В этом случае можно использовать вариант преобразования Фурье, использующий кольцо вычетов (в котором вычисления проводятся точно). Мы уже видели (упр. 32.2-6), что возможно использование вычетов размером Г2(га) битов для работы с га-точечным дискретным преобразованием Фурье. В этой задаче рассматривается более практичный подход, использующий i7(lg га)-битовую арифметику вычетов, (мы используем материал главы 33).

Предполагается, что число га есть степень 2.

а. Будем искать наименьшее к, для которого число р = кп + 1 - простое. Найдите простой эвристический довод в пользу того,

(Зж3 + ж2 - Зж + 1) mod (ж2 + ж + 2) = 5ж - 3.

По коэффициентам многочлена

Еп - 1к

к=0 акхК и


что к примерно равно lg га. (Значение к может оказаться сильно большим или меньшим, но есть основания ожидать, что в среднем потребуется проверить O(lgra) кандидатов на роль к.)

Пусть g является образующей группы Z* и w = gk mod p.

b.Покажите, что дискретное преобразование Фурье и обратное к нему можно корректно определить для операций по модулю р, используя w в качестве главного значения корня степени га из единицы.

c.Убедитесь, что быстрое преобразование Фурье и обратное к нему можно выполнить в кольце вычетов по модулю р за время О (га lgra), если считать, что операции над 0(lg га)-битовыми числами выполняются за единичное время. (Считайте р и w известны-

d. Вычислите дискретное преобразование Фурье вектора (0,5,3,7,7,2,1,6), используя вычисления по модулю 17. Заметьте, что g = 3 является генератором Z*7.

Замечания

Пресс, Флэнери, Тьюкольски и Веттерлинг (Vetterling) [161, 162] дают хорошее описание быстрого преобразования Фурье и его приложений. Хорошее введение в теорию обработки сигналов (область, где быстрое преобразование Фурье применяется чаще всего) написали Оппенгейм и Уилски [153].

Обычно изобретение метода быстрого преобразования Фурье в 1960-х годах связывают с именами Кули и Тьюки [51]. На самом деле этот метод неоднократно встречался и раньше, но его важность стала очевидной лишь с появления современных цифровых вычислительных машин. Пресс, Флэнери, Тьюкольски и Веттерлинг указывают, что этот метод знали Рунге (Runge) и Кёниг (Konig) ещё в 1924 году.



[стр.Начало] [стр.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]