Country Connected By One Way Roads

The country of Indiapolis has 2015 2015 towns. Each pair of towns is connected by a one way road, i.e. given any two towns A A and B B , one can either directly travel from A A to B B or from B B to A A via that road but not both. A triple of towns ( A , B , C ) (A, B, C) is called good if one can directly travel from A A to B B , then from B B to C C , and then from C C to A A . Let N N be the maximum possible number of good triples of towns. Find the last three digits of N 280 N-280 .

Details and assumptions
- Each pair of cities are connected by exactly road.
- Traveling directly from city A A to B B means traveling from A A to B B via the road that connects them. The problem statement says that given two cities A A and B B , one can either directly travel from A A to B B or from B B to A A , but not both.
- You're not allowed to change roads when you're not in a city.
- This problem is not original.


The answer is 360.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Let's solve this problem for all odd n N n \in \mathbb{N} instead of 2015 2015 . Let the cities be C 1 , C 2 , , C n C_1, C_2, \cdots , C_n , and for all 1 i n , 1 \leq i \leq n, let D i D_i be the number of cities directly approachable from city C i C_i .

Since the sum of good and non-good triples is always equal to ( n 3 ) \dbinom{n}{3} , instead of trying to maximize the number of good triples of towns, we try to minimize the number of non-good triples of towns.

Note that in any non-good triple of towns, there must exist one town from which the other two towns can be directly reached. Call that town the pivot of that non-good triple. For example, if cities C 2 , C 3 C_2, C_3 can be reached from C 1 C_1 , { C 1 , C 2 , C 3 } \{C_1, C_2, C_3\} forms a non-good triple with pivot C 1 C_1 .

Note that the number of non-good triples with pivot C i C_i is equal to ( D i 2 ) \dbinom{D_i}{2} . Hence, the total number of non-good triples is equal to i = 1 n ( D i 2 ) \displaystyle \sum_{i=1}^{n} \dbinom{D_i}{2} , and hence, the total number of good triples is equal to ( n 3 ) i = 1 n ( D i 2 ) \dbinom{n}{3} - \displaystyle \sum_{i=1}^{n} \dbinom{D_i}{2} .

Now, note that I = 1 n D i = ( n 2 ) = n ( n 1 ) 2 \displaystyle \sum_{I=1}^{n} D_i = \dbinom{n}{2} = \dfrac{n(n-1)}{2} since both sides are equal to the total number of roads. By Cauchy Schwartz, ( n 3 ) i = 1 n ( D i 2 ) = ( n 3 ) 1 2 ( D i 2 D i ) ( n 3 ) 1 2 n 2 ( i = 1 n D i ) 2 1 2 i = 1 n D i = n ( n 1 ) ( n + 1 ) 24 . \begin{aligned} \dbinom{n}{3} - \displaystyle \sum_{i=1}^{n} \dbinom{D_i}{2} & = \dbinom{n}{3} - \dfrac{1}{2} (D_i^2-D_i) \\ & \geq \dbinom{n}{3} - \dfrac{1}{2n^2} \left( \displaystyle \sum_{i=1}^{n} D_i \right) ^2 - \dfrac{1}{2} \displaystyle \sum_{i=1}^{n} D_i \\ & = \dfrac{n(n-1)(n+1)}{24}. \end{aligned} Equality holds when exactly n 1 2 \dfrac{n-1}{2} roads originate from each city.

We shall prove by a trivial induction that this is possible for all odd n n .

For the base case n = 3 n=3 , just consider three cities which form a good triple.

Suppose such a construction exists for 2 k + 1 2k+1 , so that each city has exactly k k roads originating from it. Add two other cities, C 2 k + 2 C_{2k+2} and C 2 k + 3 C_{2k+3} so that cities C 1 , C 2 , , C k C_1, C_2, \cdots , C_k and C 2 k + 3 C_{2k+3} can be directly reached from C 2 k + 2 C_{2k+2} and cities C k + 1 , C k + 2 , , C 2 k + 1 C_{k+1}, C_{k+2}, \cdots, C_{2k+1} can be directly reached from C 2 k + 3 C_{2k+3} - note that each city can now be reached from exactly k + 1 k+1 other cities, so we're done.

Hence, our answer is n ( n 1 ) ( n + 1 ) 24 \dfrac{n(n-1)(n+1)}{24} . For this particular case, our answer is 360 \boxed{360} .


This problem is taken from a problem in a MOP red group homework problem.

Side problem : Suppose that each city is approachable from at least one other city. Prove that there must exist a good triple of cities.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...