Problems in discrete geometry (i.e. the border between combinatorics and geometry) have made several recent appearances on the IMO (typically, granted as Q6). A nice book by Igor Pak covers much of the important material in this area — the book is aimed at undergaduate and graduate students in maths, but the first few chapters in particular are suitable for Olympiad level students.
As in many cases, the important thing is not the results themselves (though Helly’s theorem is a useful tool in lots of setting) but the “style” of proofs in this area.
Here are some scanned notes by Michael on enumeration – the subtle art of counting. They were originally used for a course at Carnegie Mellon, and expand on the ideas in Basic Counting Principles.
The contents pages list a chapter on graph theory; unfortunately this chapter is not available at present.
Induction is a powerful tool for proving that some result or formula is true for all natural numbers n, without resorting to handwaving or saying “and so on.” These notes by Chris Tuffley outline induction in its various forms – and explain just what it has to do with dominoes…
In Basic Counting Principles you learnt how to find the size of a union of two sets. The powerful
Principle of Inclusion-Exclusion tells us how to generalise this formula to a union of arbitrarily many sets.
Some notes and problems on finding and solving recurrence relations. Read these if you’ve ever wondered how to find a formula for the Fibonacci sequence!
Here are the slides from Chris Tuffley’s talk on the seven colour theorem at the 2009 camp. These weren’t really intended as a stand alone document, so you’ll have to fill in some of the gaps yourselves!