2017 AIME II Problems/Problem 11
Contents
Problem
Five towns are connected by a system of roads. There is exactly one road connecting each pair of towns. Find the number of ways there are to make all the roads one-way in such a way that it is still possible to get from any town to any other town using the roads (possibly passing through other towns on the way).
Solution
It is obvious that any configuration of one-way roads which contains a town whose roads all lead into it or lead out of it cannot satisfy the given. We claim that any configuration which does not have a town whose roads all lead into it or lead out of it does satisfy the given conditions. Now we show that a loop of or more towns exist. Pick a town, then choose a neighboring town to travel to times. Of these towns visited, at least two of them must be the same; therefore there must exist a loop of or more towns because a loop of towns cannot exist. We want to show that the loop can be reached from any town, and any town can be reached from the loop.
. The loop has towns. Clearly every town can be reached by going around the loop.
. The loop has towns. The town not on the loop must have a road leading to it. This road comes from a town on the loop. Therefore this town can be reached from the loop. This town not on the loop must also have a road leading out of it. This road leads to a town on the loop. Therefore the loop can be reached from the town.
. The loop has towns. There are two towns not on the loop; call them Town and Town . Without loss of generality assume leads to . Because a road must lead to , the town where this road comes from must be on the loop. Therefore and therefore can be reached from the loop. Because a road must lead out of , the town it leads to must be on the loop. Therefore the loop can be reached from and also .
The number of good configurations is the total number of configurations minus the number of bad configurations. There are total configurations. To find the number of bad configurations in which a town exists such that all roads lead to it, there are ways to choose this town and ways to assign the six other roads that do not connect to this town. The same logic is used to find the number of bad configurations in which a town exists such that all roads lead out of it. It might be tempting to conclude that there are bad configurations, but the configurations in which there exists a town such that all roads lead to it and a town such that all roads lead out of it are overcounted. There are ways to choose the town for which all roads lead to it, ways to choose the town for which all roads lead out of it, and ways to assign the remaining roads not connected to either of these towns. Therefore, the answer is .
Solution 2 (complementary counting)
The only way a town does not meet the conditions in the question is if the town has either all roads leading towards it or all roads leading away from it. For example, if all roads lead away from Town , there is no way to reach the town starting from Towns , , , or . If all roads lead towards Town , there is no way to reach any other town starting from Town . Thus, we will count the ways this occurs. (To show this, first note that there must always be a directed path that visits every town once, say (Redei's Theorem). Taking cases, it can be seen that if does not have all its roads leading, then must have its roads leading into it.)
. WLOG, Town has all roads leading towards it.
In this case, the four roads leading to Town have already been determined. There are roads that have not been given directions. Each of these roads have options: it can lead towards one town or the other town. Thus, there are arrangements of roads. However, we must consider the towns in which this scenario can occur: there are arrangements.
. WLOG, Town has all roads leading away.
Notice that this case is symmetrical to the first case. Thus, there are arrangements.
. WLOG, Town has all roads leading towards it and Town has all roads leading away.
We must check for double-counted cases. Drawing a flow diagram, we see that this case determines roads. For the undetermined roads, there are arrangements. However, we must again consider the different ways that this case can occur. There are choices for towns with roads leading towards it choices for roads leading away. Thus, the total double-counted cases are arrangements.
We must subtract the cases we counted from the total. There are a total of roads with possible arrangements each. Therefore the total number of cases is , and the number of cases that meet the conditions is arrangements.
~ jf
Solution 3
Assume the five towns are named A, B, C, D, and E. Draw roads that connect each of the five towns. First, figure out how many total roads there are with no restrictions. This would be , or . Next, add together the number of restrictions (or incorrect cases) there are. One incorrect case happens if we can't get to one of the five towns. When that happens, any roads that connect that town with any of the other four towns must be one way. Four roads are invalidated (because they are one way) as, assuming we can't get to town A, roads AB, AC, AD, and AE would all be one way. Since there are ways of choosing which town to restrict, there are , or restrictions in this case. The next case is when we can't get to two of the towns. Let's assume we don't want to get to towns A and B. Then, roads AC, AD, AE, BC, BD, and BE are all invalidated. Since there are of choosing which two towns to restrict, there are , or restrictions in this case. Notice that when we restrict three towns, it is the same thing as restricting two towns. For example, if we restricted entry to towns C, D, and E from towns A and B, it's the same thing as if we restricted entry to towns A and B from towns C, D, and E, as the exact same roads are invalidated in both cases. Thus, our final answer is arrangements.
Solution by IronicNinja~
Solution 4
As noted before, you can see that there are 2 ways that the condition cannot be met; it either has all roads leading into one city, or all roads leading out of one city. We then use complementary counting to count these cases, with PIE. Obviously there are ways to make roads (just draw a pentagon with all of the diagonals and assume that they are roads, and count the sides and then the diagonals). Then, make all roads leading in to another city. There are 4 roads leading into that city, so there are ways to designate that. Given that there are 5 cities, and it can also be the ways to go out of the city, you get ways NOT to get into the city. However, this disregards the case that 2 cities are like this, which is the PIE case. Quick inspection shows that there are no cases where 3 are like that, and inspection with le pentagon can also show you that there are (because they can all lead in and all lead out) (because there are 3 roads left to choose). In the end, this comes out to
-dragonon
Solution 5 (Graph Theory)
We use Claim 1 along with complementary counting. Then, the number of valid cases is the total () minus the cases in which there are towns with indegree or outdegree 5. Number of cases in which there is a node with indegree 5: 5 ways to choose which town has indegree 5 and for the remaining roads, they each have 2 possible statuses. Similarly, the number of cases in which there is a node with outdegree 5 is also The number of cases in which there is a node with indegree 5 and there is a node with outdegree 5:
Thus, answer = =
- Note: In this graph there can be at most one town with indegree 5 or outdegree 5.
Solution by ZHANALEX
Claim 1
Claim: If and only if there is no town in this graph with a indegree or outdegree of 5, it is possible to reach all of the 4 other towns from any town in the graph.
Proof:
Part 1: If there is no town in this graph with a indegree or outdegree of 5, it is possible to reach all of the 4 other towns from any town in the graph
Since every town has an outgoing road, there is definitely a cycle. (Since there are only n town, eventually you must come back to a town that is already visited) Since a cycle of length 2 is not possible in this problem, the cycle can have a length of 3, 4, or 5. If the cycle has length 5, then it is definitely possible to go from one town to any other town. Ex: If the cycle is 1->2->3->4->5->1, then it is clear that you can reach any other town from one town
If the cycle has length 4: WLOG, let 1->2->3->4->1 be the cycle. Since town 5 has at least one incoming road and one outgoing road, there is definitely an road from a town on the cycle to town 5. There must also be an road from town 5 to another town that is in the cycle. Thus, it is definitely possible to reach any other town from one town.
If the cycle has length 3: WLOG, we can assume that the cycle is 1->2->3->1 and that the road between town 4 and town 5 is 4->5. Since 4 has at least one incoming road, there must be a town in the cycle that has an road to town 4. Since town 5 has at least one outgoing road, there must be a road from town 5 to some town in the cycle. Thus, it is possible to reach any other town starting from one town.
Part 2: If it is possible to reach all of the 4 other towns starting from any town, there can be no town with indegree or outdegree of 5.
It is clear that you cannot have any town with indegree or outdegree of 5 or else that town would either be unreachable from the other towns or that town would be unable to reach any other town.
The proof is complete. (It is actually much simpler than it looks)
-ZHANALEX
See Also
Another way to state this problem is finding the number of strongly connected labeled tournaments on nodes. Finding a strongly connected labeled tournament is the same as finding a way to make all the roads one-way such that there is always a way to get from one town to another. This link gives the number of strongly connected labeled tournaments on nodes for small .
2017 AIME II (Problems • Answer Key • Resources) | ||
Preceded by Problem 10 |
Followed by Problem 12 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.