Slajdy
Transkrypt
Slajdy
Plan na dziś 1. O problemie 2. Algorytm aproskymacyjny 3. Zastosowania 4. Dodatki . – p.1/10 O problemie Definicja Ograniczenia algorytmów aproksymacyjnych Poprzednie algorytmy . – p.2/10 Algorytm - rozkady Algorytm LZ77 . – p.3/10 Algorytm - rozkady Algorytm LZ77 Rozkład LZ . – p.3/10 Algorytm - rozkady Algorytm LZ77 Rozkład LZ Rozkład wzgledem ˛ gramatyki . – p.3/10 Algorytm - rozkady Algorytm LZ77 Rozkład LZ Rozkład wzgledem ˛ gramatyki Ograniczenie dolne na wielkość gramatyki . – p.3/10 Algorytm - rozkady Algorytm LZ77 Rozkład LZ Rozkład wzgledem ˛ gramatyki Ograniczenie dolne na wielkość gramatyki Komentarz o kompresji . – p.3/10 Algorytm - balansowanie Gramatyki AVL . – p.4/10 Algorytm - balansowanie Gramatyki AVL Wysokość drzewa wyprowadzenia . – p.4/10 Algorytm - balansowanie Gramatyki AVL Wysokość drzewa wyprowadzenia Operacja konkatenaji gramatyk Koszt O(height(A) - height(B)) . – p.4/10 Algorytm - balansowanie Gramatyki AVL Wysokość drzewa wyprowadzenia Operacja konkatenaji gramatyk Koszt O(height(A) - height(B)) Rozkad czynnika LZ fi w gramatyce fi =val(S1 )val(S2 )...val(St(i) ) gdzie t(i) = O(log(|fi |) . – p.4/10 Algorytm - pseudokod Construct-Grammar(w) |w| = n; 1. wywoaj algorytm LZ, otrzymucjac ˛ rozkład f1 , f2 , ...fk n 2. jeśli k > log(n) to zwróć trywialny rozkad 3. w przeciwnym przypadku dla i od 1 do k wykonaj ˛ rozkładem czynnika fi w G a) Niech S1 , S2 , ..., St(i) bedzie b) H := Concat(S1 ,S2 ,..., St(i) ) c) G := Concat(G,H) 4. zwróć G . – p.5/10 Algorytm - analiza Poszczególne kroki algorytmu . – p.6/10 Algorytm - analiza Poszczególne kroki algorytmu Czas dziłania Concat z ciagniem ˛ bitionicznym . – p.6/10 Algorytm - analiza Poszczególne kroki algorytmu Czas dziłania Concat z ciagniem ˛ bitionicznym Czas dziłania i stopień aproksymacji . – p.6/10 Algorytm - analiza Poszczególne kroki algorytmu Czas dziłania Concat z ciagniem ˛ bitionicznym Czas dziłania i stopień aproksymacji Czas dziłania LZ77 - przy użyciu drzew sufiksowych O(n log(|Σ|)) . – p.6/10 Zastosowania Wyszukiwanie wzorca . – p.7/10 Zastosowania Wyszukiwanie wzorca Problem łańcucha . – p.7/10 Zastosowania Wyszukiwanie wzorca Problem łańcucha Modyfikacja złożoności Komogorowa . – p.7/10 Dodatki Algorytmy globalne (re-pair) . – p.8/10 Dodatki Algorytmy globalne (re-pair) Blisko optymalnoci . – p.8/10 Dodatki Algorytmy globalne (re-pair) Blisko optymalnoci Niech σ = xk1 |...|xkq , przy czym k1 jest najwieksze ˛ z ki . – p.8/10 Dodatki Algorytmy globalne (re-pair) Blisko optymalnoci Niech σ = xk1 |...|xkq , przy czym k1 jest najwieksze ˛ z ki Rozkład LZ λ = x(1, 1)(1, 2)(1, 4)...(1, k1 − 2j )|(1, k2 )|...|(1, kq ) gdzie j = |(log(k1 ))| . – p.8/10 Dodatki Algorytmy globalne (re-pair) Blisko optymalnoci Niech σ = xk1 |...|xkq , przy czym k1 jest najwieksze ˛ z ki Rozkład LZ λ = x(1, 1)(1, 2)(1, 4)...(1, k1 − 2j )|(1, k2 )|...|(1, kq ) gdzie j = |(log(k1 ))| Dla q = Θ(log(k1 ))|λ| = O(log(k1 )) . – p.8/10 Dodatki- fina Dla L-dugość najkrótszego łańcucha i Rrozmiar najmniejszej gramatyki mamy L≤R≤4∗L . – p.9/10 Dodatki- fina Dla L-dugość najkrótszego łańcucha i Rrozmiar najmniejszej gramatyki mamy L≤R≤4∗L Twierdzenie o problemie łańcucha Istniej liczby k1 , k2 ..., kq takie, że dugość najkrótszego łańcucha log(k1 ) ) wynosi Ω(log(k1 ) + q ∗ loglog(k 1 )+log(q) . – p.9/10 Dodatki- fina Dla L-dugość najkrótszego łańcucha i Rrozmiar najmniejszej gramatyki mamy L≤R≤4∗L Twierdzenie o problemie łańcucha Istniej liczby k1 , k2 ..., kq takie, że dugość najkrótszego łańcucha log(k1 ) ) wynosi Ω(log(k1 ) + q ∗ loglog(k 1 )+log(q) Zatem, dla naszego q, rozmiar najmniejszej gramatyki log 2 (k1 ) wynosi Ω( loglog(k1) ) . – p.9/10 Koniec Dziekuj ˛ e˛ za uwage˛ . – p.10/10