Dva različna ključa se lahko zraščeta v isti predal — trk. Razpredelne tabele ostanejo O(1) v povprečju z reševanjem trkov in spreminjanjem velikosti preden postanejo predali prenatrpani, nadzorevano s faktorjem obremenitve.
Separate chaining: each bucket holds a list
[3] -> ("cat",9) -> ("rat",2) # both hashed to 3
Open addressing: probe to the next free slot
hash=3 taken -> try 4 -> try 5 ... (linear probing)
load factor α = number_of_entries / number_of_buckets
α rises -> more collisions -> slower lookups
When α exceeds a threshold (e.g. 0.75):
-> allocate a bigger array (usually 2x)
-> REHASH every existing key into new buckets
# Conceptual resize
def _resize(self):
old = self.buckets
self.buckets = [None] * (len(old) * 2)
for entry in all_entries(old):
self._insert(entry.key, entry.value) # rehash into new array
| Operacija | Povprečje | Najslabši primer |
|---|---|---|
| iskanje / vstavljanje / brisanje | O(1) | O(n) |
| eno spreminjanje velikosti | — | O(n) |
| vstavljanje (amortizirana, s spreminjanjem velikosti) | O(1) | — |
Spreminjanje velikosti je O(n) vendar se zgodi redko, zato se amortizira na O(1) na vstavljanje.
Ta notranja delovanja pojasnjujejo, zakaj so razpredelne naprave hitro v povprečju vendar lahko skočijo na O(n) — ključno za kodo občutljivo na učinkovitost in obrambo pred nasprotniškimi vhodi (poplava razpredelnih vrednosti).
Razumevanje faktorja obremenitve tudi pojasnjuje nastavitve za uravnavanje pomnilnika in hitrosti, ki jih izpostavljajo prave knjižnice.