Algorithms and Architectures I Rasmus Løvenstein Olsen (RLO) Mm8: Hash tables og Hashing - November 10, 2010

Transkript

1 Algorithms and Architectures I Rasmus Løvenstein Olsen (RLO) Mm8: Hash tables og Hashing - November 10,

2 Algorithms and Architectures II 1. Introduction to analysis and design of algorithms (RLO - 11/10) 2. Recursive algorithms and recurrences (RLO - 12/10) 3. Implementation of recursive algorithms (Self study - 25/10) 4. Greedy algorithms, backtracking and recurrences (Self study - 26/10) 5. Sorting algorithms (RLO - 1/11) 6. Implementation of sorting algorithms (Self study - 2/11) 7. Counting, probabilities and randomized algorithms (RLO - 8/11) 8. Hash tables and Hashing (RLO - 10/11) 9. Binary search trees, red-black trees and string matching (Self study - 15/11) 10. Course round-up (RLO - 16/11) 2

3 Dagsorden Introduktion og baggrund Direkte adressering Hashing konceptet Kollision og kollisionsundvigelse af hash værdier Hash funktioner Divisions og multiplikations metoder Universel hashing Åben adressering Lineær, kvadratisk probing Dobbelt hashing Perfekt hashing Opsummering og konklusion Opgaver 3

4 Introduktion Context Management Framework Søgning efter distribuerede information en nødvendighed for funktionaliteten af et CMF Context Access LAnguage (CALA) blev designet til formålet 4

5 Informations modellering Hver context information er udstyret med Identifier Type List af attributter, der hver har Et navn En værdi 1 ID: BluetoohScanner1 Type: BluetoohScanner Attributes: seesbtaddress: 00:1E:4C:FF:E9:D6 haslocation: Position1 BluetoothScanner1 BTDevice-001E4CFFE9D6 2 ID: BTDevice-001E4CFFE9D6 Type: BluetoothDevice Attributes: isseenby: bluetoothscanner1 hasbtaddr: 00:1E:4C:FF:E9:D6 haslocation: Position1 5

6 Eksempel på CALA query <?xml version="1.0" encoding="utf-8"?> <methodcall> <methodname>cmn.request</methodname> <params> <param> <value> <cala xmlns=" > <query> <entityidentifierselector> <hasidentifier>display1</hasidentifier> <entitytype>publicdisplay</entitytype> <attributename>nearbyperson</attributename> </entityidentifierselector> <scope> <networkscope>node</networkscope> </scope> </query> </cala> </value> </param> </params> </methodcall> XML-RPC container Selector based on ID Query only the targeted Agent XML-RPC container 6

7 Krav og udfordringer til søgningen Somme tider har man brug for informationer Af type X og vi kender ikke/er ligeglade med identifiers, men med alle attributter Information med Identifier Z og med attribut G og H Af type X og med Identifier Z med attribut H Hvordan kan man lave en effektiv søgning der samtidig kan kombinere/tillade ovenstående typer forespørgsel? Svar: Ved hashing, men hvordan? Ved registrering af data, indlægges forskellige kombinationer af Type, Id og attributter i en hash tabel, hvorefter hash værdien eventuelt distribueres. I og med Hashing tillader søgning på O(1) tid, kan queries håndteres på O(1) tid, selvom disse kan kombineres på mange forskellige måder. Prisen er øget pladsforbrug da hash nøgler skal gemmes, samt risiko for kollision. 7

8 Direkte adresserings tabeller Direkte adressering er simpelt Search(T, k) : return T[k] Insert(T, x) : T[key[x]] = x Delete(T, x) : T[key[x]] = NIL og tager O(1) tid U: Sæt af mulige keys K: Sæt af anvendte nøgler T / / / / / / Key Data 2 X 3 Y 5 Z 8 W 8

9 Et eksempel på hash tabel Input John Schmidt Nøgle Indeks 0 1 Nøgle - værdi par Lisa Schmidt Lisa Schmidt John Schmidt Sam Doe 998 Sam Doe

