Hash tables – part one

Next in my occasional series of “reprints” from The Delphi Magazine is a series of articles about one of my favorite data structures, the hash table.

On Track

Before you raise your hands in horror (“What the heck is a hash table?”), let’s lay some foundations and get us thinking along the same lines. Let us assume that we have a set of objects of some description, and associated with each object is a string, which we call a key. We’ll further assume that the key is part of the object in some way, say a property of the object. In essence, you can chuck all these objects into an array and then start to worry about how to retrieve them. So far, so good.

If the array you are using is not in sorted order, then you will agree that the only way to find a particular key (and hence its associated object) is to start at the beginning (or end), wander through the list and compare each key in the list with the one you want. If you get through the whole array without finding the string then, by gum, it ain’t there. If you do find it, then you have the index of the key and hence can get at the object.

If there are N objects in the array, you may find the element you want straight away (“hey, it’s at element 0”), or you may find it right at the end (“rats, it’s at element N-1”). A minor bit of probability theory later, and you can calculate that the expected number of comparisons you will have to make to find an existing key is ½N, and this is the same as the number of element accesses as well. So, for a list of 1024 elements, you will retrieve and examine 512 elements on average to find the one you want.

Ahhh, you say, but an array of such objects can be sorted alphabetically. In this particular situation, to find a given key we apply an algorithm called binary searching. Look at the element at ½N. Compare its string to the one we want. If it is equal, we’ve discovered the element we want. If it is greater than our key then we can immediately state that the element we want is in the first half of the list. If it is less than our key, then we know that the element we want is in the latter half of the list. In either case, we can ignore the other half of the list. Repeat the same process with the half list we have, and we’ll end up with a quarter list. Repeat again and we’ll end up with an eighth list, and so on. Every time we halve the number of elements to look through, and so eventually we’re left with one element that is either the one we want, or it isn’t.

/* global console */
/* jshint esversion:6 */

function binarySearch(array, value, getKey) {
  "use strict";

  let left = 0;
  let right = array.length - 1;

  while (left <== right) {
    let mid = Math.floor((left + right) / 2);  
    let midKey = getKey(array[mid]);
    if (value === midKey) {
      return mid;
    }

    if (value < midKey) {
      right = mid - 1;
    }
    else {
      left = mid + 1;
    }
  }

  return -1;
}

const array = [
  ["ab", "first"],
  ["bc", "second"],
  ["cd", "third"],
  ["de", "fourth"],
  ["ef", "fifth"],
  ["gh", "sixth"],
  ["hi", "seventh"],
  ["ij", "eighth"],
  ["jk", "ninth"],
  ["kl", "tenth"],
];

function getKey(value) {
  return value[0];
}

function testSearch(value) {
  let pos = binarySearch(array, value, getKey)
  if (pos >= 0) { 
    console.log(array[pos][1]);
  }
  else {
    console.log(value, " not found");
  }
}

testSearch("ab"); // first one
testSearch("hi"); // something in the middle
testSearch("kl"); // last one
testSearch("xx"); // not present

The code is relatively simple: we use left and right to bracket our search, and at the start they are set to the first and last index in the array. A slight complication is that I wanted to ensure that the objects in the array were “black boxes” and that a function was needed to extract the key out of each object (this is the getKey function). So the code now says, if there is something in the current bracket (left is less than or equal to right), find the mid point, compare the key at that midpoint with the value we’re trying to find, and if equal return the index of that midpoint. Otherwise if the value we’re trying to find is less than the value at the midpoint, change the right side of the bracket to just before that midpoint (and similarly if it’s greater than, set the left side of the bracket). And … if we get to the point where the bracket is empty (right is less than left), we return –1 to say not found.

So the algorithm works by bracketing the element we want and then gently reducing the bracket size by half each time through the loop. Looking at the code you’ll notice that there is one access to an element per loop, with generally two comparisons per loop. Since the algorithm reduces the range by half each time though the loop (actually a little more than a half), and playing around with some example numbers, you can see that the number of element accesses you will have to make is log2N. So for example when we have 1024 elements, at worst we’ll need to make 10 accesses and 20 comparisons to find the correct element that matches the string we need to find. This is more like it! Since the number of accesses is proportional to log2N, we can see that to find an element in a sorted set of 1,000,000 strings we’ll need about 20 accesses using a binary search algorithm, compared with half a million using a standard sequential search. Amazing.

Now, of course, we have to do some work when we add elements to the array to maintain the sorted order, and this would be much more work than just maintaining a list in an unsorted or arrival sequence. In fact we would have to try and find the element we want to add in the array and then add it at the point we arrive at. So we are, in effect, trading off extra work during the insertion phase to make the search phase that much faster.

