Find all natural numbers $n (n \geq 2)$ such that there exists reals $a_1, a_2, \dots, a_n$ which satisfy \[ \{ |a_i - a_j| \mid 1\leq i<j \leq n\} = \left\{1,2,\dots,\frac{n(n-1)}{2}\right\}. \] Let $A=\{1,2,3,4,5,6\}, B=\{7,8,9,\dots,n\}$. $A_i(i=1,2,\dots,20)$ contains eight numbers, three of which are chosen from $A$ and the other five numbers from $B$. $|A_i \cap A_j|\leq 2, 1\leq i<j\leq 20$. Find the minimum possible value of $n$.
Problem
Source: China Team Selection Test 2002, Day 2, Problem 1
Tags: algebra unsolved, algebra
20.10.2013 09:47
here nice proof: http://www.artofproblemsolving.com/Forum/viewtopic.php?f=588&t=290361
06.04.2016 22:31
How about for the second part? orl wrote: Let $A=\{1,2,3,4,5,6\}, B=\{7,8,9,\dots,n\}$. $A_i(i=1,2,\dots,20)$ contains eight numbers, three of which are chosen from $A$ and the other five numbers from $B$. $|A_i \cap A_j|\leq 2, 1\leq i<j\leq 20$. Find the minimum possible value of $n$.
08.04.2016 21:23
Anyone have a solution?
11.08.2019 22:42
It's strange that the two parts of the problem are completely unrelated... Anyways, here's a (hopefully correct) solution for the second part. We claim that the answer is $n = \boxed{41.}$ For the construction, consider the following $20$ sets:
Now, we will show that $n = 41$ is indeed minimal. Observe that since $\binom{6}{3} = 20$, for each subset $S \subseteq \{1, 2, 3, 4, 5, 6\}$ of size $3$, there exists a unique $1 \le i \le 20$ with $A_i \cap \{1, 2, 3, 4, 5, 6\} = S.$ In view of this, consider a function $f$ which maps the size three subsets of $\{1, 2, 3, 4, 5, 6\}$ to the $A_i$'s as follows: for a subset $S \subseteq \{1, 2, 3, 4, 5, 6\}$ of size $3$, let $f(S)$ be $A_i$, where $1 \le i \le 20$ is the unique index such that $A_i \cap \{1, 2, 3, 4, 5, 6\} = S.$ Now, let $S_1, S_2, \cdots, S_{10}$ be the $\binom{5}{3} = 10$ subsets of $\{1, 2, 3, 4, 5\}$ of size $3.$ Let $T_1, T_2, \cdots, T_{10}$ denote $f(S_1) / S_1, f(S_2) / S_2, \cdots, f(S_{10}) / S_{10}$ respectively. Observe that $T_i \cap T_j \le 2 - |S_i \cap S_j|$ for every pair of integers $1 \le i < j \le 10.$ Furthermore, observe that $|T_i \cap T_j \cap T_k| = 0$, since one of $|S_i \cap S_j|, |S_j \cap S_k|, |S_k \cap S_i|$ is at least $2.$ Therefore, by PIE, we have that $$|T_1 \cup T_2 \cup \cdots \cup T_{10}| = \sum_{i = 1}^{10} |T_i| - \sum_{1 \le i < j \le 10} |T_i \cap T_j| \ge 5 \cdot 10 - 15 = 35, \qquad (1)$$where we used $|T_i \cap T_j| \le 2 - |S_i \cap S_j|$ in the last part. Therefore, since $T_1 \cup T_2 \cup \cdots \cup T_{10} \subseteq \{7, 8, 9, 10, \cdots, n\}$, $(1)$ yields that $|\{7, 8, 9, 10, \cdots, n\}| \ge 35 \Rightarrow n \ge 41,$ as desired. $\square$
09.03.2024 17:22