Sometimes counting what you want directly is messy, but counting what you don't want is easy. Complementary counting β subtracting the "bad" from the "total" β is one of the most powerful problem-solving techniques in combinatorics. When you see "at least one," think complement first.
If U is the set of all possible outcomes (the universe), and A is the set you care about, then:
\[ |A| = |U| - |A^{\mathsf{c}}| \]
Number of good outcomes = Total outcomes - Number of bad outcomes.
Simple idea, but it turns hard problems into easy ones.
Use complementary counting when:
Classic trigger phrase: "at least one" β the complement is "none," which is usually a single case.
This is the #1 application. "At least one success" is hard directly (cases: 1 success, 2 successes, ...), but "zero successes" is one simple case.
Answer = Total - None
Example: roll 3 dice, probability of at least one 6. Total = \(6^{3}\) = 216. No sixes = \(5^{3}\) = 125. At least one six = 216 - 125 = 91.
Arrangement problems where something is forbidden:
Example: arrange 5 people, A and B cannot be adjacent.
\(Total: 5! = 120. Bad (A,B together): treat as block \\to 4! \\times 2! = 48. Good: 120 - 48 = 72.\)
This is often easier than the gap method, and a good way to verify gap-method answers.
Same idea applied to probability:
\[ P(A) = 1 - P(A^{\mathsf{c}}) \]
P(at least one success) = 1 - P(no successes)
Example: 30% \(chance of rain each day, independent. P(rain at least once in 5 days) = 1 - (0.7)^{5} \\approx 0.832.\)
| Phrase | Complement |
|---|---|
| At least one | None / zero |
| At least two | Zero or one |
| At most k | At least k+1 |
| Not all | All |
| Not both | Both |
| At least one of each type | Missing at least one type |
Before diving in, quickly estimate: how many cases for direct? How many for complement?
Pick whichever has fewer cases. This 10-second check saves minutes.
Rule of thumb: if "at least one" appears, try complement first β it's usually the right move.
Make sure you're computing the correct complement. "At least one red AND at least one blue" \(\\neq\) "not all red and not all blue."
The complement of "at least one of each" is "missing at least one color" β which itself might need inclusion-exclusion (next module).
Always define clearly: what's the universe? What exactly is the bad set?
"At least one" \(\\to use complementary counting.\)
Step 1: Find total number of outcomes.
Each die has 6 faces, 3 dice:
\(Total = 6 \\times 6 \\times 6 = 216\)
Step 2: Find "bad" outcomes (no sixes at all).
Each die has 5 non-6 faces:
\(Bad = 5 \\times 5 \\times 5 = 125\)
Step 3: Subtract.
\[ \text{At least one 6} = \text{Total} - \text{No sixes} = 216 - 125 = 91 \]
Direct verification (harder):
\(Exactly one 6: \binom{3}{1} \\times 1 \\times 5 \\times 5 = 3 \\times 25 = 75\)
\(Exactly two 6s: \binom{3}{2} \\times 1 \\times 1 \\times 5 = 3 \\times 5 = 15\)
\(Exactly three 6s: \binom{3}{3} = 1\)
Total = 75 + 15 + 1 = 91 β (same answer, more work)
Answer: 91
"NOT all together" \(\\to complement is\) "all together" (one case, easy to count).
Step 1: Total arrangements of MOBILE (6 distinct letters).
Total = 6! = 720
Step 2: Bad = all three vowels together. Use block method.
Treat OIE as one block. Items to arrange: [OIE block] + M + B + L = 4 items
Arrange 4 items: 4! = 24
Arrange vowels inside block: 3! = 6
\(Bad = 24 \\times 6 = 144\)
Step 3: Good = Total - Bad
\[ 720 - 144 = 576 \]
Answer: 576
"At least one make" \(\\to complement =\) "misses all 4."
Step 1: Probability of missing one shot.
P(miss) = 1 - 0.70 = 0.30
Step 2: Probability of missing all 4 (independent shots).
\(P(all miss) = (0.30)^{4} = 0.3 \\times 0.3 \\times 0.3 \\times 0.3\)
\(= 0.09 \\times 0.09 = 0.0081\)
Step 3: Complement.
\[ P(\text{at least one make}) = 1 - P(\text{all miss}) = 1 - 0.0081 = 0.9919 \]
Direct check:
\(P(1 make) = \binom{4}{1} \\times 0.7 \\times 0.3^{3} = 4 \\times 0.7 \\times 0.027 = 0.0756\)
\(P(2 makes) = \binom{4}{2} \\times 0.7^{2} \\times 0.3^{2} = 6 \\times 0.49 \\times 0.09 = 0.2646\)
\(P(3 makes) = \binom{4}{3} \\times 0.7^{3} \\times 0.3 = 4 \\times 0.343 \\times 0.3 = 0.4116\)
P(4 makes) = 0.\(7^{4}\) = 0.2401
Sum = 0.0756 + 0.2646 + 0.4116 + 0.2401 = 0.9919 β
Answer: 0.9919