Enumerative Combinatorics (Definition)
📜
The statement of the theorem
3 out of 4638576 or out of 580717, if rotations and reflections are not counted as distinct, Hamiltonian cycles on a square grid graph 8х8
Enumerative combinatorics is an area of combinatorics that deals with 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 S_{i} indexed by the natural numbers, enumerative combinatorics seeks to describe a counting function which counts the number of objects in S_{n} 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!. The problem of finding a closed formula is known as algebraic enumeration, and frequently involves deriving a recurrence relation or generating function and using this to arrive at the desired closed form.
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 is an asymptotic approximation to if as . In this case, we write
- ^(sequence A003763 in the OEIS)
- ^(sequence A209077 in the OEIS)