Blender? Oh Yeah

So is there anything better than this? Is there some other data structure and/or algorithm that will enable us to find a specific element in an array of N object/key pairs with less than log2N accesses? Well, yes, there is, otherwise I wouldn’t be writing this. The structure we need is a hash table and the number of accesses required will generally be one.

Let us imagine that we have a magic function that takes in a string and spits out the index in the array we require. All we need then to do is to get that particular element in our array and, bingo, we’re done. When we want to add a object/key pair to the array we call the same magic function which will tell us where to put the key in the list. Is this magic function too good to be true, or what? We’ll see.

This magic function is called a hash. (Like many computer terms hash can either be a noun or a verb, as we’ll see.) As I described above, it takes in a string, does some kind of manipulation on that string and returns a value that can be used as an index into an array or table (in our case, between 0 and one less than the number of elements in the array). Different strings would hash to different values, obviously (it would a pretty silly hash if every string hashed to the same value for what would we do then?). We’ll see that hash functions tend to be great randomizers: for the better ones there seems to be no correlation between the string and the eventual hash value.

Let’s investigate some examples of hash functions so that we can get a ‘feel’ for what’s good and what’s bad. Mmmm, that of course presupposes we know the meaning of good and bad when applied to hash functions! A definition of a good hash function is one that will produce a good spread of values for our particular set of keys. An amazingly good hash function will produce a different value for each key we have, in other words, there are no two keys in our set that hash to the same value (i.e., that do not collide, using the hash table vernacular). A bad hash function is one that produces a large number of equal values for our set of keys (i.e., a large number of collisions).

OK, having said that, here’s my first hash function (Hash 1): return the length of the key. Suppose that we are using the surnames of our N friends as keys in our hash table: is this a good hash for this application? Well, I don’t know about you, but thinking about my friends’ last names, I have none with a zero (!), one, two or three character surname, I have several with four or five or six letters in their last name and I have absolutely none at all with more than 12 letters. So I’d have to say that this particular hash function is absolutely appalling. If I had 50 friends the great majority of the list would be empty, and I would have to try and squeeze 50 names into less than 10 entries in the list.

So, here’s another: take the first letter of the name and use its Unicode value (Hash 2). The merest moment’s thought would soon dispatch that hash function as being too bad for words, so we won’t say any more on the subject.

All right, how about going a little further with that idea? Let’s treat the letters in the names as Unicode values, and adding them all up to some big sum, and then taking the modulus of this result with the number of elements in the array (Hash 3)? (Recall that X % N returns a value between 0 and N-1.) This seems much better, at least on paper. As an experiment, I wrote an application that took the surnames of all the 33 employees at TurboPower in an old phone list I had on disk, and generated their hashes for a 50 element table - in other words I made sure the hashes generated had values between 0 and 49. There were 23 hash values not generated at all, 21 hash values were generated from one name and 6 from two names. (In comparison, the first hash mentioned had 43 values not generated at all, 3 values from 2 names, 3 from 6 and one from 9; the second hash had 34 not generated at all, 5 from 1, 6 from 2, 4 from 3, and 1 value that was generated from 4 names.) So, this small experiment shows we’re on the right track. Could we do better?

The fourth hash we shall look at is the ELF hash, devised a while ago for UNIX object files (Hash 4).

/* global console */
/* jshint esversion:6 */

function elfHash(key, count) {
  "use strict";
  let h = 1;
  for (let i = 0; i < key.length; i += 1) {
    h = (h << 4) + key.charCodeAt(i);

    let g = h & 0xf0000000;

    if (g !== 0) {
      h ^= g >> 24;
    }

    h &= ~g;
  }

  return h % count;
}

Here the results didn’t seem much better (despite the complexity of the algorithm - it does quite a bit of internal randomization): 23 values not generated at all, 22 values from one name, 4 from 2 and 1 generated from 3 names.

Maybe we’re missing something? One small point to make (which doesn’t seem obvious from our experiments) is that a prime number is usually used for a divisor because primes tend to distribute remainders (which is what we get with the mod operator) more randomly than non-primes. So, let’s ensure that our list has a prime number of elements, say 53. Rerunning the same test on the TurboPower phone list gives a better distribution for the last two hashes described above, with the ELF hash being slightly better. But there are still hash values which are generated from two or more names. This is pretty awful for us since we want a magic hash function that will generate a different index for each of our strings so that when we add string to the list or table it won’t clash (or collide) with a string that’s already there.

Hawaiian Chance

