Enumerative combinatorics

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Enumerative combinatorics or Enumeration is an area of Combinatorics on the number of ways that certain patterns can be formed. Two examples of this type of problem are counting combinations and counting permutations. More generally, given an infinite collection of finite sets {Si} indexed by the natural numbers, enumerative combinatorics seeks to describe a counting function which counts the number of objects in Sn for each n. Although counting the number of elements in a set is a rather broad mathematical problem, many of the problems that arise in applications have a relatively simple combinatorial description. The twelvefold way provides a unified framework for counting permutations, combinations and partitions.

The simplest such functions are closed formulas, which can be expressed as a composition of elementary functions such as factorials, powers, and so on. For instance, as shown below, the number of different possible orderings of a deck of n cards is f(n) = n!. Often, no closed form is initially available. In these cases, we frequently first derive a recurrence relation, then solve the recurrence to arrive at the desired closed form.

Finally, f(n) may be expressed by a formal power series, called its generating function, which is most commonly either the ordinary generating function

\sum_{n\ge 1} f(n) x^n

or the exponential generating function

\sum_{n \ge 1} f(n) \frac{x^n}{n!}.

Often, a complicated closed formula yields little insight into the behavior of the counting function as the number of counted objects grows. In these cases, a simple asymptotic approximation may be preferable. A function g(n) is an asymptotic approximation to f(n) if f(n)/g(n)\rightarrow 1 as n\rightarrow \infty. In this case, we write f(n) \sim g(n).\,

Once determined, the generating function may allow one to extract all the information given by the previous approaches. In addition, the various natural operations on generating functions such as addition, multiplication, differentiation, etc., have a combinatorial significance; this allows one to extend results from one combinatorial problem in order to solve others.

Often the word "enumeration" is used in place of the word "counting" - hence the name "enumerative combinatorics". If "counting" is to mean "repeatedly adding one", then there are counting situations that are not enumeration (e.g. "counting down the days", "counting out cards") and there there are mathematical theorems (for example extremal theorems) about counting that are not enumeration problems, i.e. the problem may not be to enumerate the elements of some pre-given finite set. Enumerative combinatorics is the subbranch of combinatorics (the study of counting) which deals with enumeration. The reason enumeration is so important is the transitivity property for bijections, which makes it easy to build up a general theory. If for three sets A, B and C, we know that A is bijective with B, and we know that B is bijective with C, then we know that A is bijective with C. Thus existing enumeration results can readily be combined to make new ones, and applied in other areas of combinatorics. This combining of results to obtain new ones is not readily available in most other branches of combinatorics.

[edit] See also

[edit] References

Languages