10 Hash tabeller Ideen er at benytte en funktion til at mappe nøgler til et sted i tabellen Et element med nøgle k, hasher til slot h(k) Et problem er dog at nøgler kan kollidere T 0 h(k 1 ) h(k 4 ) U: Sæt af mulige keys h(k 2 ) = h(k 5 )!! k 1 k 4 h(k 3 ) k5 k 2 k 3 K: Sæt af anvendte nøgler m

11 Kollisions undvigelse ved chaining - princip Kollisioner kan undgås med sammenkædninger af keys T n elements k 1 k 4 k 6 / U: Sæt af mulige keys k 6 k 4 k 1 k9 k 5 k 2 k 3 k 7 k 8 K: Sæt af anvendte nøgler k 2 k 5 k 9 / k 3 / k 7 k 8 / m slots 11

12 Kollisions undvigelse ved chaining - operationer Chained hash insert(t, x) indsæt x ved slutningen af listen T[h(key[x])] k 1 k 4 k 6 / Tager O(1) tid, medmindre der kontrolleres for redundante elementer, for hvilket der skal udføres et søge kald først Chained hash delete(t, x) Sletning af x fra listen T[h(key[x])] Tager O(1) tid hvis dobbelt linked, ellers tager den samme tid som søgning 12

13 Load faktor for chained hash tabeller Definer load faktoren = n/m, dvs. et udtryk for hvor fyldt hash tabellen er på et givet tidspunkt m slots og n elementer per slot Chained hash search(t, k) Søgning efter element med nøgle k i liste T[h(k)] Værste søgetid er givet ved E[X ij ]=1+ ( /2)(n-1)/n (hvorfor tager vi lige på tavlen) Det kan også udtrykkes som (1+ ) Ved n = O(m) har vi = O(m)/m = O(1), og dermed hvis tabellens størrelse er propertional med antallet af elementer i tabellen, er søgetiden O(1), i.e. tager i gennemsnit konstant tid 13

14 Praktisk eksempel med chaining Input John Schmidt Nøgle Indeks 0 1 Nøgle - værdi par Lisa Schmidt Lisa Schmidt Sandra Dee Sam Doe John Schmidt Sandra Dee Sam Doe

15 Dagsorden Introduktion og baggrund Direkte adressering Hashing konceptet Kollision og kollisionsundvigelse af hash værdier Hash funktioner Divisions og multiplikations metoder Universel hashing Åben adressering Lineær, kvadratisk probing Dobbelt hashing Perfekt hashing Opsummering og konklusion Opgaver 15

16 Hash funktioner Hvad er en god hash funktion? og nej, det er ikke en der ryger. En god hash funktion er karakteriseret ved at give nøglerne lige sandsynlighed for at hashe til en af de m slots i tabellen Vi får en tendens til at have meget korte kædede lister for at undgå kollision Omvendt har en dårlig hash funktion en tendens til at hashe til samme område i tabellen. Vi får en tendens til meget lange kædede lister for at undgå kollision Der findes flere standard metoder/hash funktioner som vi gennemgår efterfølgende Bemærk: de fleste hash funktioner anvender naturlige tal, dvs. N={0, 1, 2, } Evt. kan strenge laves om til naturlige tal vha. tværprodukt af ascii værdier 16

17 Simpelt eksempel på hash funktion Overvej CALA forespørgslen <entityidentifierselector> <hasidentifier>display1</hasidentifier> <entitytype>publicdisplay</entitytype> <attributename>nearbyperson</attributename> </entityidentifierselector> Vi kan skabe strengen Display1.PublicDisplay.nearbyPerson ved at fortolke XML stykket fra CALA querien Hvert bogstav tilsvarer en ASCII værdi, f.eks. D = 68, i = 105, s = 115 osv. En nøgle kunne dannes ved f.eks. Summen af de enkelte bogstaver (eller hvert tredje) Produktet af de enkelte bogstaver XOR af alle tal eller andre metoder Problemet er at nogle metoder er svagere end andre, så hvordan får vi en god metode, og hvad karakteriserer en god metode? 17

