# Seven Bridges of Königsberg

(Difference between revisions)
 Revision as of 15:52, 25 June 2009 (edit)← Previous diff Revision as of 15:55, 7 July 2009 (edit) (undo)Next diff → Line 22: Line 22: Now we make the key observation that the walker must enter and exit every landmass. In order for this to be possible there must be an even number of lines at every vertex with the exceptions of the starting and finishing vertexes of the walk. For those two vertexes, an odd number of vertexes is permitted since the walker only exits the starting vertex and only enters the final vertex. Now we make the key observation that the walker must enter and exit every landmass. In order for this to be possible there must be an even number of lines at every vertex with the exceptions of the starting and finishing vertexes of the walk. For those two vertexes, an odd number of vertexes is permitted since the walker only exits the starting vertex and only enters the final vertex. - Looking back at the last figure, we can see that all four vertexes have an odd number of lines. The existence of a path that could reach all four landmasses is impossible because it would go through more than two vertexes with odd number of lines. + We can see this idea come into play in one failed solution. + + [[Image:Bridges_graph1.JPG]] + + The order of the path goes 3-1-2-3-4-2. At vertex 2, we can see that this solution fails because we must choose to go to either vertex 1 or 4, but with no possible way out of those vertexes. Note that 2 is neither a starting point nor an end point, and thus with an odd number of lines, scraps any possible solution. + + Looking back at the previous figure, we can see that all four vertexes have an odd number of lines. The existence of a path that could reach all four landmasses is impossible because it would go through more than two vertexes with odd number of lines. Leonard Euler first solved this problem in 1735.}} Leonard Euler first solved this problem in 1735.}}

## Revision as of 15:55, 7 July 2009

Seven Bridges of Königsberg

The Seven Bridges of Königsberg is a historical problem that illustrates the foundations of Graph Theory

# Basic Description

The setting of the problem is the city of Konigsberg in Prussia. The city is divided by a river with two islands. The four parts of the city are linked by seven bridges.

The problem is to find a path through the city and cross each bridge once and only once. You cannot cross the rivers except on bridges and must make full crossings of a bridge (you can't go halfway across, and then walk from the other end to the midway point.)

## Solution

While we could literally test out every possible case by hand, this would be extremely tedious and prone to error but possible. Instead we will analyze the problem abstractly by eliminating all inessential details to get a better grip on the problem.

Our first step is to remove the original image's distractions.

From here we can make the observation that the size of the islands, sides of the river, and even the river itself are irrelevant. In addition the distances between the land masses are immaterial, thus the lengths of the bridges are irrelevant. Keeping these observations in mind, we resize the landmasses to points, and the bridges to lines .

From here on we will use the word line instead of bridge, and vertex instead of landmasses.

Now we make the key observation that the walker must enter and exit every landmass. In order for this to be possible there must be an even number of lines at every vertex with the exceptions of the starting and finishing vertexes of the walk. For those two vertexes, an odd number of vertexes is permitted since the walker only exits the starting vertex and only enters the final vertex.

We can see this idea come into play in one failed solution.

The order of the path goes 3-1-2-3-4-2. At vertex 2, we can see that this solution fails because we must choose to go to either vertex 1 or 4, but with no possible way out of those vertexes. Note that 2 is neither a starting point nor an end point, and thus with an odd number of lines, scraps any possible solution.

Looking back at the previous figure, we can see that all four vertexes have an odd number of lines. The existence of a path that could reach all four landmasses is impossible because it would go through more than two vertexes with odd number of lines.

Leonard Euler first solved this problem in 1735.

## Ideas for the Future

Make some sort of app that could allow the user to attempt to solve the problem manually. Hopefully they'll be able to trace the picture and the applet will highlight the bridge the user will not be able to go across.