Maths Olympiad Prep

Track / Stage 9 / 8 of 52 #1888 of 1964

Problem 1888

IMO P2/P5; hard shortlist
Combinatorics Difficulty 9.2 Prove it Saudi Arabian IMO Booklet · Saudi Arabia

At a gala banquet, 12n+612n + 6 chairs, where nNn \in \mathbb{N}, are equally arranged around a large round table. A seating will be called a proper seating of rank nn if a gathering of 6n+36n + 3 married couples sit around this table such that each seated person also has exactly one sibling (brother/sister) of the opposite gender present (siblings cannot be married to each other) and each man is seated closer to his wife than his sister. Among all proper seats of rank nn find the maximum possible number of women seated closer to their brother than their husband. (The maximum is taken not only across all possible seating arrangements for a given gathering, but also across all possible gatherings.)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

We will call a woman unusual if she sits closer to her husband than her brother. Our goal is to find the smallest possible number of unusual women. Let us call this number kk. We note that going from each man to his sister and from each woman to her husband we obtain an oriented graph which breaks up into oriented cycles of even length. We also note that within an oriented cycle the sequence of lengths between consecutive members increases unless we encounter an unusual woman. Thus, each cycle must have at least one unusual woman. We also note that since the maximum length between two seats is 6n+36n + 3, this is also the maximum distance within a cycle we can go without encountering an unusual woman. Thus, we can have neither k=0k = 0 nor k=1k = 1, since by the first requirement we would have only one cycle, but this cycle would then have to have more than 6n+36n + 3 people. We will show that k=2k = 2 is also impossible. The only options for k=2k = 2 are to have either one cycle with lengths 1,2,,6n+3,1,2,,6n+31, 2, \dots, 6n + 3, 1, 2, \dots, 6n + 3 or two cycles with lengths 1,2,,6n+31, 2, \dots, 6n + 3. We note that the second option does not work because the cycles have odd length, while the first option does not work because the two locations where the unusual women are supposed to be are at an odd distance from each other along the cycle and therefore those positions cannot be occupied by two people of the same gender.

We now give an example for k=3k = 3. Arrange the three unusual women in an equilateral triangle and place their brothers diametrically opposite of them. Each unusual woman is part of a cycle of length 4n+24n + 2. If we label the members of one of these cycles in order as
W1,M1,W2,M2,,W2n+1,M2n+1, W_1, M_1, W_2, M_2, \dots, W_{2n+1}, M_{2n+1},
where W1W_1 is the unusual woman, then if we place W1W_1 at position 0, we can place each MkM_k, k=1,,2nk = 1, \dots, 2n at position kk and each WkW_k at position k=1,,2n+1k = 1, \dots, 2n + 1 at position k+1-k + 1. Finally, we place M2n+1M_{2n+1}, the brother of W1W_1, at position 6n+36n + 3.

The other two unusual women are placed symmetrically at positions 4n+24n + 2 and (4n+2)-(4n + 2). We note that all the conditions of the problem are satisfied for this arrangement. Thus, the maximum possible number of women seated closer to their brother than their husband is 6n+33=6n6n + 3 - 3 = 6n. \square

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.