Browse · MathNet
PrintTeam selection tests
Vietnam counting and probability
Problem
Let be an integer and be a set of elements. Determine the largest integer such that: for each selection of 3-subsets of , there exists a way to color elements of with two colors such that none of the chosen 3-subset is monochromatic.
Solution
The answer to the problem depends on the values of . We have the following cases
If then it is obvious that .
If then because has 4 subsets with 3 elements. For example, color (1, 2) blue and (3, 4) red. Each set contains one of the two numbers above, so it has two colors.
If then because has 10 subsets with 3 elements. According to pigeonhole principle, since , there are at least 3 elements of of the same color, so the subset with these 3 elements does not satisfy the problem. So . For , say is a subset that is not taken. Coloring in red and the other two numbers in blue. Since is not chosen, and , every selected subset has an element of and an element that is not in . Therefore, every selected subset has two different colors.
If , since then because one can take 10 subsets of that can not be colored to satisfy the problem. We show that 9 is the answer in this case. Since there are 10 pairs of 3-subsets of , and the union of two subsets each is equal to , there exists a pair where both sets are not selected. Coloring the first set in green, the second set in red. Obviously every selected subset intersects with one of the above two subsets, since if it doesn't intersect the first set then it has at most 3 elements, and it must be the second set, a contradiction. So .
Finally is the hardest case. Consider the following subsets . We will show that there is no satisfactory coloring of in this case. Assuming 1 is blue, then (2, 3), (4, 5), (6, 7) have a symmetrical role, and each pair can't all be blue. If (2, 3) is both red then 4 or 6 is blue, assuming 4 is blue, then 5 is red because cannot be the same green. Since is not the same red, 6 is blue. Finally, is not all red, is not all green so there is no way to color the number 7.
Next, consider the case of 2 is blue and 3 is red. As mentioned, (4, 5) and (6, 7) have a symmetric role. Similarly for (2, 3) then these pairs do not have the same color. Now, it is easy to see that 4 cases of color of pairs (4, 5) and (6, 7) lead to absurdity. For example 4, 6 is in the same set as 2 and 3 so they cannot be the same color and neither 4, 7.
Let be the selected sets and . We prove the problem according to the maximum number of times an element of belongs to one of 6 chosen subset. Assume is the element that occurs most times. In the argument below, a set is said to be selected if it is some with .
If 1 appears 6 times then color 1 red and green. Since 1 belongs to a set of 6, each set has a red element and only 1 of red elements, so each set has 2 of blue elements.
If 1 appears 5 times then color 1 in red. Assume does not contain 1. Color red, and green. Since there are 2 red elements, there is no set that has 3 red elements and since contains 1, they have at least one red element.
If 1 appears 4 times, assume and do not contain 1. If there exists that both belong to and , color 1, in red and the remaining elements of in blue. The statement can be proved as in previous case. Conversely, if then there are 9 pairs where and . Since there is only 4 subset containing 1, according to the pigeonhole principle there exist and such that is not selected. Color 1, , red and the rest of the elements blue. Since there are exactly 3 of red elements and is not selected, every set has two colors.
If 1 appears 3 times and is not in . Let be the element that belongs to the most sets in this set 3. If appears 3 times then color 1, in red and this way satisfies the problem. If occurs twice, and is not in , then we show that there is so that is not selected. Indeed, appears at most 3 times because 1 occurs the most, but so it is chosen in 1 other subset. So there is an element of which is so that is not selected. Fill these three elements with red, the rest with blue to satisfy the problem. Finally, if every element in appears exactly 1 times, similar to the case where 1 appears 4 times, we will show there is such that the subsets do not have the form where . There are 3 pairs for which is chosen. However, for a pair , there exists at most 7 elements belonging to so that . Thus, there are at most 21 tuples such that two of three elements of this tuple together with 1 form a chosen set. There are 27 tuples so there is a tuple that every 2 of its elements does not form with 1 a selected set. Coloring 1, in red and the remaining numbers in blue to satisfy the problem.
If 1 appears 2 times and belongs to . Assume 2 is the element that occurs most times in . We have the following cases
- If 2 occurs 2 times in , then 1 and 2 do not appear together. We consider 1 and 2 to be the same element and that appear 4 times, reducing the problem to the case where 1 occurs 4 times. - If 2 occurs 1 times, that means has 12 elements and there exists an element that is not in . Assuming it's , again let 1 and be the same element appearing 3 times, reducing the problem to the case where 1 occurs 3 times.
If 1 appears 1 times, then every element appear once. Choose an arbitrary element from each set and color them red. Other elements are blue.
So we have and .
If then it is obvious that .
If then because has 4 subsets with 3 elements. For example, color (1, 2) blue and (3, 4) red. Each set contains one of the two numbers above, so it has two colors.
If then because has 10 subsets with 3 elements. According to pigeonhole principle, since , there are at least 3 elements of of the same color, so the subset with these 3 elements does not satisfy the problem. So . For , say is a subset that is not taken. Coloring in red and the other two numbers in blue. Since is not chosen, and , every selected subset has an element of and an element that is not in . Therefore, every selected subset has two different colors.
If , since then because one can take 10 subsets of that can not be colored to satisfy the problem. We show that 9 is the answer in this case. Since there are 10 pairs of 3-subsets of , and the union of two subsets each is equal to , there exists a pair where both sets are not selected. Coloring the first set in green, the second set in red. Obviously every selected subset intersects with one of the above two subsets, since if it doesn't intersect the first set then it has at most 3 elements, and it must be the second set, a contradiction. So .
Finally is the hardest case. Consider the following subsets . We will show that there is no satisfactory coloring of in this case. Assuming 1 is blue, then (2, 3), (4, 5), (6, 7) have a symmetrical role, and each pair can't all be blue. If (2, 3) is both red then 4 or 6 is blue, assuming 4 is blue, then 5 is red because cannot be the same green. Since is not the same red, 6 is blue. Finally, is not all red, is not all green so there is no way to color the number 7.
Next, consider the case of 2 is blue and 3 is red. As mentioned, (4, 5) and (6, 7) have a symmetric role. Similarly for (2, 3) then these pairs do not have the same color. Now, it is easy to see that 4 cases of color of pairs (4, 5) and (6, 7) lead to absurdity. For example 4, 6 is in the same set as 2 and 3 so they cannot be the same color and neither 4, 7.
Let be the selected sets and . We prove the problem according to the maximum number of times an element of belongs to one of 6 chosen subset. Assume is the element that occurs most times. In the argument below, a set is said to be selected if it is some with .
If 1 appears 6 times then color 1 red and green. Since 1 belongs to a set of 6, each set has a red element and only 1 of red elements, so each set has 2 of blue elements.
If 1 appears 5 times then color 1 in red. Assume does not contain 1. Color red, and green. Since there are 2 red elements, there is no set that has 3 red elements and since contains 1, they have at least one red element.
If 1 appears 4 times, assume and do not contain 1. If there exists that both belong to and , color 1, in red and the remaining elements of in blue. The statement can be proved as in previous case. Conversely, if then there are 9 pairs where and . Since there is only 4 subset containing 1, according to the pigeonhole principle there exist and such that is not selected. Color 1, , red and the rest of the elements blue. Since there are exactly 3 of red elements and is not selected, every set has two colors.
If 1 appears 3 times and is not in . Let be the element that belongs to the most sets in this set 3. If appears 3 times then color 1, in red and this way satisfies the problem. If occurs twice, and is not in , then we show that there is so that is not selected. Indeed, appears at most 3 times because 1 occurs the most, but so it is chosen in 1 other subset. So there is an element of which is so that is not selected. Fill these three elements with red, the rest with blue to satisfy the problem. Finally, if every element in appears exactly 1 times, similar to the case where 1 appears 4 times, we will show there is such that the subsets do not have the form where . There are 3 pairs for which is chosen. However, for a pair , there exists at most 7 elements belonging to so that . Thus, there are at most 21 tuples such that two of three elements of this tuple together with 1 form a chosen set. There are 27 tuples so there is a tuple that every 2 of its elements does not form with 1 a selected set. Coloring 1, in red and the remaining numbers in blue to satisfy the problem.
If 1 appears 2 times and belongs to . Assume 2 is the element that occurs most times in . We have the following cases
- If 2 occurs 2 times in , then 1 and 2 do not appear together. We consider 1 and 2 to be the same element and that appear 4 times, reducing the problem to the case where 1 occurs 4 times. - If 2 occurs 1 times, that means has 12 elements and there exists an element that is not in . Assuming it's , again let 1 and be the same element appearing 3 times, reducing the problem to the case where 1 occurs 3 times.
If 1 appears 1 times, then every element appear once. Choose an arbitrary element from each set and color them red. Other elements are blue.
So we have and .
Final answer
k3 = 1, k4 = 4, k5 = 9, k6 = 9, and k_n = 6 for all n ≥ 7
Techniques
Pigeonhole principleColoring schemes, extremal arguments