In combinatorics, double counting, also called counting in two ways, is a combinatorial proof technique for showing that two expressions are equal by demonstrating that they are two ways of counting the size of one set. In this technique, which van Lint & Wilson (2001) call “one of the most important tools in combinatorics,” one describes a finite set X from two perspectives leading to two distinct expressions for the size of the set. Since both expressions equal the size of the same set, they equal each other.
Famous quotes containing the words double and/or counting:
“Art has a double face, of expression and illusion, just like science has a double face: the reality of error and the phantom of truth.”
—René Daumal (1908–1944)
“Love is sinister,
is mean to us in separation;
makes our thin bodies thinner.
This fellow Death
lacks mercy
and is good at counting our days.
And Master,
you, too, are subject
to the plague of jealousy
so think:
how could womenfolk,
soft as sprouts,
live like this?”
—Amaru (c. seventh century A.D.)