MHB What is the Pigeonhole Principle Problem in the African Rally?

  • Thread starter Thread starter Carl1
  • Start date Start date
  • Tags Tags
    Principle
Carl1
Messages
4
Reaction score
0
The following problem and solution (Problem 7 - African Rally) is presented in "the Art of Mathematics" by Bela Bollobas:

1594752295082.png


Its solution is
1594752840734.png

I am fine until I get to the sentence that starts
1594753032982.png
...

and then I'm lost in trying to understand the use of the i and j indices. Any help would be appreciated.
 
Physics news on Phys.org
The idea is this. We are supposing that no matter which town you start from, you cannot drive round the entire circuit without running out of fuel at some stage. So starting from town $k_i$, let town $k_{i+1}$ be the first town on the circuit that cannot be reached. (In terms of Bollobas's notation, this means that $S[k_i,k_{i+1})<0$.) Now start at town $k_{i+1}$ and let town $k_{i+2}$ be the first town that you cannot reach from there. If you continue this process, you must eventually (pigeonhole principle!) come to a town that has already appeared in this sequence. So during that journey you will have completed a number ($m$) of complete circuits, in stages each of which involve running out of fuel. But that contradicts the fact that there is sufficient fuel to allow for a full circuit to be completed.
 
Very clearly explained. Thank you.
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
Back
Top