18 Divisionsmetoden Ved divisions metoden mapper vi nøglen k ind i en af de m slots ved at tage rest delen af divisionen mellem k og m, dvs. h(k) = k mod m f.eks. med m = 12, er h(96) = 96 mod 12 = 0 h(97) = 100 mod 12 = 1 h(98) = 101 mod 12 = 2 h(108) = 108 mod 12 = 0 h(109) = 109 mod 12 = 1 h(110) = 110 mod 12 = 2 Bemærk det cykliske i dette eksempel!! 18

19 Divisionsmetoden #2 Ved divisions metoden prøver vi at undgå bestemte værdier af m m bør ikke være en toer potens, således m = 2 p, fordi h(k) i det tilfælde blot vil være de mindste bits af k. Dermed er antallet af effektive talværdier for k reduceret væsentlig. En bedre værdi vil være et tal der ikke er tæt på denne. F.eks. n = 2000 karakter strenge med hver karakter på 8 bit er et valg på m = 701 elementer et ok valg. Det er et primtal tæt på 2000/3 og ikke tæt på nogen værdi af 2 p. h(k) = k mod

20 Multiplikationsmetoden Multiplikationsmetoden baserer sig på først at gange nøglen k med en konstant A i området 0 < A < 1 og derefter tage divisions resten af ka : h(k) = m(ka mod 1), med ka mod 1 = ka - ka En fordel er at værdien m ikke er kritisk for at opnå en god hash funktion Typisk valg er m = 2 p for et givet heltal p Antag w er ord størrelsen på en given maskine, og k bit passer ind i et ord Vi begrænser A til at være på formen s/2 w med s værende et heltal i området 0 < s < 2 w 20

21 Multiplikationsmetoden w bits k X S = A 2 w r 1 r 0 p bits h(k) Den ønskede p længde hash værdi, findes i øverst betydende bit af r 0 Metoden virker for alle gyldige A, men nogle værdier ser ud til at virke bedre end andre, [Knuth] foreslår at A ( 5-1)/

22 Universel hashing H: Sæt af mulige hash funktioner h 1 h 2 h3 h 4 h5 h 6 Et problem er at suspekte typer kan vælge n nøgler der tvinger søge tiden ud i værste tilfælde (n) Universal hashing går ud på at vælge en tilfældig hash funktion fra en gruppe af snedig designet hash funktioner H. k 1 Tilfældige hash funktioner sikrer at vi ikke ender i værste tilfælde Hashing kollision undåes ved chaining k 1 U: Sæt af mulige keys k 6 k9 k 4 k 7 k 8 K: Sæt af anvendte nøgler k 5 k 2 k 3 k 2 k 3 / k 7 22

23 Design af universelle hash funktioner Vælg et primtal p stort nok til at enhver mulig nøgle k er i området 0 til p - 1 Lad Z p være sættet {0, 1,., p - 1} Lad Z p * være sættet {1, 2,, p - 1} Vi antager samtidig at Antallet af mulige nøgler er større en slots i tabellen, p > m Vi definerer en hash funktion h a,b, med a Z p og b Z p * h a,b (k) = ((ak+b) mod p) mod m F.eks. med p = 17 og m =6, vil h 3,4 (8) = 5 Familien af sådanne funktioner betegner vi H p,m = {h a,b : a Z p og b Z p* } og kan vises at være universelle 23

24 Dagsorden Introduktion og baggrund Direkte adressering Hashing konceptet Kollision og kollisionsundvigelse af hash værdier Hash funktioner Divisions og multiplikations metoder Universel hashing Åben adressering Lineær, kvadratisk probing Dobbelt hashing Perfekt hashing Opsummering og konklusion Opgaver 24

25 Åben adressering En anden måde at overkomme hash kollisioner på kaldes åben adressering Ved åben adressering er elementer gemt i selve hash tabellen En par ulemper er dog At hash tabellen nemt kan fyldes op -> hash table overflow At sletning ikke er en simpel opgave fordi et slettet og tomt element er umiddelbare ens. En løsning er at indsætte gravsten på de slettede poster Input John Schmidt Nøgle Indeks 0 1 Nøgle - værdi par - - Lisa Schmidt Lisa Schmidt 872 Probing efter næste element John Schmidt Sandra Doe Sandra Doe Sam Doe Sam Doe

