0.0.1. The Turnpike Reconstruction Problem
0.0.1. The Turnpike Reconstruction Problem
0.0.1. The Turnpike Reconstruction Problem
x 1=0 D = { 1, 2, 2, 2, 3, 3, 3, 4, 5, 5, 5, 6, 7, 8 }.
x 6=10
The largest remaining distance is 8, which means that either x 2=2 or x 5=8. By symmetry, we can conclude that the choice is unimportant since either both choices lead to a solution (which are mirror-images of each other), or neither do, so we can set x 5=8, without affecting the solution. We then remove the distances x 6x 5=2 and x 5x 1=8 from D , obtaining
x 1=0
x 5=8 D = { 1, 2, 2, 3, 3, 3, 4, 5, 5, 5, 6, 7 }.
x 6=10
The next step is not obvious. Since 7 is the largest value in D , either x 4=7 or x 2=3. If x 4=7, then the distances x 67=3, x 57=1, must also be present in D . A quick check shows that indeed they are. On the other hand, if we set x 2=3, then 3x 1=3 and x 53=5 must be present in D. These distances are also in D , so we have no guidance on which choice to make. Thus we try one, and see if it leads to a solution. If it turns out that it doesnt, we can come back and try the other. Trying the rst choice, we set x 4=7, which leaves
-2-
x 1=0
x 4=7 x 5=8 D = { 2, 2, 3, 3, 4, 5, 5, 5, 6 }.
x 6=10
At this point, we have x 1=0, x 4=7, x 5=8, and x 6=10. Now the largest distance is 6, so either x 3=6 or x 2=4. But if x 3=6, then x 4x 3=1, which is impossible since 1 is not in D . On the other hand, if x 2=4, then x 2x 0=4, and x 5x 2=4. This is also impossible, since 4 only appears once in D . Thus, this line of reasoning leaves no solution, so we backtrack. Since x 4=7 failed to produce a solution, we try x 2=3. If this also fails, then we give up and report no solution. We now have
x 1=0
x 2=3
x 5=8
x 6=10
D = { 1, 2, 2, 3, 3, 4, 5, 5, 6 }. Once again, we have to choose between x 4=6 and x 3=4. x 3=4 is impossible because D only has one occurrence of 4, and two would be implied by this choice. x 4=6 is possible, so we obtain
x 1=0
x 2=3
x 4=6
x 5=8
x 6=10
D = { 1, 2, 3, 5, 5}. The only remaining choice is to assign x 3=5; this works because it leaves D empty, and so we have a solution.
x 1=0
x 2=3
x 3=5 x 4=6 D = { }.
x 5=8
x 6=10
Fig. 0.1 shows a decision tree representing the actions taken to arrive at the solution. Instead of labelling the branches, weve placed the label in the branches destination node. A node with an asterisk indicates that the points chosen are inconsistent with the given distances; nodes with two asterisks have only impossible nodes as children, and thus represent an incorrect path.
-3-
x 1=0, x 5=10
x 3=5
Fig. 0.1. Decision tree for the worked Turnpike Reconstruction example. -3-