Olympiad Maths Prep

Track / Stage 7 / 162 of 300 #1562 of 2000

Problem 1562

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.3 Find the answer

Let S={1,2,3,4,5,6,7}S = \{1,2,3,4,5,6,7\}. Compute the number of sets of subsets T={A,B,C}T = \{A, B, C\} with A,B,CSA, B, C \in S such that ABC=SA \cup B \cup C = S, (AC)(BC)=(A \cap C) \cup (B \cap C) = \emptyset, and no subset contains two consecutive integers.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

To solve this problem, we need to find the number of sets of subsets T={A,B,C} T = \{A, B, C\} such that:

1. A,B,CS A, B, C \subseteq S
2. ABC=S A \cup B \cup C = S
3. (AC)(BC)= (A \cap C) \cup (B \cap C) = \emptyset
4. No subset contains two consecutive integers.

Let's break down the problem step by step.

1. Condition Analysis:
- ABC=S A \cup B \cup C = S means every element in S S must be in at least one of A A , B B , or C C .
- (AC)(BC)= (A \cap C) \cup (B \cap C) = \emptyset means A A and B B are disjoint from C C . Therefore, C C must be disjoint from both A A and B B .
- No subset contains two consecutive integers.

2. Disjoint Subsets:
- Since A A and B B are disjoint from C C , we can consider C C as a subset of S S that does not contain consecutive integers.
- The remaining elements in SC S \setminus C must be partitioned into A A and B B such that A A and B B do not contain consecutive integers.

3. Counting Non-Consecutive Subsets:
- We need to count the number of ways to partition S S into three subsets A A , B B , and C C such that no subset contains consecutive integers.
- Let's denote the number of ways to partition S S into three such subsets as f(n) f(n) , where n n is the number of elements in S S .

4. Recursive Approach:
- We can use a recursive approach to count the number of valid partitions.
- For each element i i in S S , we have three choices: put i i in A A , B B , or C C .
- However, we need to ensure that no subset contains consecutive integers. This means if i i is in A A , then i+1 i+1 cannot be in A A , and similarly for B B and C C .

5. Base Cases:
- For n=1 n = 1 , there are 3 ways to partition {1} \{1\} into A A , B B , and C C .
- For n=2 n = 2 , there are 6 ways to partition {1,2} \{1, 2\} into A A , B B , and C C such that no subset contains consecutive integers.

6. General Case:
- For n3 n \geq 3 , we can use the following recurrence relation:
f(n)=3f(n1)2f(n2) f(n) = 3 \cdot f(n-1) - 2 \cdot f(n-2)
- This recurrence relation accounts for the fact that each element can be placed in one of three subsets, but we need to subtract the cases where consecutive integers are placed in the same subset.

7. Calculation:
- Using the recurrence relation, we can calculate f(7) f(7) :
f(1)=3 f(1) = 3
f(2)=6 f(2) = 6
f(3)=3f(2)2f(1)=3623=186=12 f(3) = 3 \cdot f(2) - 2 \cdot f(1) = 3 \cdot 6 - 2 \cdot 3 = 18 - 6 = 12
f(4)=3f(3)2f(2)=31226=3612=24 f(4) = 3 \cdot f(3) - 2 \cdot f(2) = 3 \cdot 12 - 2 \cdot 6 = 36 - 12 = 24
f(5)=3f(4)2f(3)=324212=7224=48 f(5) = 3 \cdot f(4) - 2 \cdot f(3) = 3 \cdot 24 - 2 \cdot 12 = 72 - 24 = 48
f(6)=3f(5)2f(4)=348224=14448=96 f(6) = 3 \cdot f(5) - 2 \cdot f(4) = 3 \cdot 48 - 2 \cdot 24 = 144 - 48 = 96
f(7)=3f(6)2f(5)=396248=28896=192 f(7) = 3 \cdot f(6) - 2 \cdot f(5) = 3 \cdot 96 - 2 \cdot 48 = 288 - 96 = 192

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.