26 Lineær probing Givet en ordinær hash funktion h : U {0, 1,, m - 1}, i bogen også kaldet auxillery hash funktion, kan den lineære probing skrives som h(k, i) =(h (k) + i) mod m Givet en nøgle k, er det første slot undersøgt T[h (k)] Dernæst er slot T[h (k) + 1], T[h (k) + 2],, T[m - 1] undersøgt Metoden er nem at implementere men lider af såkaldt Primary Clustering Lange køer af udfyldte slots dannes over tid, hvilket forøger den gennemsnitlige søge tid Clusters opstår fordi et tomt slot, efterfulgt af i udfyldte slot bliver udfyldt med sandsynligheden (i + 1)/m 26

27 Kvadratisk probing Kvadratisk probing baserer sig på en hash funktion af typen h(k, i) = (h (k) + c 1 i + c 2 i 2 ) mod m Initierende hash værdi efterprøvet er således T[h (k)] og efterfølgende T[h (k) + f(i, i 2 )] Denne virker bedre end lineær probing, dog virker den ikke godt hvis to nøgler har samme initierende hash (samme problem har lineær probing dog også) h(k 1,0) = h(k 2, 0) => h(k 1, 1) = h(k 2, 1) lider den af Secundary Clustering der er som Primary Clustering blot tendensen er svagere 27

28 Dobbelt hashing Dobbelt hashing har formen h(k, i) = (h 1 (k) + ih 2 (k)) mod m Den initierende aflæste værdi findes i T[h 1 (k)] og efterfølgende værdier er offsettet med i h 2 (k) mod m Dobbelt hashing er bedre end de andre metoder i den forstand at der dannes (m 2 ) probe sekvenser og ikke (m) sekvenser som for den lineære/kvadratiske metode Hvert hash par (h 1 (k), h 2 (k)) leder til en forskellig probe sekvens 28

29 Eksempel med dobbelt hashing h(k, i) = (h 1 (k) + i h 2 (k)) mod 13 h 1 (k) = k mod 13 h 2 (k) = k mod Først h(79, 0) = 1 Hvad med h(69, 0) = 4 Og med h(72, 0) = 7 Med h(50, 0) = 11 Nu bliver det tricky: h(98, 0) = 7 Er optaget, så vi prøver h(98, 1) = 4 98 mod 13 = 7, 98 mod 11 = 10, 17 mod 13 = 4 (7+10) mod 13 = 4, nej dur ikke (7+20) mod 13 = 1, nej dur ikke (7+30) mod 13 = 11, nej dur ikke (7+40) mod 13 = 8, ja der er plads Og h(14, 0) = 1 Hmm.. h(14, 1) =

30 Et par tip til design af dobbelt hash funktioner Et godt valg af h 2 (k) kræver at værdierne dannet er relative primes i forhold til hash tabellens størrelse Relative primes: to heltal der ikke deler nogen fælles positiv divisor, med undtagelsen af tallet 1 En måde at opnå dette er at lade m optræde som en toer potens, dvs. m = 2 p og sikre h 2 (k) altid returnerer et ulige tal En anden måde at vælge sine dobbelt funktioner er h 1 (k) = k mod m h 2 (k) = 1 + (k mod m ) Her er m et primtal og m er et lidt mindre tal, f.eks. m = m

31 Dobbelt hashing kompleksitet Man kan vise at vores forventet antal af forsøg ved et mislykket søgning givet ved: E[X] = 1/(1- ) og at det forventede antal forsøg for en succesfuld søgning er E[Y] = (1/ )ln(1/(1- )) 31

