Double counting (proof technique)
Technique for proving that two expressions are equal by showing that they both count the size of the same set
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 from two perspectives leading to two distinct expressions for the size of the set.
Nº Q1191750 ★
Common · History
Double counting (proof technique)
Technique for proving that two expressions are equal by showing that they both count the size of the same set
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 from two perspectives leading to two distinct expressions for the size of the set.
From Wikipedia
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 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.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
D
Double check
In chess, a check delivered by two pieces simultaneously
Nº Q1339614 ★
Not listed
-
M
Multiplicity (mathematics)
Number of times an element appears in the multiset
Nº Q2228257 ★
Not listed
-
C
Counting sort
Sorting algorithm
Nº Q1124964 ★
Not listed
-
Two-square cipher
Encryption technique
Nº Q1124307 ★
Not listed
-
T
Twelvefold way
Systematic classification of 12 related enumerative problems concerning two finite sets
Nº Q7857666 ★
Not listed
-
Method of complements
Method of subtraction
Nº Q4741052 ★
Not listed