|
|
| Line 1: |
Line 1: |
| '''Conway's Soldiers''' or the '''checker-jumping problem''' is a one-person [[mathematical game]] or puzzle devised and analyzed by mathematician [[John Horton Conway]] in 1961. A variant of [[peg solitaire]], it takes place on an [[infinity|infinite]] checkerboard. The board is divided by a horizontal line that extends indefinitely. Above the line are empty cells and below the line are an arbitrary number of game pieces, or "soldiers". As in peg solitaire, a move consists of one soldier jumping over an adjacent soldier into an empty cell, vertically or horizontally (but not diagonally), and removing the soldier which was jumped over. The goal of the puzzle is to place a soldier as far above the horizontal line as possible.
| | Last week I woke up and noticed - information about luke bryan [[http://lukebryantickets.hamedanshahr.com visit this site]] I've been single for a [http://www.cinemaudiosociety.org tickets For luke bryan concert] little while today and following much intimidation from friends I now locate myself signed up for on line dating. They assured me that there are plenty of sweet, normal and fun visitors to meet up, therefore the pitch is gone by here!<br>I try to keep as physically fit as possible coming to the [http://www.bing.com/search?q=fitness+center&form=MSNNWS&mkt=en-us&pq=fitness+center fitness center] many times per week. I enjoy my athletics and strive to perform or watch as several a possible. Being winter I'll regularly at Hawthorn fits. Notice: Supposing that you considered purchasing an athletics I really do not brain, I've seen the carnage of wrestling fits at stocktake [https://Www.google.com/search?hl=en&gl=us&tbm=nws&q=revenue revenue].<br>My pals and family are amazing and hanging out with them at pub gigs or meals is definitely vital. As I locate that you can do not get a decent dialogue with all the noise I have never been in to cabarets. I additionally have 2 really cute and definitely cheeky puppies that are almost always excited to meet [http://lukebryantickets.asiapak.net luke bryan book] up fresh individuals.<br><br>My page [http://www.netpaw.org luke bryan about] |
| | |
| [[Image:Conway's soldiers.svg|Arrangements of Conway's soldiers to reach rows 1, 2, 3 and 4. The men marked "B" represent an alternative to those marked "A".]]
| |
| | |
| Conway proved that, regardless of the strategy used, there is no finite series of moves that will allow a soldier to advance more than four rows above the horizontal line. His argument uses a carefully chosen weighting of cells (involving the [[golden ratio]]), and he proved that the total weight can only decrease or remain constant. This argument has been reproduced in a number of popular math books.
| |
| | |
| [[Simon Tatham]] and Gareth Taylor have shown that the fifth row can be reached via an ''infinite'' series of moves [http://www.chiark.greenend.org.uk/~sgtatham/solarmy/]; this result is also in a paper by Pieter Blue and Stephen Hartke [http://www.math.unl.edu/~shartke2/]. If diagonal jumps are allowed, the 8th row can be reached but not the 9th row. It has also been shown that, in the ''n''-[[dimensional]] version of the game, the highest row that can be reached is 3''n''-2. Conway's weighting argument demonstrates that the row 3''n''-1 cannot be reached. It is considerably harder to show that row 3''n''-2 can be reached (see the paper by Eriksson and Lindstrom).
| |
| | |
| ==Proof that the fifth row is inaccessible==
| |
| | |
| ===Notation and definitions===
| |
| | |
| Let the target square be labeled <math>{x^0 =1}</math>, and all other squares be labeled <math>{x^n}</math>, where <math>{n}</math> is the number of squares away (horizontally and vertically, as in [[manhattan distance]]) from the target square. If we consider the starting configuration of soldiers, below the thick red line, we can assign a score based on the sum of the values under each soldier, (e.g., <math>{x^2 + 2x^3}</math> etc.) When a soldier jumps over another soldier, there are three cases to consider:
| |
| | |
| # A Positive jump: this is when a soldier jumps '''towards''' the target square over another soldier. Let the value of the soldier's square be <math>{x^n}</math>, then the total change in score after a positive jump is <math>{x^{n-2} -x^{n-1} -x^n = x^{n-2}(1 -x -x^2)}</math>.
| |
| # A Neutral jump; this is when a soldier jumps over another soldier but remains an equal distance from the target square after his jump (should this be necessary). In this case the change in score is <math>{-x^{n-1}}</math>.
| |
| # A Negative jump: this is when a soldiers jumps over another into an empty square '''away''' from the target square. Here the change in score is <math>{x^{n+2} -x^{n+1} -x^{n} = x^{n}(x^{2} -x -1)}</math>.
| |
| | |
| ===Choosing a value of <math>x</math>===
| |
| | |
| Let us choose a value of <math>x</math> such that the change in score for any type of jump is never positive. This can be done by solving <math>{x^2 +x -1 = 0}</math> yielding <math>{x =\frac{\sqrt{5} -1}{2}, \frac{-\sqrt{5} -1}{2}}</math>. We choose the positive root, <math>{\frac{\sqrt{5}-1}{2} = \varphi \approx 0.61803\,39887\dots\,}</math>, as its absolute value is less than 1, which becomes useful later in the proof. Rearranging <math>{\varphi^2 +\varphi -1 = 0}</math>, we can see that:
| |
| | |
| <math>{\varphi^2 = 1 - \varphi}</math> [and multiplying by <math>{\varphi}</math>;]
| |
| | |
| <math>{\varphi^3 = \varphi - \varphi^2}</math>
| |
| | |
| <math>{\varphi^4 = \varphi^2 - \varphi^3}</math>
| |
| | |
| etc...
| |
| | |
| Summing this to infinity causes all terms on the right hand side to cancel apart from the 1, i.e.,
| |
| | |
| <math>{\sum_{n=2}^{\infty}\varphi^n = 1}</math>
| |
| | |
| '''This can also be shown with the common ratio, where:'''
| |
| | |
| <math> \sum_{k=0}^\infty r^{k} = \frac{1}{1-r}</math>
| |
| <math>(r<1)</math>
| |
| | |
| When r = <math>\varphi:</math>
| |
| | |
| <math> \sum_{k=2}^\infty \varphi^{k} = \frac{1}{1-\varphi} - \varphi - 1= 1</math>
| |
| | |
| ===Solutions===
| |
| | |
| Let us take the first example, where the target square is in the first row above the red line. We now consider the maximum possible initial score, that is when every square has a soldier on it. The sum of the squares on the first row below the red line, is <math>{\varphi +2\varphi^2 +2\varphi^3 + \ldots = \varphi +2(\varphi^2 +\varphi^3 + \varphi^4 + \ldots)}</math>. [Drawing a diagram helps to visualise this]. In the next line down, every square is one further away from the target square, and so has value <math>\varphi</math> times the square above it, and so on for all the rows below the line.
| |
| | |
| Therefore, the total value of all the squares below the line is equal to:
| |
| | |
| <math>{{S}_1=(\varphi +2(\varphi^2 +\varphi^3 + \varphi^4 \ldots))(1 +\varphi + \varphi^2 + \varphi^3 + \ldots)}</math>.
| |
| | |
| At this stage we observe that <math>\sum_{n=2}^{\infty}\varphi^n = 1</math> from above, and thus the above expression simplifies to:
| |
| | |
| <math>{{S}_1=(\varphi + 2)(1 + \varphi + 1) = (\varphi + 2)^2 = 4 + 4\varphi + \varphi^2 = 5 + 3\varphi}</math>, using <math>{\varphi^2 = 1 - \varphi}</math> for the last step.
| |
| | |
| Therefore the sum of all the squares below the line when the target square is immediately above the line is <math>{5 + 3\varphi}</math>.
| |
| | |
| The next case we consider is when the target square is in the second row above the red line. In this case each square under the red line is one square further away from the target square than in the previous example, so the total score now is found by multiplying the total score we obtained by <math>{\varphi}</math> to give:
| |
| | |
| <math>{{S}_2=\varphi(5 + 3\varphi) = 5\varphi + 3\varphi^2 = 5\varphi + 3(1 - \varphi) = 3 + 2\varphi }</math>.
| |
| | |
| Similarly:
| |
| | |
| <math>{{S}_3 = 2 + \varphi }</math> | |
| | |
| <math>{{S}_4 = 1 + \varphi }</math>
| |
| | |
| '''<math>{{S}_5 = 1 }</math>'''
| |
| | |
| Thus, we have shown that when the target square is five rows above the red line, the maximum possible original total score of all the soldiers is 1. With a finite number of soldiers the total will be less than one. Therefore, since any type of jump does not increase the total score, and the final score on all the soldiers must be at least 1 (<math>{\varphi^0 = 1}</math> and the scores on any other soldiers left), the fifth row cannot be reached with a finite number of soldiers originally below the line.
| |
| | |
| This completes the proof.
| |
| | |
| <math>{{QED}}</math>.
| |
| | |
| ==References==
| |
| | |
| * E. Berlekamp, J. Conway and R. Guy, Winning Ways for Your Mathematical Plays, 2nd ed., Vol. 4, Chap. 23: 803—841, A K Peters, Wellesley, MA, 2004.
| |
| * R. Honsberger, A problem in checker jumping, in Mathematical Gems II, Chap. 3: 23—28, MAA, 1976.
| |
| * H. Eriksson and B. Lindstrom, Twin jumping checkers in Z_d, Europ. J. Combinatorics, 16 (1995), 153–157.
| |
| | |
| ==External links==
| |
| *[http://www.cut-the-knot.org/proofs/checker.shtml cut-the-knot.org explains the game]
| |
| *[http://home.comcast.net/~gibell/pegsolitaire/army/index.html A page describing several variations of the game, with recent references]
| |
| *{{MathWorld|urlname=ConwaysSoldiers|title=Conway's Soldiers}}
| |
| *[http://plus.maths.org/issue12/xfile/ Plus online magazine describes the game]
| |
| *[http://www.yoyogames.com/games/show/6419 A video game based on Conway's Soldiers]
| |
| *[http://tartarus.org/gareth/maths/stuff/solarmy.pdf Tatham and Taylor's paper]
| |
| *[http://mathproblems.info mathproblems.info (search for #15 Checker problem)]
| |
| *[http://www.chiark.greenend.org.uk/~sgtatham/solarmy/ A solution to the fifth row using infinite moves]
| |
| | |
| [[Category:Mathematical games]]
| |
Last week I woke up and noticed - information about luke bryan [visit this site] I've been single for a tickets For luke bryan concert little while today and following much intimidation from friends I now locate myself signed up for on line dating. They assured me that there are plenty of sweet, normal and fun visitors to meet up, therefore the pitch is gone by here!
I try to keep as physically fit as possible coming to the fitness center many times per week. I enjoy my athletics and strive to perform or watch as several a possible. Being winter I'll regularly at Hawthorn fits. Notice: Supposing that you considered purchasing an athletics I really do not brain, I've seen the carnage of wrestling fits at stocktake revenue.
My pals and family are amazing and hanging out with them at pub gigs or meals is definitely vital. As I locate that you can do not get a decent dialogue with all the noise I have never been in to cabarets. I additionally have 2 really cute and definitely cheeky puppies that are almost always excited to meet luke bryan book up fresh individuals.
My page luke bryan about