Çfarë është një tip i dhënash abstrakt (ADT) dhe pse ta ndajmë atë nga zbatimi i tij?

Question

Accepted Answer

Një **tip i dhënash abstrakt** përcakton një grup vlerash dhe **operacionet** e lejuara në to, të përshkruara pastazi sipas **sjelljes** — jo sipas kodit. Zbatimi është struktura konkrete (grup, lista e lidhur, pemë) që realizon atë sjellје.

## I njëjti ADT, zbatime të ndryshme

```text
ADT "Queue":  enqueue, dequeue, peek  (FIFO contract)

Implementation A: array + two indices (ring buffer)
Implementation B: doubly linked list with head/tail pointers
Both honor the SAME contract; cost profiles differ.
```

## Pse ta ndajmë atë

```python
# Callers depend on the CONTRACT, not the internals
class Stack:
    def push(self, x): ...
    def pop(self): ...
    def peek(self): ...
# Swap a list for a linked list internally — callers never change.
```

## ADT-të e zakonshme dhe zbatime tipike

| ADT | Zbatime të zakonshme |
|---|---|
| List | grup dinamik, lista e lidhur |
| Stack | grup, lista e lidhur |
| Queue | ring buffer, lista e lidhur |
| Map | tabela hash, pemë e balancuar |
| Priority Queue | grumbull binar |

## Pse është e rëndësishme

Programimi sipas një ADT (një ndërfaqe) i mban kodet flexible: mund ta optimizoni zbatimin më vonë pa thyer thirrësit.

Kjo gjithashtu përshpejton të menduarit — ju vendosni *çfarë sjellje* keni nevojë fillimisht, pastaj zgjidhni strukturën më të lirë që e jep atë.

ADT	Zbatime të zakonshme
List	grup dinamik, lista e lidhur
Stack	grup, lista e lidhur
Queue	ring buffer, lista e lidhur
Map	tabela hash, pemë e balancuar
Priority Queue	grumbull binar