Find the number of partitions of the set $\{1, 2, \cdots, n\}$ into three subsets $A_1,A_2,A_3$, some of which may be empty, such that the following conditions are satisfied: $(i)$ After the elements of every subset have been put in ascending order, every two consecutive elements of any subset have different parity. $(ii)$ If $A_1,A_2,A_3$ are all nonempty, then in exactly one of them the minimal number is even . Proposed by Poland.
Problem
Source:
Tags: combinatorics, partitions, counting, Extremal combinatorics, IMO Shortlist
13.09.2010 14:49
I suppose that one could try something inductive like proving that if you're given a valid partition of $\{1, \ldots, n\}$ then there are always exactly two piles on which you can add $n + 1$ and end up with a valid partition of $\{1, \ldots, n, n +1\}$, but that solution seems to involve some boring case-work. Instead, here's a pretty bijection: I claim that valid partitions are in bijection with partitions of $\{1, \ldots, n\}$ into consecutive strings of integers. I'll denote members of the later set like $123-45-678-9$ to indicate a partition with four parts, one of which contains the two elements 4 and 5. Rather than a proof, here are some examples of the bijection: $123456 \to \{123456, \varnothing, \varnothing\}$ $1-23456 \to \{1, 23456, \varnothing\}$ $12-3456 \to \{12, 3456, \varnothing\}$ $1-2-3456 \to \{1, 2, 3456\}$ $1-23-456 \to \{1456, 23, \varnothing\}$ $1-234-56 \to \{1,234,56\}$ $1-2345-6\to \{16,2345,\varnothing\}$ $1-2-3-456 \to \{1456,2,3\}$ $1-2-34-56 \to \{1,256,34\}$ $1-23-4-56 \to \{14,23,56\}$ $1-23-45-6 \to \{145, 236, \varnothing\}$ Hopefully it's clear from here how to do this in general.
03.01.2017 04:43
The answer is $3\left(2^n-1\right)$by induction.
04.07.2018 11:53
Bump.......