Double Counting (proof Technique)

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:

    Today, San Francisco has experienced a double tragedy of incredible proportions. As acting mayor, I order an immediate state of mourning in our city. The city and county of San Francisco must and will pull itself together at this time. We will carry on as best as we possibly can.... I think we all have to share the same sense of shame and the same sense of outrage.
    Dianne Feinstein (b. 1933)

    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.)