Algoritmuselmélet - PZH, 2013.04.24.

2013.04.24. PZH megoldásai

1. Feladat (Van megoldás)

Egy algoritmus lépésszámáról tudjuk, hogy $T(n)=T\left(\left\lfloor {\frac {n}{4}}\right\rfloor \right)+O(n^{2})$ és tudjuk azt is, hogy $T(1)=T(2)=T(3)=1$. Bizonyítsa be, hogy $T(n)=O(n^{2})$.

Megoldás

$T(n)=T\left(\left\lfloor {\frac {n}{4}}\right\rfloor \right)+O(n^{2})=T\left(\left\lfloor {\frac {n}{16}}\right\rfloor \right)+O\left({\frac {n^{2}}{4}}\right)+O(n^{2})=...=1+O(n^{2})*\left(\sum _{i=0}^{\left\lfloor log_{4}n\right\rfloor }\left({\frac {1}{4}}\right)^{i}\right)$
Azt kell észrevennünk, hogy ez tulajdonképpen egy mértani sor, amire van képletünk:
$\sum _{i=0}^{k}r^{i}={\frac {1-r^{k+1}}{1-r}}$ ahol $k=\left\lfloor log_{4}n\right\rfloor ,r=0.25$, vagyis ${\frac {1-0.25^{\left\lfloor log_{4}n\right\rfloor +1}}{1-0.25}}$
$\lim _{n\to \infty }{\frac {1-0.25^{\left\lfloor log_{4}n\right\rfloor +1}}{1-0.25}}={\frac {1}{0.75}}$

Tehát $T(n)=...=1+{\frac {1}{0.75}}O(n^{2})=O(n^{2})$

2. Feladat (Van megoldás)

Adott egy teljes bináris fa, a csúcsaiba egész számok vannak írva, összesen n darab (a fa nem feltétlenül bináris keresőfa). Adjon algoritmust, ami $O(n)$ lépésben megkeres egy olyan csúcsot a fában, aminek a részfája kupac, és aminek a magassága a legető legnagyobb az összes ilyen csúcs közül.

Megoldás

Megjegyzések a feladathoz

• Bár nem tartozik a feladathoz, talán érdemes megjegyezzem, hogy bináris kereső fa nem is lehetne, hiszen akkor ott kapásból csak a legalsó szinten lévő elemek lehetnek kupacok (egy 1 elemet tartalmazó kupac), hiszen bináris keresőfánál balra kisebbek, jobbra nagyobbak vannak, míg kupacnál balra és jobbra is nagyobbak vannak.
• Továbbá a teljes bináris fára azért van szükség, mert így "jóval egyszerűbb" a feladat, és nem kell szívózni annak vizsgálatával, hogy az adott részfa teljes bináris fa-e (ugyebár ez a kupac egyik fontos tulajdonsága).

Minden csúcsban 3 adatot fogunk számon tartani: Érték (ez persze adott már), részfa magassága (jelüljük M-mel), és egy bool érték (IGAZ/HAMIS, jelöljük B-vel), hogy igaz-e a részfájára, hogy az kupac.

• Első lépésben a legalsó szinteken lévő csúcsok esetén $M:=1,B:=IGAZ$.
• Legyen egy változónk, amiben tároljuk, hogy melyik csúcsra igaz, hogy az részfája a "legnagyobb" kupac (kezdeti értéke legyen mondjuk az egyik legalsó szinten lévő csúcs).
• Minden további szinten az a feladatunk, hogy megnézzük az adott csúcs (x) bal, és jobb fiát $(JOBB(x),BAL(x))$.
  • Megnézzük, hogy nagyobbak-e, mint x, majd megnézzük, hogy kupac tulajdonsággal bírnak-e:
    • Ha $BAL(x),JOBB(x)>x;BAL(x).B=JOBB(x).B=IGAZ\Rightarrow \Rightarrow x.M:=BAL(x).M+1,x.B:=IGAZ$ majd a változónkba belerakjuk a csúcsot. Vagyis ha mindkettő nagyobb, és mindkettő kupac tulajdonsággal bír, akkor a csúcs részfa magassága 1-gyel nagyobb lesz, mint az egyik (bal, vagy jobb) fiai magassága, és kupac tulajdonságú lesz.
    • Ha $BAL(x)<x$ VAGY $JOBB(x)<x$ VAGY $BAL(x).B=HAMIS$ VAGY $JOBB(x).B=HAMIS\Rightarrow \Rightarrow x.M:=BAL(x).M+1,x.B:=HAMIS$. Vagyis ha bármelyik feltétel nem teljesül (valamelyik fia kisebb, avagy valamelyik gyerekére nem igaz, hogy kupac tulajdonságú), akkor maga a csúcs sem lehet már kupac tulajdonságú (itt a magasságot nem is kéne beállítani, de...hát miért is ne).

Mivel minden csúcsot csak egyszer látogatunk meg, így $O(n)$ lépésben megyünk végig a gráfon.

3. Feladat (Van megoldás)

Kukori és Kotkoda egy-egy bináris fára gondolnak (nem feltétlenül bináris keresőfákra). Következik-e, hogy a két fa azonos, ha

(a) inorder bejárással kilolvasva a két fát ugyanazt a számsorozatot kapják?

(b) preorder bejárással kiolvasva a két fát ugyanazt a számsorozatot kapják?

Megoldás

Mindkét esetben 1-1 ellenpéldát kell szolgáltatni:

• a)

Fájl:Egyik.png Fájl:Masik.png

Mindkét gráfot A-B-C-D-E sorrendben olvassuk ki, de mégsem egyeznek meg, tehát nem következik.

• b)

Fájl:Egyik 1.png Fájl:Masik 2.png

Mindkét gráfot F-G-H-J-K sorrendben olvassuk ki, de mégsem egyeznek meg, tehát nem következik.

4. Feladat

TODO

Megoldás

TODO

5. Feladat

TODO

Megoldás

TODO

6. Feladat

TODO

Megoldás

TODO

7. Feladat

TODO

Megoldás

TODO

8. Feladat

TODO

Megoldás

TODO