32 Analyse af dobbelt hashing Med åben adressering har vi højest et element per slot i hash tabellen, dvs. at n m, og dermed 1 (husk at = n/m) Lad os definere X til at være antallet af forsøg vi gør os ved en mislykket søgning, og Y til at være antallet af forsøg vi gør os ved en succesfuld søgning Resten tager vi på tavlen Og dermed er vores forventet antal af forsøg ved et mislykket søgning givet ved: E[X] = 1/(1- ) Ved lignende, men lidt mere omfattende bevisførelse kan vi vise at det forventede antal forsøg for en succesfuld søgning er E[Y] = (1/ )ln(1/(1- )) 32

33 Perfekt hashing En yderligere metode er anvendelse af statiske nøgler Når nøglerne en gang er gemt i tabellen, ændres de ikke! Eksempler Reserverede ord i et programmeringssprog Filnavne på en CD - ROM Hvis kravet om hukommelse er O(1) anvender vi også perfekt hashing Den basal ide er at anvende et to-niveau hashing system med anvendelse af universel hashing på hvert niveau Første niveau er essentiel hashing med chaining Andet niveau er en række-individuel hash funktion 33

34 / / / / / Eksempel T m m / / / / / 75 / m m 7 a 0 a 2 a 5 a / / / / / / / Perfekt hashing til at gemme sættet K={10, 22, 37, 40, 52, 60, 70, 72, 75} Ydre hash funktion har a = 3; b = 42; p = 101 og m = 9 b 0 b 2 b 5 b 7 s 0 s 5 Generel hash funktion ((ak + b) mod p) mod m s 2 s 7 / / / / 37 / 34

35 Valg af hash funktioner der garanterer kollisionsfri hashing Ved forsigtig valg af hash funktioner, kan vi garantere der ikke er nogen kollisioner på andet niveau, hvilket er hvad vi har brug for! Vi benytter os af en hashfunktion fra H, og hvis vi vælger m = n 2, så kan vi vise at der er stor sandsynlighed for at undgå kollision (den er mindre en 50%) Man skal måske prøve et par gange, men husk at K er statisk! For primær hash tabel benytter vi af de universelle hashfunktioner H p,m, med p værende et primtal større end den største nøgle For den sekundære hash tabel benytter vi en af de universelle hashfunktioner H p,mj Med n j = m j = 1 har vi ikke brug for slot j, og vi kan derfor benytte a = b = 0 35

36 Surprice. Geohashing! 36

37 Dagsorden Introduktion og baggrund Direkte adressering Hashing konceptet Kollision og kollisionsundvigelse af hash værdier Hash funktioner Divisions og multiplikations metoder Universel hashing Åben adressering Lineær, kvadratisk probing Dobbelt hashing Perfekt hashing Opsummering og konklusion Opgaver 37

38 Opsummering og konklusion Hash tabeller er en smart måde at organisere sin data på i hukommelsen, med en hurtig søgetid O(1) Kræver relativ lidt hukommelse i forhold til direkte adressering Hash tabeller kræver hash funktioner, hvis primære formål er at mappe nøgler til tabelelementer En god hash funktion leder til få kollisioner Nogle metoder at overkomme kollisioner på er ved Chaining: anvendelse af linked lister på bekostning af søgetid, associeret til de enkelte tilgange i hash tabellen Åben adressering: der baserer sig på at holde data indenfor hash tabellen. Her bruger vi så probing til tilgang af kollideret data. Lineær og kvadratisk probing giver tendens til gruppering af data, men er anvendelige Dobbelt hashing er en god måde at overkomme problemer med gruppering af data Perfekt hashing kan anvendes med fordel når vi har med statiske nøglesæt at gøre 38

39 Dagsorden Introduktion og baggrund Direkte adressering Hashing konceptet Kollision og kollisionsundvigelse af hash værdier Hash funktioner Divisions og multiplikations metoder Universel hashing Åben adressering Lineær, kvadratisk probing Dobbelt hashing Perfekt hashing Opsummering og konklusion Opgaver 39

40 Opgaver Opgave Opgave , Opgave Implementer en hash tabel der anvender åben adressering, og som kan håndtere HASH - DELETE korrekt, samt sikre at HASH - INSERT håndtere slettet data korrekt. Se evt. opgave