Metody programowania / Ćwiczenia 3

To są zadania na drzewa.

Oglądaj wskazówki i rozwiązania __SHOWALL__
Ukryj wskazówki i rozwiązania __HIDEALL__

Przyjmujemy następujące definicje:

type el_drzewa = record
                   w: integer;
                   lsyn, psyn: ^el_drzewa;
                 end;
        drzewo = ^el_drzewa;

Zadanie 1 (Liczba liści w drzewie)

Napisz funkcję która oblicza liczbę liści w drzewie.

Rozwiązanie

function LiczbaLiści(d: drzewo): integer;
//Liczymy liczbe liści w drzewie
begin
  if d = nil then LiczbaLiści:=0
  else 
    if d^.lsyn=nil and d^.psyn=nil then LiczbaLiści:=1
    else  
      LiczbaLiści:=LiczbaLiści(d^.lsyn) + LiczbaLiści(d^.psyn); 
end;     

Koszt czasowy: liniowy ze względu na wielkość drzewa

Koszt pamięciowy: liniowy ze względu na wysokość drzewa

Omówienie: Koszt pamięciowy jest oczywiście związany z wielkością stosu wywołań rekurencyjnych

Wizualizacja

Zadanie 2 (Odbicie lustrzane)

Napisz procedurę przekształcającą zadane drzewo w jego odbicie lustrzane.

Rozwiązanie

procedure Lustro(d: drzewo);
//Przekształcamy d na swoje odbicie lustrzane
var pom: drzewo;
begin
  if d <> nil then begin
    Lustro(d^.lsyn);
    Lustro(d^.psyn);
    pom:=d^.lsyn;
    d^.lsyn:=d^.psyn;
    d^.psyn:=pom;
  end;
end;

Koszt czasowy: liniowy ze względu na wielkość drzewa

Koszt pamięciowy: liniowy ze względu na wysokość drzewa (rekurencja)

Wizualizacja

Zadanie 3 (Izomorfizm drzew)

Napisz funkcję sprawdzającą czy dwa zadane drzewa są izomorficzne (mają taki sam kształt).

Rozwiązanie

function Izomorficzne(d1,d2: drzewo): boolean;
//Sprawdzamy czy d1 i d2 mają taki sam kształt
var i: boolean;
begin
  if d1 = nil and d2 = nil then i:=true
  else 
    if d1 <> nil and d2 <> nil then begin
      i:=Izomorficzne(d1^.lsyn, d2^.lsyn);
      if i then i:=Izomorficzne(d1^.psyn, d2^.psyn);
    end
    else i:=false;
  Izomorficzne:=i;
end;

Koszt czasowy: liniowy ze względu na sumę wielkości drzew

Koszt pamięciowy: liniowy ze względu na minimum z wysokości drzew

Wizualizacja

Zadanie 4 (Lista liści)

Napisz funkcję wiążącą liście drzewa w listę (od lewej do prawej). Wynikiem funkcji ma być wskaźnik do utworzonej listy. Zakładamy, że każdy węzeł ma dodatkowe pole będące wskaźnikiem do węzła, czyli używamy typów

type węzeł = record
               w: integer;
               lsyn, psyn, nast: ^węzeł;
             end;
   drzewoL = ^węzeł;

Wskazówka

Najwygodniej zrobić to obchodząc drzewo od prawej strony w lewo.

Rozwiązanie

function ListaLiści(d: drzewoL): drzewoL;
//Wynikiem funkcji jest wskaźnik do listy liści (od prawej do lewej) w drzewie d
var l: drzewoL; //dotychczas obliczona lista liści
procedure Lista(d: drzewoL);   
//Jeśli węzeł d jest liściem to dopisujemy go z przodu listy l   
//l jest zmienną globalną dla procedury Lista
begin
  if d <> nil then 
    if d^.lsyn = nil and d^.psyn = nil then begin
      d^.nast:=l;
      l:=d;
    end
    else begin
      Lista(d^.psyn);
      Lista(d^.lsyn);
    end;
end;
begin //ListaLiści
  l:=nil;
  Lista(d);
  ListaLiści:=l;
end;

Koszt czasowy: liniowy ze względu na wielkość drzewa

Koszt pamięciowy: liniowy ze względu na wysokość drzewa (rekurencja)

Wizualizacja

Zadanie 5 (Szerokość drzewa)

Napisz funkcję obliczającą szerokość drzewa, czyli maksymalną liczbę wierzchołków na jednym poziomie.

Wskazówka 1

{{{3}}}

Rozwiązanie 1

{{{3}}}

Zadanie 6 (Średnica drzewa)

Napisz funkcję obliczającą średnicę drzewa. Średnica to maksymalna odległość między dwoma wierzchołkami.

Wskazówka 1

{{{3}}}

Rozwiązanie 1

{{{3}}}

Zadanie 7 (Sprawdzanie czy drzewo jest BST)

Napisz funkcję sprawdzającą czy drzewo jest drzewem BST.

Wskazówka 1

{{{3}}}

Rozwiązanie 1

{{{3}}}

Wskazówka 2

{{{3}}}

Rozwiązanie 2

{{{3}}}