Zaawansowane algorytmy i struktury danych/Ćwiczenia 3: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Rytter (dyskusja | edycje)
Rytter (dyskusja | edycje)
Nie podano opisu zmian
Linia 1: Linia 1:
==Zadanie 1==
==Zadanie 1==
Udwodnij, że jeśli <math> LZ(x)\ =\ (v_{1},v_{2},\dots ,v_{m})</math> to x zawiera powtórzenie uu  
Udwodnij, że jeśli <math> LZ(x)\ =\ (v_{1},v_{2},\dots ,v_{m})</math> to x zawiera powtórzenie uu  
Linia 53: Linia 52:


Skorzystaj z kilku symetrii</div>
Skorzystaj z kilku symetrii</div>
</div>
==Zadanie 6==
Udowodnij,  że jeśli <math> x \in PAL^2</math>
to x=uv, dla pewnych <mtah> u,v \in PAL </math> gdzie u jest najdłuższym palindromem będącym prefiksem x lub v
jest najdłuższym palindromem będącym sufiksem x.
<div class="mw-collapsible mw-made=collapsible mw-collapsed">'''Rozwiązanie'''  <div class="mw-collapsible-content" style="display:none">.
Skorzystaj z symetrii. </div>
</div>
</div>

Wersja z 12:27, 12 wrz 2006

Zadanie 1

Udwodnij, że jeśli LZ(x) = (v1,v2,,vm) to x zawiera powtórzenie uu wtedy i tylko wtedy gdy dla pewnego k zachodzi

RightTest(v1,v2vk2, vk1vklubRighttest(v1,v2vk1, vk)
Rozwiązanie

Zadanie 2

Oblicz faktoryzację LZ(x) w czasei liniowym.

Rozwiązanie

Zadanie 3

Udowdnij, ze algorytm Szukanie-Powtórzeń dziła w czasie liniowym.

Rozwiązanie

Zadanie 4

Udowodnij własność parzystych palstarów:

x[i..n]PAL0*  parse0(i)=first0(i)

Rozwiązanie

Zadanie 5

Udowdnij, własność dowolnych palstarów:

x[i..n]PAL*  parse(i){first(i), 2first(i)+1, 2first(i)1}

Rozwiązanie


Zadanie 6

Udowodnij, że jeśli xPAL2

to x=uv, dla pewnych <mtah> u,v \in PAL </math> gdzie u jest najdłuższym palindromem będącym prefiksem x lub v 

jest najdłuższym palindromem będącym sufiksem x.

Rozwiązanie