Let’s take a little side step into probability theory. Imagine a dart board where the bull’s eye and double and triple rings don’t exist. In other words, a circle divided into 20 equal pie slices. I throw 15 darts at the board. With my dart throwing ‘skills’, it’ll be pretty random where these darts stick in. Now there will be slices on the board where there won’t be a dart, there will be slices where there is one dart and there may be slices with more than one dart. There may even be a slice with three darts. It can be shown that the distribution of darts in the board (i.e., the number of slices with no darts, the number with one, etc) follows a Poisson distribution. The Poisson distribution curve is really a set of discrete points, each point representing the probabilities of no events, one event, two events, and so on. In general, the curve is humped towards the y-axis, with the probabilities of 0, 1 and maybe 2 events being significant, and the probability of x events where x increases from 3 getting asymptotically close to the x-axis. Picture 1 shows a Poisson distribution with mean 1.

Fascinating, I’m sure, but what does all this have to do with hash tables? Well, as I’ve already said, the better hash functions have a randomizing aspect to them. The strings we use to generate hash values are like the darts, and the hash values are like the slices in the dart board. The distribution of hash values from our set of strings follows a Poisson distribution. (In table 1 the row labeled Expected is the set of expected values according to probability theory.)

In fact, the expected number of hash values that will be generated by x different strings is given by the formula

\[ ExpectedNumber = N \frac { { (r/N) ^ x} e ^ {–( {r/N} )}  } {x!} \]

where r is the number of strings we are trying to insert in a list of N elements. For example, plugging r=33 and N=53 in to this formula, we expect that there is going to be one hash value (rounded from 1.4) that will be generated by 3 different strings.

Crash Dance

The outcome of this little detour is that no matter how clever we are in devising a stupendously complex hash function, there are likely to be some hash values that are generated by two or more strings. And, in turn, that means we will have to come up with a scheme to cope with this situation.

When the same hash value is generated by two or more strings, it’s known as a collision. For example, suppose we add Smith to our hash table. We calculate that the hash value for Smith is 42 using our whizzomatic hash function and so we put ‘Smith’ and his associated value into the 42nd element of our list. If we want to find Smith again, we calculate the hash (42) and go and get the 42nd element from our list. Piece of cake.

Now we want to add Jones to our hash table. We calculate the hash for Jones and it also comes out as 42. We go to element 42 of our list and note that it is already filled with information for Smith. What do we do now? Where can we put Jones and his associated information? Obviously we can’t replace element 42, otherwise we would never find Smith again.

How How

There are several options open to us. The simplest is called linear probing (or sometimes as progressive overflow). The way this works is this. Continuing our recent example, we note that element 42 is taken. We go and have a look at element 43 instead. If that is not taken we put Jones there. If it is taken, we continue this process with element 44, 45 and so on (wrapping round at the end of the table if necessary) until we do find an empty slot. Now, let’s consider a search for Jones and his information. We hash Jones to get 42, and go get element 42 from our list. It’s for Smith, so we reject it and go and get element 43. It’s for Jones and we’ve completed our search. Here’s the table around that part at this point:

Element 41: 
Element 42: Smith
Element 43: Jones
Element 44: 

 

What happens if we have to find the element for Rhys who isn’t in our table. We hash Rhys to get a value of 42 (oh no, not again!). We go get element 42, it’s Smith. Ignore it and go get element 43. It’s for Jones. Ignore it and go get element 44. This element is empty and from this we can determine that Rhys is not in our hash table. Pretty easy, huh?

A couple of notes about linear probing might be worth mentioning here before we continue. The maximum number of strings we can insert into a hash table using this method to resolve collisions is obviously equal to the number of items in the hash table. If we have a table of 53 elements, we can’t add 54 strings to it. Period. Unless we code a table that dynamically expands, that is, and we’ll be getting to this in a later installment.

Next thing to realize is that linear probing starts to degenerate the greater the loading of the table. Suppose that we’ve added 52 strings to our 53 element hash table and we’re just about to add the last one. We could be extremely unlucky and get a collision and have to retrieve all 52 elements and reject them until we reached the empty slot. In fact research has shown that if the hash table is 66% or less full the average number of accesses for finding a particular string is 2.0 or less. In other words, if our hash table of 53 elements is filled with our 33 strings (about 62% full), and we try and find every single string we’ve added, we’ll make in the region of 66 accesses to find all 33 strings. If the hash table were 80% full, we’d make on average 3.0 accesses for each string. At 87% the average rises to 4.0, at 90% it’s now 5.0. So if we are going to use linear probing as our collision solution, it makes sense to keep our hash tables two thirds or less full (to put it another way we should ensure that our hash tables are always one third or more empty space if they use linear probing as a collision resolution mechanism).

