A route that passes through all streets of the city
$begingroup$
You are driving a car in a city with $N$ long, straight streets. No two streets are parallel so there is an intersection (crossroads) for each pair of streets. Each intersection has only two intersecting streets. No street has strict north-south direction.
There is only one driving rule: when you reach the intersection you have to make a turn so that the next street takes you eastwards (north-east, east, south-east, does not matter). On a map, it means that you have to keep driving to the right side of the map.
Prove that it is always possible to make a drive through the city that visits all the streets at least once.
Here is a city with $N$=6 streets. Some fairly complicated routes do not visit all the streets (blue route does not visit street $a$. But the red route will take you through all streets.
I tried to solve the problem in the following way: Each street consists of segments created by intersecting streets. I have assigned a collor to each street. Obviously, each street has 6 segments and I have represented each segment with a colored dot:
Look at the "long" routes, i.e. routes starting from some west-most street segment. Each such route represents a sequence of segments (colored dots). There are 6 such routes, one for each street in the city:
...or, with the streets removed:
I was able to conclude several things from the final graph:
- There are $N$ different colors (with exactly $N$ vertices having one color), $N$ polygonal chains, $N^2$ colored vertices.
- The chains do not intersect (this can be proved fairly easily)
- In a single chain, there are at least two vertices between any two vertices of the same color.
- This basically means that in any chain you will find 3 different colors for any four consecutive vertices.
Based on that I still could not prove that one chain must have vertices with all possible colors. Which probably means that my approach is 100% wrong. But the problem is still interesting.
discrete-mathematics graph-theory
$endgroup$
add a comment |
$begingroup$
You are driving a car in a city with $N$ long, straight streets. No two streets are parallel so there is an intersection (crossroads) for each pair of streets. Each intersection has only two intersecting streets. No street has strict north-south direction.
There is only one driving rule: when you reach the intersection you have to make a turn so that the next street takes you eastwards (north-east, east, south-east, does not matter). On a map, it means that you have to keep driving to the right side of the map.
Prove that it is always possible to make a drive through the city that visits all the streets at least once.
Here is a city with $N$=6 streets. Some fairly complicated routes do not visit all the streets (blue route does not visit street $a$. But the red route will take you through all streets.
I tried to solve the problem in the following way: Each street consists of segments created by intersecting streets. I have assigned a collor to each street. Obviously, each street has 6 segments and I have represented each segment with a colored dot:
Look at the "long" routes, i.e. routes starting from some west-most street segment. Each such route represents a sequence of segments (colored dots). There are 6 such routes, one for each street in the city:
...or, with the streets removed:
I was able to conclude several things from the final graph:
- There are $N$ different colors (with exactly $N$ vertices having one color), $N$ polygonal chains, $N^2$ colored vertices.
- The chains do not intersect (this can be proved fairly easily)
- In a single chain, there are at least two vertices between any two vertices of the same color.
- This basically means that in any chain you will find 3 different colors for any four consecutive vertices.
Based on that I still could not prove that one chain must have vertices with all possible colors. Which probably means that my approach is 100% wrong. But the problem is still interesting.
discrete-mathematics graph-theory
$endgroup$
$begingroup$
So what should I do? I was happy to receive two beautiful answers, both correct and inspiring, both deserving to be accpeted. But I can accpet only one. Of course, I have upvoted both.
$endgroup$
– Oldboy
Dec 18 '18 at 22:35
add a comment |
$begingroup$
You are driving a car in a city with $N$ long, straight streets. No two streets are parallel so there is an intersection (crossroads) for each pair of streets. Each intersection has only two intersecting streets. No street has strict north-south direction.
There is only one driving rule: when you reach the intersection you have to make a turn so that the next street takes you eastwards (north-east, east, south-east, does not matter). On a map, it means that you have to keep driving to the right side of the map.
Prove that it is always possible to make a drive through the city that visits all the streets at least once.
Here is a city with $N$=6 streets. Some fairly complicated routes do not visit all the streets (blue route does not visit street $a$. But the red route will take you through all streets.
I tried to solve the problem in the following way: Each street consists of segments created by intersecting streets. I have assigned a collor to each street. Obviously, each street has 6 segments and I have represented each segment with a colored dot:
Look at the "long" routes, i.e. routes starting from some west-most street segment. Each such route represents a sequence of segments (colored dots). There are 6 such routes, one for each street in the city:
...or, with the streets removed:
I was able to conclude several things from the final graph:
- There are $N$ different colors (with exactly $N$ vertices having one color), $N$ polygonal chains, $N^2$ colored vertices.
- The chains do not intersect (this can be proved fairly easily)
- In a single chain, there are at least two vertices between any two vertices of the same color.
- This basically means that in any chain you will find 3 different colors for any four consecutive vertices.
Based on that I still could not prove that one chain must have vertices with all possible colors. Which probably means that my approach is 100% wrong. But the problem is still interesting.
discrete-mathematics graph-theory
$endgroup$
You are driving a car in a city with $N$ long, straight streets. No two streets are parallel so there is an intersection (crossroads) for each pair of streets. Each intersection has only two intersecting streets. No street has strict north-south direction.
There is only one driving rule: when you reach the intersection you have to make a turn so that the next street takes you eastwards (north-east, east, south-east, does not matter). On a map, it means that you have to keep driving to the right side of the map.
Prove that it is always possible to make a drive through the city that visits all the streets at least once.
Here is a city with $N$=6 streets. Some fairly complicated routes do not visit all the streets (blue route does not visit street $a$. But the red route will take you through all streets.
I tried to solve the problem in the following way: Each street consists of segments created by intersecting streets. I have assigned a collor to each street. Obviously, each street has 6 segments and I have represented each segment with a colored dot:
Look at the "long" routes, i.e. routes starting from some west-most street segment. Each such route represents a sequence of segments (colored dots). There are 6 such routes, one for each street in the city:
...or, with the streets removed:
I was able to conclude several things from the final graph:
- There are $N$ different colors (with exactly $N$ vertices having one color), $N$ polygonal chains, $N^2$ colored vertices.
- The chains do not intersect (this can be proved fairly easily)
- In a single chain, there are at least two vertices between any two vertices of the same color.
- This basically means that in any chain you will find 3 different colors for any four consecutive vertices.
Based on that I still could not prove that one chain must have vertices with all possible colors. Which probably means that my approach is 100% wrong. But the problem is still interesting.
discrete-mathematics graph-theory
discrete-mathematics graph-theory
edited Dec 18 '18 at 19:39
Bram28
63.8k44793
63.8k44793
asked Dec 18 '18 at 17:13
OldboyOldboy
8,84611138
8,84611138
$begingroup$
So what should I do? I was happy to receive two beautiful answers, both correct and inspiring, both deserving to be accpeted. But I can accpet only one. Of course, I have upvoted both.
$endgroup$
– Oldboy
Dec 18 '18 at 22:35
add a comment |
$begingroup$
So what should I do? I was happy to receive two beautiful answers, both correct and inspiring, both deserving to be accpeted. But I can accpet only one. Of course, I have upvoted both.
$endgroup$
– Oldboy
Dec 18 '18 at 22:35
$begingroup$
So what should I do? I was happy to receive two beautiful answers, both correct and inspiring, both deserving to be accpeted. But I can accpet only one. Of course, I have upvoted both.
$endgroup$
– Oldboy
Dec 18 '18 at 22:35
$begingroup$
So what should I do? I was happy to receive two beautiful answers, both correct and inspiring, both deserving to be accpeted. But I can accpet only one. Of course, I have upvoted both.
$endgroup$
– Oldboy
Dec 18 '18 at 22:35
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Misha's Answer is essentially correct, but I felt the need to elaborate a bit and fill in some details.
With $n$ lines there are $n$ routes: one for each road, starting at the west-most point of that road and heading east.
Now, if you draw a vertical line to the west of all the intersections, then the order in which that line intersects with the streets (and of course it will intersect with all streets) will order the routes from 'north' to 'south'. In fact, these intersection points can be seen as the 'starting point' for each route. Notice that if we do the same to the east oa ll street intersections, we would get what could be considered the 'end points' of the routes, and they would be in the exact reverse order, going from north to south.
Now, notice the following claims are all true:
I. Each street segment is traversed by exactly one route: if you start on that street segment, then there is only one way to continue that route east, and there is only one way to continue going west, and this is of course one of the routes
II. Every intersection will get visited by exactly two of the routes: from any intersection there are two street segments going east, and since by I. each street segment belongs to exactly one route, that means exactly two routes go through an intersection.
III. Two routes will never cross each other: if they would, that would mean that both routes would have to go straight at some intersection, which is against the rules.
IV. There will never be an intersection between two consecutive routes (i.e. south of one route, and north of the other): if there was, then consider any of the routes going through that intersection: this route would have to cross one of them going back to the starting point, which again by III is impossible
V. There cannot be two consecutive routes and two different streets $A$ and $B$ where one route is completely north of $A$, and the other completely south of $B$: (this is the central argument in Misha's Answer) if this were to occur, then the intersection of $A$ and $B$ would be completely between the two consecutive routes, which by IV is impossible.
OK, so finally (again, as in Misha's answer), consider the successive routes starting with the northern-most one. Clearly the northern-most one cannot be completely to the south of some street, so if there is something wrong with it, then it must be because it is completely north of some street. Now, as long as the route under consideration is completely to the north of some street $A$, consider its successive route. This street $A$ will at some point be included by some route as we go down the list of routes, (since every street is traversed by some route). Moreover, if the current route is still completely north of street some $A$, it is impossible for its successor route to go completely south of some different street $B$, for that would go against V, and so by the time we reach a route that includes street $A$, we have not gone completely to the south of some street $B$. This process we can continue for any other street that we are still completely to the north of, and again, it is impossible to ever end up to the south of some other street. Hence, at some point all streets must be included in some route.
$endgroup$
$begingroup$
Argument V: "There cannot be two consecutive routes and two different streets A and B where one route is completely north of A, and the other completely north of B"... Did you mean "completely south of B"? In that case the intersection point AB would be between consecutive routes.
$endgroup$
– Oldboy
Dec 18 '18 at 22:24
$begingroup$
Thanks for clarifying every single detail. I have really enjoyed it.
$endgroup$
– Oldboy
Dec 18 '18 at 22:39
$begingroup$
@Oldboy Yes, that should be south, thanks for catching that, and I'm glad I could help!
$endgroup$
– Bram28
Dec 18 '18 at 22:58
add a comment |
$begingroup$
We consider only the routes that start very far to the left (further than any intersection point) and end very far to the right (further than any intersection point). Routes that don't work because they didn't go far enough in one direction or the other are not interesting.
Each route that fails, fails for one of two reasons:
- It always stays strictly below a certain street, never touching it.
- It always stays strictly above a certain street, never touching it.
These two reasons can't both be true for the same route. Any two streets intersect, so the region that's strictly above street $X$ but strictly below street $Y$ doesn't go all the way from left to right: it can't contain an entire route.
So we can can classify the bad routes into "too-low" routes that fail because they always stay below some streets, and "too-high" routes that fail because they always stay above some streets.
You've already observed that there are $N$ routes, which can be ordered vertically, and never cross (though they can touch): if route $r$ starts above route $s$, then it will always stay above route $s$. In particular, if a route is "too-low", then so is every route below it; if a route is "too-high", then so is every route above it.
Suppose that route $r$ is above route $s$, and route $r$ is "too-high" because it always stays above street $X$, while route $s$ is "too-low" because it always stays below street $Y$. Then the intersection point of $X$ and $Y$ must be below route $r$ but above route $s$. Therefore there is another route between $r$ and $s$ going through that intersection point. (Alternatively, if $X$ and $Y$ are the same street, then the route that begins on that street must be between $r$ and $s$.) In other words, a "too-high" route is never next to a "too-low" route.
The highest route can't be "too-low" because there's nothing above it; if it fails, it fails because it's "too-high". Similarly, the lowest route must be "too-low" if it fails. Therefore, going from top to bottom, we must switch from "too-high" to "too-low" at some point. To do so, there must be at least one route in between that is neither "too-high" nor "too-low": that route must visit every street.
$endgroup$
$begingroup$
It seems to me that many routes fail for neither or the two reasons you list. A route that never turns a corner fails without staying above or below any street, as does a route that turns once, at the last available intersection. What am I misunderstanding?
$endgroup$
– Steve Kass
Dec 18 '18 at 17:52
$begingroup$
How do you get a route that never turns a corner? Every line intersects every other line, so if you keep going, you eventually run into a corner where you have to turn.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 17:53
$begingroup$
Ah! I missed the (important) requirement that you must turn at every intersection!
$endgroup$
– Steve Kass
Dec 18 '18 at 17:55
$begingroup$
Well done! It's hard to say which answer should be accepted. Your came first, the second one has some more details. Both deserve to be accepted and I can accept only one :(
$endgroup$
– Oldboy
Dec 18 '18 at 22:41
1
$begingroup$
@Oldboy Then accept Bram's, because (as the more complete one) it is more likely to be a one-stop solution for anyone else curious about the problem.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 22:42
|
show 1 more comment
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3045422%2fa-route-that-passes-through-all-streets-of-the-city%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Misha's Answer is essentially correct, but I felt the need to elaborate a bit and fill in some details.
With $n$ lines there are $n$ routes: one for each road, starting at the west-most point of that road and heading east.
Now, if you draw a vertical line to the west of all the intersections, then the order in which that line intersects with the streets (and of course it will intersect with all streets) will order the routes from 'north' to 'south'. In fact, these intersection points can be seen as the 'starting point' for each route. Notice that if we do the same to the east oa ll street intersections, we would get what could be considered the 'end points' of the routes, and they would be in the exact reverse order, going from north to south.
Now, notice the following claims are all true:
I. Each street segment is traversed by exactly one route: if you start on that street segment, then there is only one way to continue that route east, and there is only one way to continue going west, and this is of course one of the routes
II. Every intersection will get visited by exactly two of the routes: from any intersection there are two street segments going east, and since by I. each street segment belongs to exactly one route, that means exactly two routes go through an intersection.
III. Two routes will never cross each other: if they would, that would mean that both routes would have to go straight at some intersection, which is against the rules.
IV. There will never be an intersection between two consecutive routes (i.e. south of one route, and north of the other): if there was, then consider any of the routes going through that intersection: this route would have to cross one of them going back to the starting point, which again by III is impossible
V. There cannot be two consecutive routes and two different streets $A$ and $B$ where one route is completely north of $A$, and the other completely south of $B$: (this is the central argument in Misha's Answer) if this were to occur, then the intersection of $A$ and $B$ would be completely between the two consecutive routes, which by IV is impossible.
OK, so finally (again, as in Misha's answer), consider the successive routes starting with the northern-most one. Clearly the northern-most one cannot be completely to the south of some street, so if there is something wrong with it, then it must be because it is completely north of some street. Now, as long as the route under consideration is completely to the north of some street $A$, consider its successive route. This street $A$ will at some point be included by some route as we go down the list of routes, (since every street is traversed by some route). Moreover, if the current route is still completely north of street some $A$, it is impossible for its successor route to go completely south of some different street $B$, for that would go against V, and so by the time we reach a route that includes street $A$, we have not gone completely to the south of some street $B$. This process we can continue for any other street that we are still completely to the north of, and again, it is impossible to ever end up to the south of some other street. Hence, at some point all streets must be included in some route.
$endgroup$
$begingroup$
Argument V: "There cannot be two consecutive routes and two different streets A and B where one route is completely north of A, and the other completely north of B"... Did you mean "completely south of B"? In that case the intersection point AB would be between consecutive routes.
$endgroup$
– Oldboy
Dec 18 '18 at 22:24
$begingroup$
Thanks for clarifying every single detail. I have really enjoyed it.
$endgroup$
– Oldboy
Dec 18 '18 at 22:39
$begingroup$
@Oldboy Yes, that should be south, thanks for catching that, and I'm glad I could help!
$endgroup$
– Bram28
Dec 18 '18 at 22:58
add a comment |
$begingroup$
Misha's Answer is essentially correct, but I felt the need to elaborate a bit and fill in some details.
With $n$ lines there are $n$ routes: one for each road, starting at the west-most point of that road and heading east.
Now, if you draw a vertical line to the west of all the intersections, then the order in which that line intersects with the streets (and of course it will intersect with all streets) will order the routes from 'north' to 'south'. In fact, these intersection points can be seen as the 'starting point' for each route. Notice that if we do the same to the east oa ll street intersections, we would get what could be considered the 'end points' of the routes, and they would be in the exact reverse order, going from north to south.
Now, notice the following claims are all true:
I. Each street segment is traversed by exactly one route: if you start on that street segment, then there is only one way to continue that route east, and there is only one way to continue going west, and this is of course one of the routes
II. Every intersection will get visited by exactly two of the routes: from any intersection there are two street segments going east, and since by I. each street segment belongs to exactly one route, that means exactly two routes go through an intersection.
III. Two routes will never cross each other: if they would, that would mean that both routes would have to go straight at some intersection, which is against the rules.
IV. There will never be an intersection between two consecutive routes (i.e. south of one route, and north of the other): if there was, then consider any of the routes going through that intersection: this route would have to cross one of them going back to the starting point, which again by III is impossible
V. There cannot be two consecutive routes and two different streets $A$ and $B$ where one route is completely north of $A$, and the other completely south of $B$: (this is the central argument in Misha's Answer) if this were to occur, then the intersection of $A$ and $B$ would be completely between the two consecutive routes, which by IV is impossible.
OK, so finally (again, as in Misha's answer), consider the successive routes starting with the northern-most one. Clearly the northern-most one cannot be completely to the south of some street, so if there is something wrong with it, then it must be because it is completely north of some street. Now, as long as the route under consideration is completely to the north of some street $A$, consider its successive route. This street $A$ will at some point be included by some route as we go down the list of routes, (since every street is traversed by some route). Moreover, if the current route is still completely north of street some $A$, it is impossible for its successor route to go completely south of some different street $B$, for that would go against V, and so by the time we reach a route that includes street $A$, we have not gone completely to the south of some street $B$. This process we can continue for any other street that we are still completely to the north of, and again, it is impossible to ever end up to the south of some other street. Hence, at some point all streets must be included in some route.
$endgroup$
$begingroup$
Argument V: "There cannot be two consecutive routes and two different streets A and B where one route is completely north of A, and the other completely north of B"... Did you mean "completely south of B"? In that case the intersection point AB would be between consecutive routes.
$endgroup$
– Oldboy
Dec 18 '18 at 22:24
$begingroup$
Thanks for clarifying every single detail. I have really enjoyed it.
$endgroup$
– Oldboy
Dec 18 '18 at 22:39
$begingroup$
@Oldboy Yes, that should be south, thanks for catching that, and I'm glad I could help!
$endgroup$
– Bram28
Dec 18 '18 at 22:58
add a comment |
$begingroup$
Misha's Answer is essentially correct, but I felt the need to elaborate a bit and fill in some details.
With $n$ lines there are $n$ routes: one for each road, starting at the west-most point of that road and heading east.
Now, if you draw a vertical line to the west of all the intersections, then the order in which that line intersects with the streets (and of course it will intersect with all streets) will order the routes from 'north' to 'south'. In fact, these intersection points can be seen as the 'starting point' for each route. Notice that if we do the same to the east oa ll street intersections, we would get what could be considered the 'end points' of the routes, and they would be in the exact reverse order, going from north to south.
Now, notice the following claims are all true:
I. Each street segment is traversed by exactly one route: if you start on that street segment, then there is only one way to continue that route east, and there is only one way to continue going west, and this is of course one of the routes
II. Every intersection will get visited by exactly two of the routes: from any intersection there are two street segments going east, and since by I. each street segment belongs to exactly one route, that means exactly two routes go through an intersection.
III. Two routes will never cross each other: if they would, that would mean that both routes would have to go straight at some intersection, which is against the rules.
IV. There will never be an intersection between two consecutive routes (i.e. south of one route, and north of the other): if there was, then consider any of the routes going through that intersection: this route would have to cross one of them going back to the starting point, which again by III is impossible
V. There cannot be two consecutive routes and two different streets $A$ and $B$ where one route is completely north of $A$, and the other completely south of $B$: (this is the central argument in Misha's Answer) if this were to occur, then the intersection of $A$ and $B$ would be completely between the two consecutive routes, which by IV is impossible.
OK, so finally (again, as in Misha's answer), consider the successive routes starting with the northern-most one. Clearly the northern-most one cannot be completely to the south of some street, so if there is something wrong with it, then it must be because it is completely north of some street. Now, as long as the route under consideration is completely to the north of some street $A$, consider its successive route. This street $A$ will at some point be included by some route as we go down the list of routes, (since every street is traversed by some route). Moreover, if the current route is still completely north of street some $A$, it is impossible for its successor route to go completely south of some different street $B$, for that would go against V, and so by the time we reach a route that includes street $A$, we have not gone completely to the south of some street $B$. This process we can continue for any other street that we are still completely to the north of, and again, it is impossible to ever end up to the south of some other street. Hence, at some point all streets must be included in some route.
$endgroup$
Misha's Answer is essentially correct, but I felt the need to elaborate a bit and fill in some details.
With $n$ lines there are $n$ routes: one for each road, starting at the west-most point of that road and heading east.
Now, if you draw a vertical line to the west of all the intersections, then the order in which that line intersects with the streets (and of course it will intersect with all streets) will order the routes from 'north' to 'south'. In fact, these intersection points can be seen as the 'starting point' for each route. Notice that if we do the same to the east oa ll street intersections, we would get what could be considered the 'end points' of the routes, and they would be in the exact reverse order, going from north to south.
Now, notice the following claims are all true:
I. Each street segment is traversed by exactly one route: if you start on that street segment, then there is only one way to continue that route east, and there is only one way to continue going west, and this is of course one of the routes
II. Every intersection will get visited by exactly two of the routes: from any intersection there are two street segments going east, and since by I. each street segment belongs to exactly one route, that means exactly two routes go through an intersection.
III. Two routes will never cross each other: if they would, that would mean that both routes would have to go straight at some intersection, which is against the rules.
IV. There will never be an intersection between two consecutive routes (i.e. south of one route, and north of the other): if there was, then consider any of the routes going through that intersection: this route would have to cross one of them going back to the starting point, which again by III is impossible
V. There cannot be two consecutive routes and two different streets $A$ and $B$ where one route is completely north of $A$, and the other completely south of $B$: (this is the central argument in Misha's Answer) if this were to occur, then the intersection of $A$ and $B$ would be completely between the two consecutive routes, which by IV is impossible.
OK, so finally (again, as in Misha's answer), consider the successive routes starting with the northern-most one. Clearly the northern-most one cannot be completely to the south of some street, so if there is something wrong with it, then it must be because it is completely north of some street. Now, as long as the route under consideration is completely to the north of some street $A$, consider its successive route. This street $A$ will at some point be included by some route as we go down the list of routes, (since every street is traversed by some route). Moreover, if the current route is still completely north of street some $A$, it is impossible for its successor route to go completely south of some different street $B$, for that would go against V, and so by the time we reach a route that includes street $A$, we have not gone completely to the south of some street $B$. This process we can continue for any other street that we are still completely to the north of, and again, it is impossible to ever end up to the south of some other street. Hence, at some point all streets must be included in some route.
edited Dec 18 '18 at 23:00
answered Dec 18 '18 at 19:13
Bram28Bram28
63.8k44793
63.8k44793
$begingroup$
Argument V: "There cannot be two consecutive routes and two different streets A and B where one route is completely north of A, and the other completely north of B"... Did you mean "completely south of B"? In that case the intersection point AB would be between consecutive routes.
$endgroup$
– Oldboy
Dec 18 '18 at 22:24
$begingroup$
Thanks for clarifying every single detail. I have really enjoyed it.
$endgroup$
– Oldboy
Dec 18 '18 at 22:39
$begingroup$
@Oldboy Yes, that should be south, thanks for catching that, and I'm glad I could help!
$endgroup$
– Bram28
Dec 18 '18 at 22:58
add a comment |
$begingroup$
Argument V: "There cannot be two consecutive routes and two different streets A and B where one route is completely north of A, and the other completely north of B"... Did you mean "completely south of B"? In that case the intersection point AB would be between consecutive routes.
$endgroup$
– Oldboy
Dec 18 '18 at 22:24
$begingroup$
Thanks for clarifying every single detail. I have really enjoyed it.
$endgroup$
– Oldboy
Dec 18 '18 at 22:39
$begingroup$
@Oldboy Yes, that should be south, thanks for catching that, and I'm glad I could help!
$endgroup$
– Bram28
Dec 18 '18 at 22:58
$begingroup$
Argument V: "There cannot be two consecutive routes and two different streets A and B where one route is completely north of A, and the other completely north of B"... Did you mean "completely south of B"? In that case the intersection point AB would be between consecutive routes.
$endgroup$
– Oldboy
Dec 18 '18 at 22:24
$begingroup$
Argument V: "There cannot be two consecutive routes and two different streets A and B where one route is completely north of A, and the other completely north of B"... Did you mean "completely south of B"? In that case the intersection point AB would be between consecutive routes.
$endgroup$
– Oldboy
Dec 18 '18 at 22:24
$begingroup$
Thanks for clarifying every single detail. I have really enjoyed it.
$endgroup$
– Oldboy
Dec 18 '18 at 22:39
$begingroup$
Thanks for clarifying every single detail. I have really enjoyed it.
$endgroup$
– Oldboy
Dec 18 '18 at 22:39
$begingroup$
@Oldboy Yes, that should be south, thanks for catching that, and I'm glad I could help!
$endgroup$
– Bram28
Dec 18 '18 at 22:58
$begingroup$
@Oldboy Yes, that should be south, thanks for catching that, and I'm glad I could help!
$endgroup$
– Bram28
Dec 18 '18 at 22:58
add a comment |
$begingroup$
We consider only the routes that start very far to the left (further than any intersection point) and end very far to the right (further than any intersection point). Routes that don't work because they didn't go far enough in one direction or the other are not interesting.
Each route that fails, fails for one of two reasons:
- It always stays strictly below a certain street, never touching it.
- It always stays strictly above a certain street, never touching it.
These two reasons can't both be true for the same route. Any two streets intersect, so the region that's strictly above street $X$ but strictly below street $Y$ doesn't go all the way from left to right: it can't contain an entire route.
So we can can classify the bad routes into "too-low" routes that fail because they always stay below some streets, and "too-high" routes that fail because they always stay above some streets.
You've already observed that there are $N$ routes, which can be ordered vertically, and never cross (though they can touch): if route $r$ starts above route $s$, then it will always stay above route $s$. In particular, if a route is "too-low", then so is every route below it; if a route is "too-high", then so is every route above it.
Suppose that route $r$ is above route $s$, and route $r$ is "too-high" because it always stays above street $X$, while route $s$ is "too-low" because it always stays below street $Y$. Then the intersection point of $X$ and $Y$ must be below route $r$ but above route $s$. Therefore there is another route between $r$ and $s$ going through that intersection point. (Alternatively, if $X$ and $Y$ are the same street, then the route that begins on that street must be between $r$ and $s$.) In other words, a "too-high" route is never next to a "too-low" route.
The highest route can't be "too-low" because there's nothing above it; if it fails, it fails because it's "too-high". Similarly, the lowest route must be "too-low" if it fails. Therefore, going from top to bottom, we must switch from "too-high" to "too-low" at some point. To do so, there must be at least one route in between that is neither "too-high" nor "too-low": that route must visit every street.
$endgroup$
$begingroup$
It seems to me that many routes fail for neither or the two reasons you list. A route that never turns a corner fails without staying above or below any street, as does a route that turns once, at the last available intersection. What am I misunderstanding?
$endgroup$
– Steve Kass
Dec 18 '18 at 17:52
$begingroup$
How do you get a route that never turns a corner? Every line intersects every other line, so if you keep going, you eventually run into a corner where you have to turn.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 17:53
$begingroup$
Ah! I missed the (important) requirement that you must turn at every intersection!
$endgroup$
– Steve Kass
Dec 18 '18 at 17:55
$begingroup$
Well done! It's hard to say which answer should be accepted. Your came first, the second one has some more details. Both deserve to be accepted and I can accept only one :(
$endgroup$
– Oldboy
Dec 18 '18 at 22:41
1
$begingroup$
@Oldboy Then accept Bram's, because (as the more complete one) it is more likely to be a one-stop solution for anyone else curious about the problem.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 22:42
|
show 1 more comment
$begingroup$
We consider only the routes that start very far to the left (further than any intersection point) and end very far to the right (further than any intersection point). Routes that don't work because they didn't go far enough in one direction or the other are not interesting.
Each route that fails, fails for one of two reasons:
- It always stays strictly below a certain street, never touching it.
- It always stays strictly above a certain street, never touching it.
These two reasons can't both be true for the same route. Any two streets intersect, so the region that's strictly above street $X$ but strictly below street $Y$ doesn't go all the way from left to right: it can't contain an entire route.
So we can can classify the bad routes into "too-low" routes that fail because they always stay below some streets, and "too-high" routes that fail because they always stay above some streets.
You've already observed that there are $N$ routes, which can be ordered vertically, and never cross (though they can touch): if route $r$ starts above route $s$, then it will always stay above route $s$. In particular, if a route is "too-low", then so is every route below it; if a route is "too-high", then so is every route above it.
Suppose that route $r$ is above route $s$, and route $r$ is "too-high" because it always stays above street $X$, while route $s$ is "too-low" because it always stays below street $Y$. Then the intersection point of $X$ and $Y$ must be below route $r$ but above route $s$. Therefore there is another route between $r$ and $s$ going through that intersection point. (Alternatively, if $X$ and $Y$ are the same street, then the route that begins on that street must be between $r$ and $s$.) In other words, a "too-high" route is never next to a "too-low" route.
The highest route can't be "too-low" because there's nothing above it; if it fails, it fails because it's "too-high". Similarly, the lowest route must be "too-low" if it fails. Therefore, going from top to bottom, we must switch from "too-high" to "too-low" at some point. To do so, there must be at least one route in between that is neither "too-high" nor "too-low": that route must visit every street.
$endgroup$
$begingroup$
It seems to me that many routes fail for neither or the two reasons you list. A route that never turns a corner fails without staying above or below any street, as does a route that turns once, at the last available intersection. What am I misunderstanding?
$endgroup$
– Steve Kass
Dec 18 '18 at 17:52
$begingroup$
How do you get a route that never turns a corner? Every line intersects every other line, so if you keep going, you eventually run into a corner where you have to turn.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 17:53
$begingroup$
Ah! I missed the (important) requirement that you must turn at every intersection!
$endgroup$
– Steve Kass
Dec 18 '18 at 17:55
$begingroup$
Well done! It's hard to say which answer should be accepted. Your came first, the second one has some more details. Both deserve to be accepted and I can accept only one :(
$endgroup$
– Oldboy
Dec 18 '18 at 22:41
1
$begingroup$
@Oldboy Then accept Bram's, because (as the more complete one) it is more likely to be a one-stop solution for anyone else curious about the problem.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 22:42
|
show 1 more comment
$begingroup$
We consider only the routes that start very far to the left (further than any intersection point) and end very far to the right (further than any intersection point). Routes that don't work because they didn't go far enough in one direction or the other are not interesting.
Each route that fails, fails for one of two reasons:
- It always stays strictly below a certain street, never touching it.
- It always stays strictly above a certain street, never touching it.
These two reasons can't both be true for the same route. Any two streets intersect, so the region that's strictly above street $X$ but strictly below street $Y$ doesn't go all the way from left to right: it can't contain an entire route.
So we can can classify the bad routes into "too-low" routes that fail because they always stay below some streets, and "too-high" routes that fail because they always stay above some streets.
You've already observed that there are $N$ routes, which can be ordered vertically, and never cross (though they can touch): if route $r$ starts above route $s$, then it will always stay above route $s$. In particular, if a route is "too-low", then so is every route below it; if a route is "too-high", then so is every route above it.
Suppose that route $r$ is above route $s$, and route $r$ is "too-high" because it always stays above street $X$, while route $s$ is "too-low" because it always stays below street $Y$. Then the intersection point of $X$ and $Y$ must be below route $r$ but above route $s$. Therefore there is another route between $r$ and $s$ going through that intersection point. (Alternatively, if $X$ and $Y$ are the same street, then the route that begins on that street must be between $r$ and $s$.) In other words, a "too-high" route is never next to a "too-low" route.
The highest route can't be "too-low" because there's nothing above it; if it fails, it fails because it's "too-high". Similarly, the lowest route must be "too-low" if it fails. Therefore, going from top to bottom, we must switch from "too-high" to "too-low" at some point. To do so, there must be at least one route in between that is neither "too-high" nor "too-low": that route must visit every street.
$endgroup$
We consider only the routes that start very far to the left (further than any intersection point) and end very far to the right (further than any intersection point). Routes that don't work because they didn't go far enough in one direction or the other are not interesting.
Each route that fails, fails for one of two reasons:
- It always stays strictly below a certain street, never touching it.
- It always stays strictly above a certain street, never touching it.
These two reasons can't both be true for the same route. Any two streets intersect, so the region that's strictly above street $X$ but strictly below street $Y$ doesn't go all the way from left to right: it can't contain an entire route.
So we can can classify the bad routes into "too-low" routes that fail because they always stay below some streets, and "too-high" routes that fail because they always stay above some streets.
You've already observed that there are $N$ routes, which can be ordered vertically, and never cross (though they can touch): if route $r$ starts above route $s$, then it will always stay above route $s$. In particular, if a route is "too-low", then so is every route below it; if a route is "too-high", then so is every route above it.
Suppose that route $r$ is above route $s$, and route $r$ is "too-high" because it always stays above street $X$, while route $s$ is "too-low" because it always stays below street $Y$. Then the intersection point of $X$ and $Y$ must be below route $r$ but above route $s$. Therefore there is another route between $r$ and $s$ going through that intersection point. (Alternatively, if $X$ and $Y$ are the same street, then the route that begins on that street must be between $r$ and $s$.) In other words, a "too-high" route is never next to a "too-low" route.
The highest route can't be "too-low" because there's nothing above it; if it fails, it fails because it's "too-high". Similarly, the lowest route must be "too-low" if it fails. Therefore, going from top to bottom, we must switch from "too-high" to "too-low" at some point. To do so, there must be at least one route in between that is neither "too-high" nor "too-low": that route must visit every street.
edited Dec 18 '18 at 17:58
answered Dec 18 '18 at 17:47
Misha LavrovMisha Lavrov
47.7k657107
47.7k657107
$begingroup$
It seems to me that many routes fail for neither or the two reasons you list. A route that never turns a corner fails without staying above or below any street, as does a route that turns once, at the last available intersection. What am I misunderstanding?
$endgroup$
– Steve Kass
Dec 18 '18 at 17:52
$begingroup$
How do you get a route that never turns a corner? Every line intersects every other line, so if you keep going, you eventually run into a corner where you have to turn.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 17:53
$begingroup$
Ah! I missed the (important) requirement that you must turn at every intersection!
$endgroup$
– Steve Kass
Dec 18 '18 at 17:55
$begingroup$
Well done! It's hard to say which answer should be accepted. Your came first, the second one has some more details. Both deserve to be accepted and I can accept only one :(
$endgroup$
– Oldboy
Dec 18 '18 at 22:41
1
$begingroup$
@Oldboy Then accept Bram's, because (as the more complete one) it is more likely to be a one-stop solution for anyone else curious about the problem.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 22:42
|
show 1 more comment
$begingroup$
It seems to me that many routes fail for neither or the two reasons you list. A route that never turns a corner fails without staying above or below any street, as does a route that turns once, at the last available intersection. What am I misunderstanding?
$endgroup$
– Steve Kass
Dec 18 '18 at 17:52
$begingroup$
How do you get a route that never turns a corner? Every line intersects every other line, so if you keep going, you eventually run into a corner where you have to turn.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 17:53
$begingroup$
Ah! I missed the (important) requirement that you must turn at every intersection!
$endgroup$
– Steve Kass
Dec 18 '18 at 17:55
$begingroup$
Well done! It's hard to say which answer should be accepted. Your came first, the second one has some more details. Both deserve to be accepted and I can accept only one :(
$endgroup$
– Oldboy
Dec 18 '18 at 22:41
1
$begingroup$
@Oldboy Then accept Bram's, because (as the more complete one) it is more likely to be a one-stop solution for anyone else curious about the problem.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 22:42
$begingroup$
It seems to me that many routes fail for neither or the two reasons you list. A route that never turns a corner fails without staying above or below any street, as does a route that turns once, at the last available intersection. What am I misunderstanding?
$endgroup$
– Steve Kass
Dec 18 '18 at 17:52
$begingroup$
It seems to me that many routes fail for neither or the two reasons you list. A route that never turns a corner fails without staying above or below any street, as does a route that turns once, at the last available intersection. What am I misunderstanding?
$endgroup$
– Steve Kass
Dec 18 '18 at 17:52
$begingroup$
How do you get a route that never turns a corner? Every line intersects every other line, so if you keep going, you eventually run into a corner where you have to turn.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 17:53
$begingroup$
How do you get a route that never turns a corner? Every line intersects every other line, so if you keep going, you eventually run into a corner where you have to turn.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 17:53
$begingroup$
Ah! I missed the (important) requirement that you must turn at every intersection!
$endgroup$
– Steve Kass
Dec 18 '18 at 17:55
$begingroup$
Ah! I missed the (important) requirement that you must turn at every intersection!
$endgroup$
– Steve Kass
Dec 18 '18 at 17:55
$begingroup$
Well done! It's hard to say which answer should be accepted. Your came first, the second one has some more details. Both deserve to be accepted and I can accept only one :(
$endgroup$
– Oldboy
Dec 18 '18 at 22:41
$begingroup$
Well done! It's hard to say which answer should be accepted. Your came first, the second one has some more details. Both deserve to be accepted and I can accept only one :(
$endgroup$
– Oldboy
Dec 18 '18 at 22:41
1
1
$begingroup$
@Oldboy Then accept Bram's, because (as the more complete one) it is more likely to be a one-stop solution for anyone else curious about the problem.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 22:42
$begingroup$
@Oldboy Then accept Bram's, because (as the more complete one) it is more likely to be a one-stop solution for anyone else curious about the problem.
$endgroup$
– Misha Lavrov
Dec 18 '18 at 22:42
|
show 1 more comment
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3045422%2fa-route-that-passes-through-all-streets-of-the-city%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
So what should I do? I was happy to receive two beautiful answers, both correct and inspiring, both deserving to be accpeted. But I can accpet only one. Of course, I have upvoted both.
$endgroup$
– Oldboy
Dec 18 '18 at 22:35