Algoritmická matematika 3 Mgr. Petr Osička, Ph.D. ZS Rozděl a panuj

Transkript

1 Algoritmická matematika 3 KMI/ALM3 Mgr. Petr Osička, Ph.D. ZS Základní princip Rozděl a panuj Technika rozděl a panuj je založená na následující myšlence. Z dané vstupní instance I vygenerujeme několik menších instancí I k stejného problému takovým způsobem, že jsme schopni, pokud známe řešení instancí I k, sestavit řešení původní instance I. Přitom pro nalezení řešení k instancím I k použijeme rekurzivně stejný postup. Rekurzi zastavíme v momentě, kdy jsou instance natolik malé, že pro ně známe řešení, nebo je jejich řešení možno rychle spočítat jiným algoritmem. Příklad 1. Přístup můžeme demonstrovat na problému vypočtení n-tého Fibonnaciho čísla. Toto číslo budeme značit jako F(n). Připomeňme si, že toto číslo je definováno následujícím rekurentním vztahem. F (n) = { F (n 1) + F (n 2) n 2 n n {0, 1} (1) Předchozí vztah ihned nabízí sestavení algoritmu přístupem rozděl a panuj. Je-li n rovno 0 nebo 1, výsledek známe. Jinak spočítáme F (n) tak, že nejprve spočteme F (n 1) a F (n 2) a poté tato čísla sečteme. Tedy, vstupní instancí I našeho algoritmu je číslo n. Z toho čísla vygenerujeme dvě menší instance n 1 a n 2. Spočítáme pro ně výsledky, a řešení pro původní instanci, dostaneme jednoduchým sečtením. Malé instance, pro které již známe výsledek, jsou v tomto případě čísla 0 a 1. V algoritmech realizujících techniku Rozděl a panuj můžeme rozpoznat dvě oddělené fáze, které ji dali název. Během první fáze, které říkáme Rozděl, algoritmus vygeneruje množinu menších instancí. Pojmenování fáze naznačuje, že původní instanci rozdělíme na několik menších. I když je označení Rozděl nepřesné, protože instanci nemusíme přímo rozdělit, toto označení se zažilo (+ existuje očividná analogie s pořekadlem o panovnících). Během druhé fáze, pojmenované jako Panuj, sestavíme ze řešení vypočtených pro menší instance řešení instance původní. Příklad 2. Mergesort je algoritmus určený pro třídění prvků porovnáváním, který znáte z ALM2. V tomto algoritmu ve fázi rozděl vstupní instanci skutečně rozdělujeme (přibližně na poloviny). Pro jednoduchost předpokládejme, že chceme setřídit pole A, který obsahuje celá čísla. Algoritmus uvádíme jako Algoritmus 1, kde je rozepsán do dvou procedur. V proceduře MergeSort, jejíž cílem je setřídít část pole A omezenou indexy l a p, nejdříve na řádku 2 ověříme, zda-li už není instance triviální, to jest zda-li nemá A[l]... A[p] méně než dva prvky. Pokud ano, můžeme tuto část pole považovat za setříděnou. Na řádku 3 probíhá fáze Rozděl, kdy část pole k setřízení rozdělíme na dvě části (jejichž velikost se liší maximálně o jeden prvek). Na následujících dvou řádcích poté setřídíme obě tyto části stejným postupem (tedy pomocí MergeSort). Na řádku 7 pak setříděné části slijeme pomocí procedury Merge. To odpovídá fázi Panuj. Nyní si již napišme obecný předpis pro algoritmus používající techniku rozděl a panuj. 1: procedure Divide-and-Conquer(I) 2: if I c then Jeli I dostatečně malé (menší než konstanta c), 3: return BasicAlgoritm(I) použijeme jiný algoritmus 4: end if 5: Vytvoř instance I 1... I k menší velikosti než I 6: for i 1 to k do 7: x i Divide-and-Conquer(x i ) x i je řešení instance I i 8: end for 9: Zkombinuj x 1... x k do x x je řešení instance I 10: return x 11: end procedure

2 KMI/ALM3: Rozděl a panuj 2 Algoritmus 1 Mergesort 1: procedure MergeSort(A, l, p) 2: if p < l then 3: q (l + p)/2 rozděl 4: MergeSort(A, l, q) 5: MergeSort(A, q + 1, p) 6: end if 7: Merge(A, l, q, p) panuj 8: end procedure 1: procedure Merge(A, l, q, p) 2: n 1 q l + 1 3: r q 4: for i 0 to n 1 1 do 5: L[i] A[l + 1] 6: end for 7: for i 0 to n 1 1 do 8: R[i] A[q + i + 1] 9: end for 10: L[n 1 ] R[ ] 11: i j 0 12: for k l to p do 13: if L[i] R[j] then 14: A[k] L[i] 15: i i : else 17: A[k] R[j] 18: j j : end if 20: end for 21: end procedure 2 Řešení rekurencí Analýza složitosti algoritmů rozděl a panuj vede k rekurencím. Z pohledu celého algoritmu Divide-and Conquer je složitost BasicAlgorithm brána jako konstantní, voláme ho totiž vždy pro instance, které mají shora omezenou velikost. Označíme-li si složitost Divide-and-Conquer jako T (n), pak ji lze vyjádřit rekurentně jako s okrajovou podmínkou T (n) = k T (n i ) + f(n). i=1 T (a) = O(1), pro všechna a c. Okrajové podmínky v rekurencích se často neuvádí. Pokud je tomu tak, většinou předpokládáme, že má tvar T (1) = 1. Při konkrétní práci s rekurencí pak můžeme, za určitých podmínek, jedničku na pravé i na levé straně změnit na jinou konstantu. Číslo n i ve výrazu je velikost instance I i (v konkrétních rekurencích bývá n i vyjádřena funkcí závislou na n) a f(n) zachycuje složitost vytvoření menších instancí (řádek 5) a kombinace řešení těchto instancí (řádek 9). Cílem této kapitoly je ukázat několik základních metod řešení takových rekurencí. Řešením rekurence je její uzavřená forma, tj. vyjádření, které neobsahuje rekurentní volání sama sebe na pravé straně rovnosti. To, že budeme řešení odhadovat znamená, že výsledkem nebude přesné znění uzavřené formy, ale její asymptotický odhad. 2.1 Substituční metoda První metoda, kterou si ukážeme je metoda substituce. Její princip spočívá ve dvou krocích 1. Odhadneme asymptotický odhad uzavřené formy 2. Vybereme jednu funkci z toho odhadu a indukcí se pokusíme dokázat správnost. Postup si ukážeme na příkladu. Uvažujme rekurenci T (n) = T ( n/2 ) + T ( n/2 ) + 1. (2)

3 KMI/ALM3: Rozděl a panuj 3 Odhadneme, že řešením je lineární funkce, tedy že odhadem je O(n). Zvolíme jednoho reprezentanta z O(n), např. cn b pro nějaké konstanty c, b. Nyní musíme indukcí dokázat, že pro vhodné konstanty c a b platí, že T (n) cn b. Předpokládejme tedy, že platí T ( n/2 ) c n/2 b a T ( n/2 ) c n/2 b. Po dosazení zpět do rekurence dostaneme T (n) (c n/2 b) + (c n/2 b) + 1 = cn 2b + 1 (3) Výraz cn 2b + 1 tedy rozdělíme na sumu výrazu, který chceme obdržet a zbytku, tzv. residentu cn 2b + 1 = cn b + ( b + 1). Vidíme, že aby rovnost platila, musí se b rovnat 1 (zvolíme tak totiž jako řešení cn 1 a na konci nerovnosti (3) dostaneme také cn 1, čímž dokončíme důkaz indukčního kroku). Pro potřeby důkazu indukcí zbývá ověřit, že nerovnost platí pro okrajovou podmínku T (1) = 1. Pokud do ní dosadíme, dostaneme nerovnost T (1) = 1 c 1, která platí pro c 2. (Dokázali jsme tedy například nerovnost T (n) 2n 1). Indukcí jsme tedy dokázali, že řešení rekurence leží v O(n). Protože se v substituční metodě nachází několik voleb, které se zdají být těžké (např. jak uhodnout odhad řešení rekurence, kterou funkci z asymptotického odhadu vybrat pro důkaz indukcí) záleží schopnost použít substituční metodu na zkušenostech, citu a ochotě experimentovat. Přesto si uvedeme několik triků, které mohou být užitečné. Často se stane, že problém, na který narazíme při důkazu indukcí nám napoví, jak lépe zvolit reprezentanta z asymptotického odhadu. Uvažme opět rekurenci (2), tentokrát však z O(n) zvolíme funkci cn. Po dosazení indukčního předpokladu do rekurence pak získáme T (n) c n/2 + c n/2 + 1 = cn + 1 Vidíme, že v residentu se nevyskytuje žádná konstanta a důkaz tedy nelze dokončit. Potřebujeme tedy dostat do residentu konstantu, jejímž vhodným nastavením bychom jedničku odečetli. To můžeme provést tak, že místo cn zvolíme cn b jako v předchozím případě. Pokud se stane, že jsme dokázali nerovnost pro obecný indukční krok, ale pro okrajovou podmínku naše řešení nefunguje, můžeme to vyřešit tím, že okrajovou podmínku vhodně změníme. Ukážeme si na příkladu. Uvažme rekurenci T (n) = 2T ( n/2 ) + n. (4) Správný odhad je O(n lg n). Pokud vybereme funkci cn lg n můžeme dokázat správnost obecného indukčního kroku pro c 1 T (n) 2(c n/2 lg( n/2 ) + n cn lg(n/2) + n = cn lg n cn lg 2 + n cn lg n U okrajové podmínky ovšem narazíme na problém. T (1) = 1 1 lg 1 = 0 Můžeme využít toho, že dokazujeme asymptotický odhad a nerovnost proto může platit až od určitého n 0. Pro n > 3 už (4) nezávisí na T (1). Volbou n 0 = 2 můžeme posunout okrajovou podmínku směrem nahoru (čímž případ n = 1, který způsobuje problémy, z důkazu vypustíme) a nahradit okrajovou podmínku pomocí T (2) = 4, T (3) = 5, s tím, že nyní musí být c 2 (nové okrajové podmínky jsme dostali dosazením 2 a 3 do (4)).

4 KMI/ALM3: Rozděl a panuj 4 f(n) f(n) f(n 1 ) f( ) f(n k ) + k i=1 f(n k) počet listů Obrázek 1: Idea metody odhadu pomocí stromu rekurze = výsledek 2.2 Odhad pomocí stromu rekurze Metoda popsaná v této kapitole je užitečný nástroj jak odhadnout asymptotické omezení dané rekurence. Neměli bychom zapomenout, že je nutné ještě dokázat správnost odhadu pomocí substituční metody. Metoda odhadu pomocí stromu rekurze je založená na jednoduché myšlence. Rekurentní vztah T (n) = k T (n i ) + f(n). i=1 si představíme jako strom. Uzly stromu odpovídají jednotlivým rekurzivním voláním. Každému uzlu přiřadíme množství práce, kterou pomyslný algoritmus při daném volání provede. Listové uzly tak budou mít přiřazenu konstantu, která odpovídá okrajovým podmínkám rekurentního vztahu. Množství práce vnitřních uzlů pak odpovídá aplikaci funkce f na argument daného rekurzivního volání. V kořenu tedy provedeme f(n) práce, v jeho i-tém potomku pak f(n i ). Přirozeně, pokud sečteme práci přiřazenou všem uzlům, dostaneme řešení rekurence. Součet provedeme ve dvou krocích. Nejdříve pro každou úroveň stromu sečteme práci provedenou v uzlech na oné úrovni, poté sečteme sumy z jednotlivých vrstev. Metodu si opět předvedeme na příkladu. Uvažujme rekurenci T (n) = 2T (n/4) +. (5) Začněme konstruovat strom rekurze. Kořenu přiřadíme. Potomkům kořene, kteří odpovídají T (n/4) přiřadíme (n/4) 2. Uzlům v další vrstvě, odpovídajícím T (n/16) (rekurzivní volání pro (5) s argumentem n/4) přiřadíme (n/16) 2. V první vrstvě se nachází 2 uzly, suma práce je tedy 2(n/4) 2, v druhé vrstvě se nachází 4 uzly, suma je tedy 4(n/16) 2. Nyní si můžeme všimnout určité pravidelnosti. Práce, kterou provedeme v jednom uzlu v i-té vrstvě (kořen je v nulté vrstvě) odpovídá (n/4 i ) 2, počet uzlů v i-té vrstvě je 2 i, suma přes všechny uzly v této vrstvě je tedy 2 i (n/4 i ) 2 = /8 i. Listy se nacházejí ve vrstvě log 4 n, jejich počet je tedy 2 log 4 n = n log 4 2 = n 1/2. (Vysvětlení předchozí rovnosti: platí, že log 2 n = log 4 n log 4 2 a tedy log 4 n = log 2 n log 4 2 = log 2 nlog 4 2. Nyní stačí dosadit obdržený výraz zpět do 2 log 4 n a dostaneme požadovanou rovnost). Pokud nyní sečteme všechny vrstvy, dostaneme T (n) = log 4 n 1 ( /8 i ) + n 1/2 log 4 n 1 = (1/8 i ) + n 1/2

5 KMI/ALM3: Rozděl a panuj n log 4 2 Obrázek 2: Strom rekurze pro rekurenci (5). Abychom se zbavili závislosti na n v sumě, nahradíme ji sumou celé geometrické posloupnosti. Dostaneme tedy log 4 n 1 T (n) = (1/8 i ) + n 1/2 (1/8 i ) + n 1/2 = 1 1 1/8 + n1/2 Odhad řešení rekurence je tedy O( ). 2.3 Master theorem Master theorem je jednoduchý návod pro nalezení odhadu řešení rekurencí, které se vyskytují při analýze algoritmů, které ve fázi rozděl dělí vstupní instanci na několik stejně velkých podinstancí. Věta 1. Nechť a 1 a b 1 jsou konstanty a f(n) je funkce a T (n) je definovaná na nezáporných celých číslech pomocí rekurence T (n) = at (n/b) + f(n), přičemž n/b interpretujeme jako n/b nebo n/b. Pak můžeme T (n) následovně asymptoticky omezit. 1. Pokud f(n) = O(n log b a ϵ ) pro ϵ 0, pak T (n) = Θ(n log b a ). 2. Pokud f(n) = Θ(n log b a ) pak T (n) = Θ(n log b a lg n). 3. Pokud f(n) = Ω(n log b a+ϵ ) pro ϵ 0 a pokud af(n/b) cf(n) pro konstantu 0 < c < 1 a všechna dostatečně velká n, pak T (n) = Θ(f(n)). 3 Příklady algoritmů 3.1 Násobení polynomů a FFT Součin reálných funkcí f a g je funkce f g definovaná jako (f g)(x) = f(x)g(x) pro každé reálné x. Součin AB(x) polynomů A(x) = a 0 + a 1 x + a 2 x a d x d a B(x) = b 0 + b 1 x + b 2 x b d x d je opět polynom definovaný jako AB(x) = c 0 + c 1 x + c 2 x c 2d x 2d,

6 KMI/ALM3: Rozděl a panuj 6 kde c k = a 0 b k + a 1 b k a k b 0 = k a i b k i. (O správnosti předchozího tvrzení se lze jednoduše přesvědčit symbolickým vynásobením obou polynomu, tj. roznásobením závorek ). Algoritmus přímo založený na předchozím vztahu má složitost O(d 2 ), kde d je stupeň polynomů. Pro výpočet c k potřebujeme k + 1 součinů a k součtů. Pro celý polynom, tj. 2d koeficientů je to 2d k=0 (2k + 1) = O(d2 ) operací. Princip zefektivnění algoritmu pro násobení leží ve změně reprezentace polynomu a je založen na následující větě známé z algebry. Věta 2. Polynom stupně d je jednoznačně reprezentován svými hodnotami v alespoň d + 1 různých bodech. Tedy místo hodnotami koeficientů lze polynom reprezentovat pomocí hodnot polynomu v odpovídajícím počtu bodů. Mezi oběma reprezentacemi lze libovolně přecházet. Koeficienty a 0,a 1,...,a d Vyhodnocení Interpolace Hodnoty A(x 0 ),A(x 1 ),...,A(x d ) Násobení polynomů A a B reprezentovaných hodnotami v stejných bodech x i lze jednoduše provést vynásobením příslušných hodnot AB(x i ) = A(x i ) B(x i ). Tak získáme reprezentaci výsledného algoritmu pomocí hodnot, kterou můžeme převést zpět na koeficienty. Toto násobení má lineární složitost. Pokud tedy najdeme dostatečně efektivní algoritmus pro převod mezi reprezentacemi polynomu, dostaneme efektivní algoritmus pro násobení polynomů. Pro rychlý výpočet hodnot polynomu i interpolaci lze použít Rychlou Fourierovu Transformaci (FFT). Vstupem FFT je polynom A reprezentovaný n koeficienty. Musí platit n = 2 k, což nás ale nijak neomezuje, protože koeficienty mocnin vyšších než je stupeň polynomu jsou rovny 0. Výstupem je reprezentace polynomu hodnotami v n bodech. FFT je založena na jednoduchém pozorování, že sudé mocniny v opačných bodech se rovnají, tedy, že pro sudé k platí ( x) k = x k. Předpokládejme tedy, že chceme spočítat hodnoty polynomu v bodech ±x 0, ±x 1, ± x n/2 1. (6) Takovou volbu můžeme provést, protože počet koeficientů je vždy mocnina dvou. Polynom rozdělíme na členy se sudými a s lichými mocninami A(x) = (a 0 + a 2 x ) + x(a 1 + a 3 x ) Výhodné je, že oba výrazy v závorkách jsou opět polynomy. Výraz (a 0 + a 2 x ) je polynom A S (z) = a 0 + a 2 z +..., do kterého dosadíme x 2 za z, a tedy (a 0 + a 2 x ) = A S (x 2 ). (7) Stejnou úvahou dostaneme pro polynom v pravé závorce polynom A L = a 1 + a 3 z +..., pro který platí (a 1 + a 3 x ) = A L (x 2 ). (8) Polynomy A S a A L mají poloviční stupeň jako n. Hodnoty pro ±x i pak lze vyjádřit jako A(x i ) = A s (x 2 i ) + x i A l (x 2 i ), (9) A( x i ) = A s (x 2 i ) x i A l (x 2 i ). (10) K výpočtu hodnot polynomu A v n bodech tedy potřebujeme vypočítat hodnoty polynomů A S a A L v n/2 bodech. Samozřejmě, v duchu rozděl a panuj použijeme stejný postup opakovaně pro výpočet hodnot A S a A L. Musíme ještě vyřešit jeden drobný zádrhel, ale nejdříve příklad.

7 KMI/ALM3: Rozděl a panuj 7 ( i) ( i) ( i) ( i) i i 1 1 i i Obrázek 3: Idea nalezení bodů pro výpočet hodnoty polynomu pomocí FFT. Potomci každého uzlu jsou jeho druhé odmocniny. 1 Příklad 3. Uvažujme polynom 3x 3 + 2x 2 + x 3. Pak algoritmus projde postupně následující strom polynomů (A S vlevo, A L vpravo). Body, ve kterých se hodnoty počítají ještě neuvažujeme. 3x 3 + 2x 2 + x 3 2x 2 3; A s (z) = 2z 3 3x 2 + 1; A L (z) = 3z + 1 A S (z) = 3 A L (z) = 2 A S (z) = 1 A S (z) = 3 Řekněme, že v předchozím příkladě budeme chtít spočítat hodnoty polynomu pro body ±x 0, ±x 1. Při rekurzivním volání pak musíme spočítat hodnoty polynomů (2z 3) a (3z + 1) pro x 2 0 a x 2 1. Problém je, že x 2 0 a x 2 1 nemohou být opačná čísla, protože druhé mocniny reálných čísel jsou vždycky kladné. Abychom našli takové body, jejichž druhá mocnina je záporná, musíme přejít od reálných čísel ke komplexním. Nejjednodušší je případ, kdy je polynom stupně 1 a hodnoty počítáme pouze pro dvojici bodů (když je polynom jenom konstanta, je jeho hodnotou vždy tato konstanta a tedy nemá smysl volit body dvojici opačných bodů). Zvolme pro tuto úroveň rekurze (tedy úroveň stromu rekurze, na které se vyskytují polynomy stupně 1) body ±1. O úroveň výše (úroveň, na které se vyskytují polynomy stupně 3) potřebujeme 2 páry bodů, druhá mocnina jednoho páru se musí rovnat 1, druhá mocnina druhého páru se musí rovnat 1. Přirozeně tyto body jsou ±1, ±i, kde i je imaginární jednotka. Opakováním této konstrukce získáme body, pro které potřebujeme spočítat hodnoty polynomu v kořeni stromu rekurze (viz obrázek 4). Každá z úrovní stromu na obrázku 4 obsahuje právě všechny odmocniny z 1. Přesněji, je-li v dané úrovni n uzlů, obsahuje právě všechny n 1. Algoritmus FFT využívá následujících vlastností n 1. Pro n = 2 k platí, že (a) n-té odmocniny jedné jsou ω 0 = 1, ω, ω 2,..., ω n 1, kde ω = e 2πi n. (b) ω +j = ω j (c) Množina druhých mocnin n 1 jsou právě {1, ω 2, (ω 2 ) 2,..., (ω 2 ) n/2 1 }, tedy n/2-té odmocniny 1. Tyto vlastnosti nám umožňují iterovat přes všechny n 1. Stačí spočítat ω a pak iterovat přes její mocniny. Konec iterace poznáme podle toho, že se dostaneme na hodnotu 1. Například pro n = 4 je ω = i a jednotlivé mocniny jsou postupně ω 2 = 1, ω 3 = i, ω 4 = 1. Vlastnost (b) říká, že množina všech n 1 tvoří opravdu

8 KMI/ALM3: Rozděl a panuj 8 dvojice opačných bodů a k jejich nalezení stačí iterovat pouze přes polovinu mocnin. Druhá polovina jsou právě opačné body. Například pro n = 4 máme ω = i a opačný bod je ω 1+2 = ω 3 = i, pro ω 2 = 1 je opačný bod ω 2+2 = ω 4 = 1. Díky (c) v rekurzivních voláních skutečně počítáme s druhými mocninami bodů. Nyní si již můžeme uvést pseudokód FFT. Algoritmus 2 Rychlá Fourierova transformace 1: procedure FFT(A[0,..., n 1], ω) n je mocnina dvou 2: if ω = 1 then V tomto případě už A = 1 3: return A 4: end if 5: for i 0 to n/2 1 do 6: A S [i] A[i 2] Koeficienty pro sudé mocniny 7: A L [i] A[i 2 + 1] Koeficienty pro liché mocniny 8: end for 9: S FFT(A S, ω 2 ) 10: L FFT(A L, ω 2 ) 11: x 1 Začínáme od ω 0 12: for j 0 to n/2 1 do 13: R[j] S[j] + x L[j] Rovnice (9) 14: R[j + n/2] S[j] x L[j] Rovnice (10) 15: x x ω Další mocnina ω 16: end for 17: return R 18: end procedure Složitost FFT vyjádříme pomocí rekurence. V algoritmu jsou dvě rekurzivní volání, každému z nich předáváme instanci o velikosti n/2. Zbývající část algoritmu (tedy cykly na řádcích 5 až 8 a 13 az 17) má složitost O(n). Rekurence je tedy T (n) = 2T (n/2) + O(n) s okrajovou podmínkou T (1) = 1. Podle master theoremu je pak složitost FFT vyjádřena Θ(n log n). Připomeňme si, že algoritmus přímým dosazením do polynomu má složitost O( ). Nyní si můžeme ukázat rychlý algoritmus pro násobení polynomů. Nechť A a B jsou polynomy, které chceme násobit se stupni s a t. Výsledný polynom AB bude mít stupeň s+t. Abychom tedy mohli interpolovat z hodnot výsledného polynomu jeho koeficienty, potřebujeme jich znát nejméně s + t + 1. Pro potřeby FFT ovšem musí být počet hodnot mocninou dvou, proto je skutečně počítaný počet hodnot roven n = 2 log 2 (s+t+1), tedy nejbližší větší mocnině dvou. Algoritmus nejdříve volá FFT, aby spočítal hodnoty A a B v n bodech, poté tyto body vynásobí a získá hodnoty v těchto bodech pro AB. Posledním krokem je interpolace koeficientů. Díky vlastnostem n 1 ji lze vypočítat také pomocí FFT. Pro hodnoty AB(ω 0 ), AB(ω), AB(ω 2 ),..., AB(ω n 1 ) dostaneme koeficienty ab 0, ab 1,..., ab n 1 pomocí [ab 0, ab 1,..., ab n 1 ] = 1 n FFT([AB(ω0 ), AB(ω), AB(ω 2 ),..., AB(ω n 1 )], ω 1 ). Pseudokód algoritmu je označen jako Algoritmus 4. Složitost FastPolyMultiply je O(n log n). Algoritmus třikrát volá FFT se složitostí O(n log n). Řádek 4, cyklus na řádcích 7 až 9, i násobení pomocí 1/n na řádku 10 mají složitost O(n). Celkově je tedy složitost dominována FFT.

9 KMI/ALM3: Rozděl a panuj 9 Algoritmus 3 Rychlé násobení polynomů 1: procedure FastPolyMultiply(A[0,..., s], B[0,..., t]) 2: n 2 log 2 (s+t+1) 3: ω e 2πi n 4: Doplň pomocí nul A i B na n prvků. Nuly přidávám na konec 5: V A FFT(A, ω) Hodnoty pro A 6: V B FFT(B, ω) Hodnoty pro B 7: for i 0 to n 1 do 8: V AB [i] V A [i] V B [i] Násobení polynomů 9: end for 10: return 1 n FFT(V AB, ω 1 ) Interpolace pomocí FFT 11: end procedure Reference [1] Donald Knuth. The Art of Computer Programming, Volume I. Addison-Wesley, 1997 [2] Donald Knuth. Selected papers on analysis of algorithms. Center for the study of language an information, 2000 [3] Cormen et. al. Introduction to algorithms. The MIT press [4] Donald Knuth Concrete mathematics: A foundation for computer science. Addison-Wesley professional, 1994 [5] John Kleinberg, Éva Tardes. Algorithm design. Addison-Wesley, [6] U. Vazirani et. al. Algorithms. McGraw-Hill, [7] Steve Skiena. The algorithm design manual. Springer, [8] Juraj Hromkovič. Algorithmics for hard problems. Springer, [9] Oded Goldreich. Computational complexity: a conceptual perspective. Cambridge university press, 2008.