Collision Resolution Separate Chaining Open Hashing
Total Page:16
File Type:pdf, Size:1020Kb
Collision Resolution Separate Chaining Insert: 0 10 Collision: when two keys map to the same 22 1 location in the hash table. 107 2 12 3 42 Two ways to resolve collisions: 4 • Separate 1. Separate Chaining 5 chaining: All keys 2. Open Addressing (linear probing, 6 that map to the quadratic probing, double hashing) 7 same hash value 8 are kept in a list (or “bucket”). 9 Open Hashing (Chaining) Analysis of find • Defn: The load factor, λ, of a hash table 0 is the ratio: N ← no. of elements 1 a b M 2 • h(a) = h(b) and h(d) = h(g) ← table size 3 • Chains may be ordered or 4 d g unordered. Little advantage For separate chaining, λ = average # of 5 to ordering. 6 f elements in a bucket 7 8 c • Unsuccessful find cost: 9 • Successful find cost: Closed Hashing (Open How big should the hash table be? Addressing) • For Separate Chaining: • No chaining, every key fits in the hash table. • Probe sequence › h(k) › (h(k) + f(1)) mod HSize › (h(k) + f(2)) mod HSize , … • Insertion: Find the first probe with an empty slot. • Find: Find the first probe that equals the query or is empty. Stop at HSize probe, in any case. • Deletion: lazy deletion is needed. That is, mark locations as deleted, if a deleted key resides there. 1 Open Addressing Linear Probing Insert: 38 0 19 f(i) = i 1 8 109 2 10 • Probe sequence: 3 0th probe = h(k) mod TableSize 4 • Linear Probing: 1th probe = (h(k) + 1) mod TableSize 5 after checking 2th probe = (h(k) + 2) mod TableSize 6 spot h(k), try spot . h(k)+1, if that is th 7 full, try h(k)+2, i probe = (h(k) + i) mod TableSize 8 then h(k)+3, etc. 9 Terminology Alert! Linear Probing Example 76 93 40 47 10 55 “Open Hashing” “Closed Hashing” 0 0 0 0 47 0 47 0 47 equals equals 1 1 1 1 1 1 55 “Separate Chaining” “Open Addressing” 2 2 93 2 93 2 93 2 93 2 93 3 3 3 3 3 10 3 10 Weiss 4 4 4 4 4 4 5 5 5 40 5 40 5 40 5 40 6 76 6 76 6 76 6 76 6 76 6 76 Probes 1 1 1 3 1 3 Write pseudocode for find(k) for Linear Probing – Clustering Open Addressing with linear probing • Find(k) returns i where T(i) = k no collision collision in small cluster no collision collision in large cluster [R. Sedgewick] Student Activity 2 Quadratic Probing Less likely Load Factor in Linear Probing to encounter 2 Primary • For any λ < 1, linear probing will find an empty slot f(i) = i Clustering • Expected # of probes (for large table sizes) › successful search: • Probe sequence: 1 1 0th probe = h(k) mod TableSize 1+ 2 (1− λ) 1th probe = (h(k) + 1) mod TableSize › unsuccessful search: 2th probe = (h(k) + 4) mod TableSize 1 1 1 + 2 th 2 (1− λ) 3 probe = (h(k) + 9) mod TableSize . • Linear probing suffers from primary clustering ith probe = (h(k) + i2) mod TableSize • Performance quickly degrades for λ > 1/2 Exercise: Quadratic Probing Quadratic Probing Example 0 Insert: insert(76) insert(40) insert(48) insert(5) insert(55) 76%7 = 6 40%7 = 5 48%7 = 6 5%7 = 5 55%7 = 6 1 89 18 0 2 49 1 insert(47) But… 58 47%7 = 5 3 2 79 4 3 5 4 6 5 7 6 76 8 9 Quadratic Probing: Success guarantee for λ < 1/2 Quadratic Probing may Fail if λ > 1/2 • If size is prime and λ < 1/2, then quadratic probing 51 mod 7 = 2 ; i = 0 will find an empty slot in size/2 probes or fewer. 51 (2 + 1) mod 7 = 3; i = 1 › show for all 0 ≤ i,j < size/2 and i ≠ j 0 (3 + 3) mod 7 = 6; i = 2 (h(x) + i2) mod size ≠ (h(x) + j2) mod size 1 (6 + 5) mod 7 = 4; i = 3 › by contradiction: suppose that for some i ≠ j: 2 16 (h(x) + i2) mod size = (h(x) + j2) mod size (4 + 7) mod 7 = 4; i = 4 3 45 ⇒ i2 mod size = j2 mod size (4 + 9) mod 7 = 6; i = 5 2 2 4 59 ⇒ (i - j ) mod size = 0 (6 + 11) mod 7 = 3; i = 6 ⇒ [(i + j)(i - j)] mod size = 0 5 BUT size does not divide (i-j) or (i+j) 6 76 (3 + 13) mod 7 = 2, i = 7 … 3 Quadratic Probing: Properties Double Hashing f(i) = i * g(k) • For any λ < 1/2, quadratic probing will find an empty slot; for bigger λ, quadratic probing may find where g is a second hash function a slot • Probe sequence: • Quadratic probing does not suffer from primary th clustering: keys hashing to the same area are not 0 probe = h(k) mod TableSize bad 1th probe = (h(k) + g(k)) mod TableSize 2th probe = (h(k) + 2*g(k)) mod TableSize • But what about keys that hash to the same spot? th › Secondary Clustering! 3 probe = (h(k) + 3*g(k)) mod TableSize . ith probe = (h(k) + i*g(k)) mod TableSize Double Hashing Example Resolving Collisions with Double Hashing 0 Hash Functions: H(K) = K mod M h(k) = k mod 7 and g(k) = 5 – (k mod 5) 1 H2(K) = 1 + ((K/M) mod (M-1)) 2 M = 76 93 40 47 10 55 3 0 0 0 0 0 0 4 Insert these values into the hash table in this order. Resolve any collisions 1 1 1 1 47 1 47 1 47 5 with double hashing: 2 2 93 2 93 2 93 2 93 2 93 13 3 3 3 3 3 10 3 10 6 28 4 4 4 4 4 4 55 7 33 5 5 5 40 5 40 5 40 5 40 8 6 76 6 76 6 76 6 76 6 76 6 76 147 Probes 1 1 1 2 1 2 9 43 Double Hashing is Safe for λ < 1 Deletion in Hashing • Let h(k) = k mod p and g(k) = q – (k mod q) where 2 < • Open hashing (chaining) – no problem q < p and p and q are primes. The probe sequence • Closed hashing – must do lazy deletion. Deleted keys h(k) + ig(k) mod p probes every entry of the hash table. are marked as deleted. Let 0 < m < p, h = h(k), and g = g(k). We show that h+ig mod p = › Find: done normally m for some i. 0 < g < p, so g and p are relatively prime. By › Insert: treat marked slot as an empty slot and fill it. extended Euclid’s algorithm that are s and t such that sg + tp = 1. Choose i = (m-h)s mod p (h + ig) mod p = 0 0 Insert 30 h(k) = k mod 7 (h + (m-h)sg) mod p = 1 1 (h + (m-h)sg + (m-h)tp) mod p = Linear probing 2 16 2 16 (h + (m-h)(sg + tp) mod p = Find 59 3 23 3 30 (h + (m-h)) mod p = m mod p = m 4 59 4 59 5 5 6 76 6 76 4 Rehashing Rehashing Example Idea: When the table gets too full, create • Open hashing – h1(x) = x mod 5 rehashes to a bigger table (usually 2x as large) and h2(x) = x mod 11. hash all the items from the original table into the new table. 0 1 2 3 4 • When to rehash? λ = 1 25 37 83 › half full (λ = 0.5) 52 98 › when an insertion fails 0 1 2 3 4 5 6 7 8 9 10 › some other threshold λ = 5/11 • Cost of rehashing? 25 37 83 52 98 Amortized Analysis of Rehashing Picture Rehashing • Starting with table of size 2, double when • Cost of inserting n keys is < 3n load factor > 1. • 2k + 1 < n < 2k+1 › Hashes = n hashes › Rehashes = 2 + 22 + … + 2k = 2k+1 – 2 rehashes › Total = n + 2k+1 – 2 < 3n • Example › n = 33, Total = 33 + 64 –2 = 95 < 99 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 23 24 25 Case Study Storage • Spelling Dictionary - 30,000 words • Assume word are stored as strings and entries in the • Goals arrays are pointers to the strings. › Fast spell checking › Minimal storage Binary search Open hashing Closed hashing • Possible solutions › Sorted array and binary search › Open hashing (chaining) › Closed hashing with linear probing • Notes › Almost all searches are successful › 30,000 word average 8 bytes per word, 240,000 bytes › Pointers are 4 bytes N pointers N/λ + 2N pointers N/λ pointers 5 Analysis Extendible Hashing • Binary Search • Extendible hashing is a technique for storing › Storage = N pointers + words = 360,000 bytes large data sets that do not fit in memory. › Time = log N < 15 probes in worst case 2 • An alternative to B-trees • Open hashing › Storage = 2N + N/ λ pointers + words 3 bits of hash value used λ = 1 implies 600,000 bytes 000 001 010 011 100 101 110 111 › Time = 1 + λ/2 probes per access In memory λ = 1 implies 1.5 probes per access • Closed hashing › Storage = N/ λ pointers + words (2) (2) (3) (3) (2) Pages λ = 1/2 implies 480,000 bytes 00001 01001 10001 10101 11001 00011 01011 10011 10110 11011 › Time = (1/2)(1+1/(1-λ)) probes 00100 01100 10111 11100 = 1/2 implies 1.5 probes per access λ 00110 11110 Splitting Rehashing 000 001 010 011 100 101 110 111 00 01 10 11 Insert 00111 (2) (2) (3) (3) (2) Insert 11000 (2) (2) (2) (2) 00001 01001 10001 10101 11001 00001 01001 10000 11101 00011 01011 10011 10110 11011 00011 01011 10001 11110 00100 01100 10111 11100 00100 01100 10011 00110 11110 00110 000 001 010 011 100 101 110 111 000 001 010 011 100 101 110 111 (2) (2) (3) (3) (3) (3) (3) (3) (2) (2) (2) 00001 01001 10001 10101 11000 11100 00001 00100 01001 10000 11101 00011 01011 10011 10110 11001 11110 00011 00110 01011 10001 11110 00100 01100 10111 11011 00111 01100 10011 00110 Fingerprints Fingerprint Math • Given a string x we want a fingerprint x’ with the properties.