Let . Compute the number of sets of subsets with such that , , and no subset contains two consecutive integers.
Problem 1562
Official solution
To solve this problem, we need to find the number of sets of subsets such that:
1.
2.
3.
4. No subset contains two consecutive integers.
Let's break down the problem step by step.
1. Condition Analysis:
- means every element in must be in at least one of , , or .
- means and are disjoint from . Therefore, must be disjoint from both and .
- No subset contains two consecutive integers.
2. Disjoint Subsets:
- Since and are disjoint from , we can consider as a subset of that does not contain consecutive integers.
- The remaining elements in must be partitioned into and such that and do not contain consecutive integers.
3. Counting Non-Consecutive Subsets:
- We need to count the number of ways to partition into three subsets , , and such that no subset contains consecutive integers.
- Let's denote the number of ways to partition into three such subsets as , where is the number of elements in .
4. Recursive Approach:
- We can use a recursive approach to count the number of valid partitions.
- For each element in , we have three choices: put in , , or .
- However, we need to ensure that no subset contains consecutive integers. This means if is in , then cannot be in , and similarly for and .
5. Base Cases:
- For , there are 3 ways to partition into , , and .
- For , there are 6 ways to partition into , , and such that no subset contains consecutive integers.
6. General Case:
- For , we can use the following recurrence relation:
- 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 :