Exercise 39: Dictionaries, Oh Lovely Dictionaries
Now I have to hurt you with another container you can use, because once you learn this container a massive world of ultra-cool will be yours. It is the most useful container ever: the dictionary.
Python calls them "dicts." Other languages call them "hashes." I tend to use both names, but it doesn't matter. What does matter is what they do when compared to lists. You see, an list lets you do this:
You can use numbers to "index" into a list, meaning you can use numbers to find out what's in lists. You should know this about lists by now, but make sure you understand that you can only use numbers to get items out of a list.
What a dict does is let you use anything, not just numbers. Yes, a dict associates one thing to another, no matter what it is. Take a look:
You will see that instead of just numbers we're using strings to say what we want from the stuff dictionary. We can also put new things into the dictionary with strings. It doesn't have to be strings though. We can also do this:
In this code I used numbers, and then you can see there are numbers and strings as keys in the dict when I print it. I could use anything. Well, almost but just pretend you can use anything for now.
Of course, a dictionary that you can only put things in is pretty stupid, so here's how you delete things, with the del keyword:
A Dictionary Example
We'll now do an exercise that you must study very carefully. I want you to type this exercise in and try to understand what's going on. Take note of when I put things in a dict, get from them, and all the operations I use here. Notice how this example is mapping states to their abbreviations, and then the abbreviations to cities in the states. Remember, "mapping" or "associating" is the key concept in a dictionary.
What You Should See
$ python ex39.py ---------- NY State has: New York OR State has: Portland ---------- Michigan's abbreviation is: MI Florida's abbreviation is: FL ---------- Michigan has: Detroit Florida has: Jacksonville ---------- California is abbreviated CA Michigan is abbreviated MI New York is abbreviated NY Florida is abbreviated FL Oregon is abbreviated OR ---------- FL has the city Jacksonville CA has the city San Francisco MI has the city Detroit OR has the city Portland NY has the city New York ---------- California state is abbreviated CA and has city San Francisco Michigan state is abbreviated MI and has city Detroit New York state is abbreviated NY and has city New York Florida state is abbreviated FL and has city Jacksonville Oregon state is abbreviated OR and has city Portland ---------- Sorry, no Texas. The city for the state 'TX' is: Does Not Exist
What Dictionaries Can Do
Dictionaries are another example of a data structure, and like lists they are one of the most commonly used data structures in programming. A dictionary is used to map or associate things you want to store to keys you need to get them. Again, programmers don't use a term like "dictionary" for something that doesn't work like an actual dictionary full of words, so let's use that as our real world example.
Let's say you want to find out what the word "Honorificabilitudinitatibus" means. Today you would simply copy-paste that word into a search engine and then find out the answer, and we could say a search engine is like a really huge super complex version of the Oxford English Dictionary (OED). Before search engines what you would do is this:
- Go to your library and get "the dictionary". Let's say it's the OED.
- You know "Honorificabilitudinitatibus" starts with the letter 'H' so you look on the side of the book for the little tab that has 'H' on it.
- Then you'd skim the pages until you got close to where "hon" started.
- Then you'd skim a few more pages until you found "Honorificabilitudinitatibus" or hit the beginning of the "hp" words and realized this word isn't in the OED.
- Once you found the entry you would then read the definition to figure out what it eans.
This process is nearly exactly the way a dict works, and you are basically "mapping" the word "Honorificabilitudinitatibus" to its definition. A dict in Python is just like a dictionary in the real world like the OED.
In fact, we can implement one like this using just lists.
Making Your Own Dictionary Module
This part of the exercise is in draft status, so if you find bugs in the hashmap code please email firstname.lastname@example.org or tell @lzsthw on twitter. Also, I have yet to write the description for it so feel free to try to figure it out on your own until I do.
The final piece of code in this exercise will show you how to make a dict data structure using nothing but the lists you already know how to use. This code may be a little difficult to understand, so don't worry if it takes you a while to full grasp what it's doing. There's actually nothing new in this, it's just slightly more complex and has a few more things you'll need to look up.
To keep things from stepping on Python's dict I'm going to call my data structure a "hashmap", which is another name for a dictionary data structure since it maps one thing to another. You should type this code into a file named hashmap.py so we can run it in another file named ex39_test..py next.
This will create a module named hashmap which you should be able to import and work with using this ex39_test..py file:
The Code Description
This hashmap is nothing more than "a list of buckets, which are a list of slots, which have key/value pairs in them." Take a minute to break that down to see what I mean:
- "a list of buckets..."
- In the hashmap function I create the aMap variable which is a list, and then I fill it with other lists...
- "which are a list of slots..."
- These bucket lists are empty at first, but as we add key/value pairs to the data structure they will fill with "slots" or...
- "which have key/value pairs in them."
- Meaning each slot inside a bucket contains a (key, value) tuple or "pair".
If this structure still doesn't make sense, take the time to draw it out on paper until you're sure you get it. In fact, doing algorithms manually on paper is a good way to make sure you understand them.
Now that you know how the data is structured, you just need to know the algorithm for each operation. An algorithm is just the steps you take to do something to or with a data structure. It's the code that makes the data structure work. We'll go through each of these operations using the code, but a general pattern in the hashmap algorithms is this:
- Convert a key to an integer using a hashing function: hash_key.
- Convert this hash to a bucket number using a % (modulus) operator.
- Get this bucket from the aMap list of buckets, and then traverse it to find the slot that contains the key we want.
In the case of set we do this, to replace duplicate keys, or we append to add new ones.
I will now walk through the code for the hashmap so you can understand what's going on, going function by function. Please follow along and make sure you understand every line. Write an English comment above each line to make sure you understand what it's doing. This is so deceptively simple that I recommend you take the time to play with any lines of code mentioned in the following description either in the Python shell, or on paper until you get it.
- First I start by creating a function that makes a hashmap for you, also known as an initializer. What I've done is created an aMap variable that has a list, and then I put num_buckets lists inside it. These buckets will be used to hold the contents of the hashmap as I set them. Later I use len(aMap) in other functions to find out how many buckets there are. Be sure you understand that!
- This deceptively simple function is the core of how a dict works. What it does is uses the built-in Python hash function to convert a string to a number. Python uses this function for its own dict data structure, and I'm just reusing it. You should fire up a Python console to see how it works. Once I have a number for the key, I then use the % (modulus) operator and the len(aMap) to get a bucket where this key can go. As you should know, the % (modulus) operator will divide any number and give me the remainder. I can also use this as a way of limiting giant numbers to a fixed smaller set of other numbers. If you don't get this then use Python to explore it.
- This function then uses hash_key to find the bucket that a key could be in. Since I did % len(aMap) in the hash_key function, then I know whatever bucket_id I get will fit into the aMap list. Using the bucket_id I can then get the bucket where the key could be.
- This function then uses get_bucket to get the bucket a key could be in, and then it simply rolls through every element of that bucket until it finds a matching key. Once it does it returns the tuple of (i, k, v) which is the index the key was found in, the key itself, and the value set for that key. You now know enough to see how this data structure works. It takes keys, hashes and modulus them to find a bucket, then searches that bucket to find the item. This effectively cuts the amount of searching necessary to a fraction of what it would be normally.
- This is just a "convenience function" that does what most people want a hashmap to do. It uses get_slot to get the (i, k, v) and then just returns the v (value) only. Make sure you understand how the default variable works, and also how the (i, k, v) in get_slot is assigned to the i, k, v variables in get.
- To set a key/value pair all I need to do is get the bucket, and append the new (key, value) to it so it can be found later. However, I want my hashmap to only allow one key at a time. To do that, first I have to find the bucket then check if this key already exists. If it does then I replace it in the bucket with the new one, and if it doesn't then I append. This is actually slower than simply appending, but more likely what a user of hashmap wants. If you wanted to allow multiple values for a key you could simply have get go through every slot in the bucket and return a list of everything it found. This is a good example of tradeoffs in design. The current version is faster on get, but slower on set.
- To delete a key, I simply get the bucket and search for the key in it, and delete it from the list. However, because I chose to make set only store one key/value pair I can stop when I have found one. If I had decided to allow multiple values for each key by simply appending I would have also made delete slower because I would have needed to go through every slot on delete just in case it had a key/value pair that matched.
- The last function is simply a little debug function that prints out what's in the hashmap and should be trivial for you to understand. It just gets each bucket, then goes through each slot in the bucket.
After all of these functions I just have a little bit of testing code that makes sure they work.
Three Levels Of Lists
As I mentioned in the discussion above, by deciding that set will overwrite (replace) keys with new values, I have made it slower but this assumption makes all of the other functions faster. What if I wanted a hashmap that allowed for multiple values for each key but still keep everything fast?
What I need to do then is establish that every slot in a bucket is a list of values. This means that I add a 3rd level of buckets, then slots, then values. This also matches the description of this kind of hashmap because I am saying, "For every key there can be multiple values." Another way to say that is, "Every key has a list of values." Since keys go in slots, then slots have lists of values and I'm done.
If you want to take this code further, then go ahead and change it to support multiple values for each key.
What You Should See (Again)
When To Use Dictionaries vs. Lists
As I mentioned in Exercise 38, lists have specific properties that help you contain and organize things that need to be in a list structure. Dictionaries are the same, but the properties of a dict are different than lists because they work with mapping keys to values. That means you use a dictionary when this is the situation:
- You have to retrieve things based on some identifier, like names, addresses, or anything that can be a key.
- You don't need things to be in order. Dictionaries do not normally have any notion of order, so you have to use a list for that.
- You are going to be adding and removing elements and their keys.
This means that if you have to use a non-numeric key then use a dict. If you need things in order, use a list.
- Do this same kind of mapping with cities and states/regions in your country or some other country.
- Go find the Python documentation for dictionaries and try to do even more things to them.
- Find out what you can't do with dictionaries. A big one is that they do not have order, so try playing with that.
- Go read about Python's assert feature and then take the hashmap code and add assertions for each of the tests I've done instead of print. For example, you can assert that the first get operation returns "Flamenco Sketches" instead of just printing that out.
- Make sure you noticed that the list function listed the items I added in a different order than they were added. This is an example of how dictionaries don't maintain order, and if you analyze the code you'll understand why.
- Create a dump function that is like list but which dumps the full contents of every bucket so you can debug it.
- Go look at Python's dictionary and see if there's any features you can add to this hashmap structure you've made.
- Make sure you know what the hash function does in that code. It's a special function that converts strings to a consistent integer. Find the documentation for it online. Read about what a "hash function" is in programming.
Common Student Questions
- What is the difference between a list and a dictionary?
- A list is for an ordered list of items. A dictionary (or dict) is for matching some items (called "keys") to other items (called "values").
- What would I use a dictionary for?
- Any time you have to take one value and "look up" another value. In fact you could call dictionaries "look up tables."
- What would I use a list for?
- A list is for any sequence of things that need to go in order, and you only need to look them up by a numeric index.
- What if I need a dictionary, but I need it to be in order?
- Take a look at the collections.OrderedDict data structure in Python. Search for it online to find the documentation.