I've tried to search the web and in books, but I haven't found a good definition or definitive explanation of what combinatorics is.

Could anyone give me a definition/explanation of combinatorics, of what combinatorics is, and what it deals with?

References that contain an answer to the question are appreciated.

Edit: I sees that many are saying that combinatorics deal with counting, but that doesn't seem to be the correct answer, for two reasons: first of all saying that combinatorics is just about counting means, at least to me, putting it inside set theory, because it's there where you define and deal with the more wide concept of counting; another reason is that there are some branch of mathematics which usually fall under combinatorics but doesn't directly deal with counting: for instance combinatorial design doesn't explicitly deal with counting.


In The Two Cultures Of Mathematics, Tim Gowers offers a rather expansive concept:

I often use the word "combinatorics" not quite in its conventional sense, but as a general term to refer to problems that it is reasonable to attack more or less from first principles. (This is really a matter of degree rather than an absolute distinction.) Such problems need not be discrete in character or have much to do with counting. Nevertheless, there is a considerable overlap between this sort of mathematics and combinatorics as it is conventionally understood.


Personally, I see "combinatorics" as the "art of counting", which implies that the underlying objects are at least countable (= discrete), but better finite. I find it natural that "graph theory" is filed under "combinatorics" (because graphs are usually discrete, and there is a lot to count about graphs).

The queen of combinatorics is generatingfunctionology.


Combinatorics is one of the most fascinating and frustrating branches of mathematics. For some bizarre reason, no one really seems to understand. Many mathematics students find it impossibly difficult while some find it as easy as breathing. It's also pretty difficult to precisely define.

Classically, combinatorics deals with finite sets of objects and the various ways their subsets and their elements can be counted and ordered. This definition seems the most reasonable to me. However, a number of mathematicians have vehemently disagreed. In fact,I once tried to define combinatorics in one sentence on Math Overflow this way and was vilified for omitting infinite combinatorics. I personally don't consider this kind of mathematics to be combinatorics, but set theory. It's a good illustration of what the problems attempting to define combinatorial analysis are. The best definition I can give you is that it is the branch of mathematics involving the counting and ordering of subsets of sets of objects.

As for textbooks, there's fortunately quite a few good ones. I first tried to learn combinatorics from the old classic Combinatorial Analysis by Liu. Much easier,well written and more informative is the terrific Introductory Combinatorics by Richard Brauldi. More modern and equally good are the books of Milkos Bona; A Walk Through Combinatorics and An Introduction To Enumerative Combinatorics Both books are outstanding, with the former being more comprehensive and the latter focusing more on counting techniques. Lastly, there's a terrific book by one of the great Hungarian masters; Discrete Mathematics by Laszlo Lovasz. Deep and complete, it's a really good introduction by one of the best practitioners.

That should get you started. One last thing: As I said, many talented mathematics students and mathematicians don't find this their cup of potion. As a result, you may find it frustrating and at times,begin to doubt your own mathematical ability. Keep in mind combinatorics has frustrated many an otherwise great mathematician and not to let it get to you. But it's hard to doubt that the skills learned in combinatorics are vital and important to the training of anyone interested in serious problem solving.