Vizualizare sursă pentru „SDA Lucrarea 5”

În acest laborator se vor implementa mulțimi cu funcții hash și arbori binari.

= Mulțimea =

 Mulțimea este o structură de date abstractă care stochează o colecție de elemente unice în care ordinea nu contează.

[[Fișier:set.png]]

Mulțimea are următoarele proprietăți:
# Datele sunt plasate într-o ordine oarecare stabilită arbitrar de structură.
# Numărul de elemente ce poate fi stocat de structură este nelimitat.
# Elementele stocate în mulțime sunt de același fel.
# Mulțimea poate conține doar elemente unice, în baza unei funcții definite de egalitate. Altfel spus, dacă două elemente sunt egale din punctul de vedere al mulțimii, ele nu pot fi ambele conținute de mulțime.

Mulțimea suportă următoarele operații de bază:
# Interogarea numărului de elemente din mulțime.
# Verificarea dacă mulțimea este goală.
# Adăugarea unui element în mulțime (''put'').
# Verificarea dacă un element există în mulțime (''contains'').
# Eliminarea unui element din mulțime (''remove'').

Pentru a verifica egalitatea a două elemente vom defini o funcție <code>equals</code> care va întoarce 1 dacă cele două argumente sunt egale și 0 dacă nu. Această funcție trebuie să existe pentru orice implementare de mulțime, atunci când elementele nu sunt valori ce pot fi comparate cu operatorul implicit ==:

<syntaxhighlight lang="C">
/**
 * Functia verifica daca valorile value1 si value2 sunt egale.
 * @param value1 prima valoare de comparat.
 * @param value2 a doua valoare de comparat.
 * @return 1 daca cele doua valori sunt egale si 0 in rest.
 */
char equals(T value1, T value2);
</syntaxhighlight>

== Implementarea de mulțimi cu funcții hash  ==

 O funcție hash este o funcție care ia ca argument un șir de bytes de orice dimensiune și întoarce un șir de bytes 
 de dimensiune fixă ce poartă numele de valoare de hash, cod hash sau pur și simplu hash.

Definiția unei funcții hash este strâns legată de definiția funcției <code>equals</code> astfel încât dacă două elemente e1 și e2 sunt considerate egale (<code>equals(e1, e1) == 1</code>), atunci obligatoriu <code>hash(e1) == hash(e2)</code>.

=== Tipul de date și funcțiile de bază ===

În continuare vom prezenta un exemplu de mulțime pentru elemente de tip "persoană" implementată cu funcții hash. În primul rând vom defini structura ce memorează datele legate de o persoană:

<syntaxhighlight lang="C">
struct Person {
    char firstName[30];
    char lastName[30];
    char idNumber[9]; // seria si numarul de buletin
    char address[255];
    char birthday[11];
    char cnp[14];
};
</syntaxhighlight>

Pentru a implementa o funcție hash pentru variabilele de tip <code>struct Person</code>, avem întâi nevoie să definim operația de egalitate. O persoană își poate schimba numele, buletinul și adresa, și pot exista mai multe persoane cu aceeași dată de naștere, dar ceea ce identifică clar o persoană este codul numeric personal (CNP). Deci vom defini funcția <code>equals</code> să întoarcă 1 dacă cnp-urile celor două argumente de tip <code>struct Person</code> sunt identice:

<syntaxhighlight lang="C">
/**
 * Functia intoarce 1 daca CNP-urile celor doua persoane sunt egale.
 * @param person1 prima persoana de comparat.
 * @param person2 a doua persoana de comparat.
 * @return 1 daca CNP-urile celor doua persoane sunt identice.
 */
char equals(struct Person person1, struct Person person2);
</syntaxhighlight>

Mai departe definim funcția hash pentru o Persoană.

 Pentru a putea implementa o mulțime cu funcții hash trebuie ca hash-ul maxim să fie o valoare rezonabilă pentru a putea aloca memorie cu dimensiunea valorii respective.

Din motivul de mai sus, și pentru a micșora posibilitatea unei coliziuni de hash ce va micșora performanța structurii, ieșirea funcției hash va fi un număr între 0 și 999999 obținut din ultimele 6 cifre ale CNP-ului convertite din text în număr (pentru conversie puteți folosi funcția [http://www.cplusplus.com/reference/cstdlib/atoi/ atoi]):

<syntaxhighlight lang="C">
/**
 * Functie hash pentru structurile de tip Person.
 * @param person peroana pentru care se doreste codul hash.
 * @return codul hash al persoanei person
 */
unsigned hash(struct Person person);
</syntaxhighlight>

În continuare vom utiliza pentru implementarea unui Hash Set o structură de date de tip secvență împlementată cu liste (ArrayList) și vom folosi funcțiile deja definite de la laboratoarele anterioare:
* [[Fișier:arrayList.h]]
* [[Fișier:arrayList.c]]

=== Structura <code>HashSet</code> ===

Pentru stocarea datelor necesare mulțimii, definim următoarea structură:

<syntaxhighlight lang="C">

#define MAX_HASH 1000000
struct HashSet {
    struct ArrayList array[MAX_HASH]; // un vector de liste, una pentru fiecare valoare posibila de hash
    unsigned size; // numarul de elemente din multime
};
</syntaxhighlight>

=== Crearea unui <code>HashSet</code>===

Pentru crearea unui <code>HashSet</code>, se definește următoarea funcție:
<syntaxhighlight lang="C">
/**
 * Functia creeaza un hashSet nou si intoarce adresa de memorie alocata.
 * @return un pointer la o structura de tip HashSet.
 */
struct HashSet * createHashSet();
</syntaxhighlight>

Pentru crearea unui <code>HashSet</code> se urmează următorii pași:
# Se alocă memorie pentru un element de tip <code>struct HashSet</code> folosind funcția corectă pentru reseta memoria la alocare (scrierea ei cu 0).
# Se inițializează <code>size</code> cu 0.
# Se întoarce adresa elementului de tip <code>struct HashSet</code>.

Complexitate în timp: O(1)
Complexitate în spațiu: O(MAX_HASH)

=== Interogarea numărului de elemente din mulțime ===

Pentru