Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel 2.3, 4.2-4.5, problem 30.1.c] Gerth Stølting Brodal.

Slides:



Advertisements
Lignende præsentationer
Algoritmer og Datastrukturer 1 Amortiseret Analyse [CLRS, kapitel 17] Gerth Stølting Brodal.
Advertisements

Oplæg og øvelser, herunder frugt og vand
Algoritmer og Datastrukturer 2 Dynamisk Programmering [CLRS 15] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel , , 28
Algoritmer og Datastrukturer 1 Merge-Sort [CLRS, kapitel 2.3] Heaps [CLRS, kapitel 6] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1...mere Sortering [CLRS, kapitel 8] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Grådige Algoritmer [CLRS ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Dynamisk Programmering [CLRS, kapitel 15] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 1 Union-Find [CLRS, kapitel ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Binære Søgetræer [CLRS, kapitel 12] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1...mere Sortering [CLRS, kapitel 8] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Merge-Sort [CLRS, kapitel 2.3] Heaps [CLRS, kapitel 6] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Dynamisk Programmering [CLRS 15] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal Mønstergenkendelse [CLRS, kapitel , 32.4]
Algoritmer og Datastrukturer 1...mere Sortering [CLRS, kapitel 8] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal Maksimale Strømninger [CLRS, kapitel ]
Algoritmer og Datastrukturer 1 Gerth Stølting Brodal.
Design, verifikation og analyse
Algoritmer og Datastrukturer 2 Maksimale Strømninger [CLRS, kapitel ] Gerth Stølting Brodal Aarhus Universitet Ford-Fulkerson.
Algoritmer og Datastrukturer 1 Binære Søgetræer [CLRS, kapitel 12] Gerth Stølting Brodal.
1 Sortering. 2 Sortering ved fletning (merge-sort) 7 2 | 9 4  | 2  2 79 | 4   72  29  94  4.
Algoritmer og Datastrukturer 1 Amortiseret Analyse [CLRS, kapitel 17] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Dynamisk Rang & Interval Træer [CLRS, kapitel 14] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Binære Søgetræer [CLRS, kapitel 12] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2
Algoritmer og Datastrukturer 2 Topologisk Sortering, Stærke Sammenhængskomponenter [CLRS, kapitel ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Union-Find [CLRS, kapitel ] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Grådige Algoritmer [CLRS ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Quicksort [CLRS, kapitel 7] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Graf repræsentationer, BFS og DFS [CLRS, kapitel ] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Grådige Algoritmer [CLRS ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Quicksort [CLRS, kapitel 7] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Graf repræsentationer, BFS og DFS [CLRS, kapitel ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel , , 28
Algoritmer og Datastrukturer 1 Union-Find [CLRS, kapitel ] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 1 Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal Korteste Veje [CLRS, kapitel ]
Clicker Test a)Ja b)Nej c)Ved ikke. Algoritmer og Datastrukturer 2 Graf repræsentationer, BFS og DFS [CLRS, kapitel ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Dynamisk Rang & Interval Træer [CLRS, kapitel 14] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Topologisk Sortering, Stærke Sammenhængskomponenter [CLRS, kapitel ] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Dynamisk Rang & Interval Træer [CLRS, kapitel 14] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 2 Grådige Algoritmer [CLRS, kapitel ] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Graf repræsentationer, BFS og DFS [CLRS, kapitel ] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Topologisk Sortering, Stærke Sammenhængskomponenter [CLRS, kapitel ] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 1 Heaps [CLRS, kapitel 6] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 1 Amortiseret Analyse [CLRS, kapitel 17] Gerth Stølting Brodal.
Algoritmer og Datastrukturer 1 Amortiseret Analyse [CLRS, kapitel 17] Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 1 Gerth Stølting Brodal Aarhus Universitet.
Algoritmer og Datastrukturer 2 Gerth Stølting Brodal Korteste Veje [CLRS, kapitel ]
Algoritmer og Datastrukturer 2 Dynamisk Programmering [CLRS 15]
Algoritmer og Datastrukturer 1
Dynamisk Rang & Interval Træer [CLRS, kapitel 14]
Algoritmer og Datastrukturer 1 Amortiseret Analyse [CLRS, kapitel 17]
Algoritmer og Datastrukturer 1
Union-Find [CLRS, kapitel ]
Algoritmer og Datastrukturer 2
Algoritmer og Datastrukturer 2 Grådige Algoritmer [CLRS ]
Algoritmer og Datastrukturer 1 Amortiseret Analyse [CLRS, kapitel 17]
Algoritmer og Datastrukturer 2
Algoritmer og Datastrukturer 2 Dynamisk Programmering [CLRS 15]
Algoritmer og Datastrukturer 1
Dynamisk Rang & Interval Træer [CLRS, kapitel 14]
Algoritmer og Datastrukturer 2
Grundlæggende Algoritmer og Datastrukturer
Grundlæggende Algoritmer og Datastrukturer
Præsentationens transcript:

Algoritmer og Datastrukturer 2 Del-og-kombiner [CLRS, kapitel 2.3, , problem 30.1.c] Gerth Stølting Brodal

Del-og-Kombiner Algoritme design teknik – virker for mange problemer (men langt fra alle) Opdel et problem P i mindre problemer P 1,..,P k, der kan løses uafhængigt (små problemer løses direkte) Løs delproblemerne P 1,..,P k rekursivt Kombiner løsningerne for P 1,..,P k til en løsning for P

Eksempel: Merge-Sort To mindre delproblemer Løs rekursivt pqq+1r 1 n A sorteret Kombiner

n A p qr 1 L R } } n1n1 n2n2   n 2 +1 n i j } k kopi flet sorteret

Merge-Sort : Analyse Rekursionstræet Observation Samlet arbejde per lag er O(n) O(n · # lag) = O(n · log 2 n) Arbejde

Del-og-kombiner, dADS 1 eksempler: MergeSort – Del op i to lige store dele – Rekursiv sortering – Kombiner = fletning QuickSort – Opdel efter tilfældigt pivot (tilfældig opdeling) – Rekursiv sortering – Kombiner = ingen (konkatener venstre og højre) QuickSelect – Opdel efter tilfældigt pivot (tilfældig opdeling) – Rekursiv select – Kombiner = ingen

Essentielt to forskellige måder: 1.Argumenter direkte om rekursionstræet (analyser dybde, #knuder på hvert niveau, arbejde i knuderne/niveauerne/træet) 2.Løs en matematisk rekursionsligning, f.eks. Bevises f.eks. vha. induktion. Analyse af Del-og-Kombiner = analyse af en rekursiv procedure T(n) ≤ a hvis n ≤ c T(n) ≤ 2·T(n/2) + a·n ellers

Løsning af rekursionsligninger Fold rekursionsligningen ud og argumenter om rekursionstræet Gæt en løsning og vis den ved induktion efter voksende n T(n) ≤ a hvis n ≤ c T(n) ≤ 2·T(n/2) + a·n ellers

Rekursionsligninger: Faldgrubber Ulige opdelinger glemmes ( n ulige, så er de rekursive kald typisk └ n/2 ┘ og ┌ n/2 ┐ ) Analyserer typiske kun for n = 2 k Brug aldrig O -udtryk i rekursionsformlen – brug konstanter ( T(n)=O(n)+O(T(n/3)))

Master Theorem (Simplificering af [CLRS, Theorem 4.1])

Matrix Multiplication c ij = Σ k=1..m a ik ·b kj

Matrix Multiplication Naive implementation: tid O(npm)

(Kvadratisk) Matrix Multiplikation [CLRS, kapitel 4.2] A,B,...,K,L er n/2 x n/2 -matricer I,J,K,L kan beregnes med 8 rekursive multiplication og 4 matrix additioner på n/2 x n/2 - matricer T(n) ≤ 8·T(n/2) + c·n 2 for n ≥ 2 T(n) ≤ c for n = 1 T(n) = O(n 3 )

Strassen’s Matrix Multiplikation rekursive multiplikationer – – – – –– –

Bruger 18 matrix additioner (tid O(n 2 ) ) og 7 rekursive matrix multiplikationer T(n) = O(n 2.81 ) hvor 2.81=log 2 7 T(n) ≤ 7·T(n/2) + c·n 2 for n ≥ 2 T(n) ≤ c for n = 1 Strassen’s Matrix Multiplikation

Multiplikation af lange heltal [CLRS, problem 30.1.c] I og J hver heltal med n bits Naive implementation kræver O(n 2 ) bit operationer Lad I = I h ·2 n/2 +I l og J = J h ·2 n/2 +J l I·J = I h ·J h ·2 n +((I h -I l )·(J l -J h )+I l ·J l +I h ·J h )·2 n/2 +I l ·J l T(n) = O(n log 3 ) T(n) ≤ 3·T(n/2) + c·n for n ≥ 2 T(n) ≤ c for n = 1 2

Multiplikation af lange heltal Del-og-kombiner O(n log 2 3 ) Schönhage-Strassen, 1971 O(n ∙ log n ∙ loglog n) Fürer, 2007 O(n ∙ log n ∙ 2 O(log* n) )