Also it doesn’t matter how bad our hash function is, we’ll still be able to insert 53 strings into the table. But at what cost? Imagine Hash 1 above being used to insert the TurboPower phone list into a 53-element hash table. You can see that there will be many, many collisions in trying to populate the hash table (for example, there will be nine strings that generate the same hash value, i.e., there will be at least 8 collisions at one point in the table). So we do need to use a good hash function and by doing so we reduce the number of collisions. By reducing the number of collisions we improve the efficiency of the hash table; we know that there will probably be some collisions -- we just need to reduce the total number.

Another point which hasn’t really been mentioned before is that for linear probing to work well, the hash function must give a good spread of values. If there is a ‘clumping’ of values around some particular hash value then any collisions in that clump will cause long chains of ‘get and reject’ operations in implementing the linear probe. For example, suppose we’ve added seven strings and in doing so the hash values 13-19 have all been taken. If we now add another string and it collides at 13, then the linear probe will have to get and reject 7 elements until it reaches an empty element. This aspect of hash functions is extremely hard to predict.

Bananas To The Beat

Having warned you sufficiently about some of the obvious and not so obvious problems of linear probing, there is one more. What happens if we want to delete a string from our hash table? Seems pretty easy at first glance: hash the string, find the actual element in the list (maybe doing a couple of probes in the process) and then mark that element empty.

Bzzzzt! Let’s illustrate the problem. Say we have an empty hash table and we insert Smith, Jones and Rhys into the table in that order. They all hash to 42 and hence the table looks like this in that region:

Element 41: 
Element 42: Smith
Element 43: Jones
Element 44: Rhys
Element 45: 

 

Now we delete Jones and mark his element as empty:

Element 41: 
Element 42: Smith
Element 43: 
Element 44: Rhys
Element 45: 

 

Now try and find Rhys. Rhys hashes to 42. Get element 42: it’s Smith, so reject it and move to element 43. It’s empty and so we conclude that Rhys is not in the table. What happened here is that we broke the linear probe chain that led to Rhys. If we delete a string from the list we cannot mark its element as empty, we must instead mark it as ‘deleted’: it may be that that element is forming part of a linear probe chain that we don’t know anything about. Let’s do the same experiment of deleting Jones again and this time we mark the element as deleted.

Element 41: 
Element 42: Smith
Element 43: 
Element 44: Rhys
Element 45: 

 

Find Rhys again. Rhys hashes to 42. Get element 42: it’s Smith, so reject it and move to element 43. It’s marked as deleted, so reject it and move onto element 44. It’s Rhys and we’re done.

Using this scheme, insertion becomes a little more complicated. Let’s reinsert Jones into the table. It hashes to 42, get element 42. This is for Smith so reject it. Get element 43. It’s deleted and so we could reuse it. But, we have not yet shown that Jones is definitely not in the table: Jones could be somewhere else along the chain we’re tracing. So, we need to follow the linear probe chain until we get to an empty element without finding Jones. Once we do that we are allowed to insert Jones into the deleted element. So get element 44 (Rhys) reject, get element 45 (empty): Jones is not present, hence we can reuse the deleted element. It must be noted that we could use the empty element at number 45 instead of the deleted element at 43, but remember we always need to keep our linear probe chains as small as we can.

You Gotta Say Yes To Another Excess

Next time, we’ll move onto other collision resolution methods for hash tables. We’ll also be looking at how to enlarge a hash table, the so-called dynamic hash tables. And of course, there will be code!

Delphi Magazine logo

(A long time ago I used to write a monthly algorithms column for The Delphi Magazine, called Algorithms Alfresco. This was a Delphi programmer magazine in the UK, which sadly closed down in 2007. I've decided to reuse/revamp those articles in a long series here on my blog, but coding in JavaScript instead of Delphi. This article first appeared in the February 1998 issue.)

Insect hive

Loading similar posts...   Loading links to posts on similar topics...

No Responses

Feel free to add a comment...

Leave a response

Note: some MarkDown is allowed, but HTML is not. Expand to show what's available.

  •  Emphasize with italics: surround word with underscores _emphasis_
  •  Emphasize strongly: surround word with double-asterisks **strong**
  •  Link: surround text with square brackets, url with parentheses [text](url)
  •  Inline code: surround text with backticks `IEnumerable`
  •  Unordered list: start each line with an asterisk, space * an item
  •  Ordered list: start each line with a digit, period, space 1. an item
  •  Insert code block: start each line with four spaces
  •  Insert blockquote: start each line with right-angle-bracket, space > Now is the time...
Preview of response