Counting regions outside a convex hull
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
This problem is from Bay Area Math Olympiad 2016: The corners of a fixed convex (but not necessarily regular) $n$-gon are labeled with distinct letters. If an
observer stands at a point in the plane of the polygon, but outside the polygon, they see the letters in some order from left to right, and they spell a word (that is, a string of letters; it does not need to be a word in any language). Determine, as a formula in terms of $n$, the maximum number of distinct $n$-letter words which may be read in this manner from a single $n$-gon. Do not count words in which some letter is missing because it is directly behind another letter from the viewerâÂÂs position.
The vertices determine $binomn2$ lines and there is a one to one correspondence between the number of words and the number of regions outside the convex hull formed by the vertices. The final answer is tantalizingly simple: $2binomn2 + 2binomn4$. While the official solution is available, is there a combinatorial argument to get the answer in a direct way?
combinatorics
add a comment |Â
up vote
1
down vote
favorite
This problem is from Bay Area Math Olympiad 2016: The corners of a fixed convex (but not necessarily regular) $n$-gon are labeled with distinct letters. If an
observer stands at a point in the plane of the polygon, but outside the polygon, they see the letters in some order from left to right, and they spell a word (that is, a string of letters; it does not need to be a word in any language). Determine, as a formula in terms of $n$, the maximum number of distinct $n$-letter words which may be read in this manner from a single $n$-gon. Do not count words in which some letter is missing because it is directly behind another letter from the viewerâÂÂs position.
The vertices determine $binomn2$ lines and there is a one to one correspondence between the number of words and the number of regions outside the convex hull formed by the vertices. The final answer is tantalizingly simple: $2binomn2 + 2binomn4$. While the official solution is available, is there a combinatorial argument to get the answer in a direct way?
combinatorics
For those that want to look at the official solution, it can be found at this link (problem 5, the last problem).
â Misha Lavrov
Sep 10 at 20:38
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
This problem is from Bay Area Math Olympiad 2016: The corners of a fixed convex (but not necessarily regular) $n$-gon are labeled with distinct letters. If an
observer stands at a point in the plane of the polygon, but outside the polygon, they see the letters in some order from left to right, and they spell a word (that is, a string of letters; it does not need to be a word in any language). Determine, as a formula in terms of $n$, the maximum number of distinct $n$-letter words which may be read in this manner from a single $n$-gon. Do not count words in which some letter is missing because it is directly behind another letter from the viewerâÂÂs position.
The vertices determine $binomn2$ lines and there is a one to one correspondence between the number of words and the number of regions outside the convex hull formed by the vertices. The final answer is tantalizingly simple: $2binomn2 + 2binomn4$. While the official solution is available, is there a combinatorial argument to get the answer in a direct way?
combinatorics
This problem is from Bay Area Math Olympiad 2016: The corners of a fixed convex (but not necessarily regular) $n$-gon are labeled with distinct letters. If an
observer stands at a point in the plane of the polygon, but outside the polygon, they see the letters in some order from left to right, and they spell a word (that is, a string of letters; it does not need to be a word in any language). Determine, as a formula in terms of $n$, the maximum number of distinct $n$-letter words which may be read in this manner from a single $n$-gon. Do not count words in which some letter is missing because it is directly behind another letter from the viewerâÂÂs position.
The vertices determine $binomn2$ lines and there is a one to one correspondence between the number of words and the number of regions outside the convex hull formed by the vertices. The final answer is tantalizingly simple: $2binomn2 + 2binomn4$. While the official solution is available, is there a combinatorial argument to get the answer in a direct way?
combinatorics
combinatorics
asked Sep 10 at 20:15
Muralidharan
2006
2006
For those that want to look at the official solution, it can be found at this link (problem 5, the last problem).
â Misha Lavrov
Sep 10 at 20:38
add a comment |Â
For those that want to look at the official solution, it can be found at this link (problem 5, the last problem).
â Misha Lavrov
Sep 10 at 20:38
For those that want to look at the official solution, it can be found at this link (problem 5, the last problem).
â Misha Lavrov
Sep 10 at 20:38
For those that want to look at the official solution, it can be found at this link (problem 5, the last problem).
â Misha Lavrov
Sep 10 at 20:38
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
2
down vote
accepted
$2binom n4$ counts the number of bounded regions outside the convex hull (which I'll call $H$). $2binom n2$ counts the number of unbounded regions.
To count bounded regions: for each bounded region $mathcal R$, let $f(mathcal R)$ be the point of $mathcal R$ furthest from $H$. Because the distance to $H$ is a convex function, $f(mathcal R)$ must be a vertex of $mathcal R$; because $mathcal R$ contains points at distance $>0$ from $H$, this vertex is not one of the ones that lie on $H$. So $f(mathcal R)$ is the intersection of two lines $AB cap CD$, where $A,B,C,D$ are distinct vertices of $H$.
There are $binom n4$ ways to choose $A,B,C,D$; each gives three intersection points $AB cap CD$, $AC cap BD$, and $AD cap BC$, but one of these is inside $H$. So there are $2binom n4$ values of $f(mathcal R)$. Each one is achieved exactly once: given an intersection $AB cap CD$, three of the regions have a point further from $H$ by moving along $AB$ or along $CD$.
To count unbounded regions: If we zoom out really far, all $binom n2$ lines approximately intersect at a single point, and zooming out does not change the unbounded regions. It is easy to see that $N$ lines meeting at a point create $2N$ unbounded regions.
Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
â Muralidharan
Sep 10 at 22:12
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
$2binom n4$ counts the number of bounded regions outside the convex hull (which I'll call $H$). $2binom n2$ counts the number of unbounded regions.
To count bounded regions: for each bounded region $mathcal R$, let $f(mathcal R)$ be the point of $mathcal R$ furthest from $H$. Because the distance to $H$ is a convex function, $f(mathcal R)$ must be a vertex of $mathcal R$; because $mathcal R$ contains points at distance $>0$ from $H$, this vertex is not one of the ones that lie on $H$. So $f(mathcal R)$ is the intersection of two lines $AB cap CD$, where $A,B,C,D$ are distinct vertices of $H$.
There are $binom n4$ ways to choose $A,B,C,D$; each gives three intersection points $AB cap CD$, $AC cap BD$, and $AD cap BC$, but one of these is inside $H$. So there are $2binom n4$ values of $f(mathcal R)$. Each one is achieved exactly once: given an intersection $AB cap CD$, three of the regions have a point further from $H$ by moving along $AB$ or along $CD$.
To count unbounded regions: If we zoom out really far, all $binom n2$ lines approximately intersect at a single point, and zooming out does not change the unbounded regions. It is easy to see that $N$ lines meeting at a point create $2N$ unbounded regions.
Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
â Muralidharan
Sep 10 at 22:12
add a comment |Â
up vote
2
down vote
accepted
$2binom n4$ counts the number of bounded regions outside the convex hull (which I'll call $H$). $2binom n2$ counts the number of unbounded regions.
To count bounded regions: for each bounded region $mathcal R$, let $f(mathcal R)$ be the point of $mathcal R$ furthest from $H$. Because the distance to $H$ is a convex function, $f(mathcal R)$ must be a vertex of $mathcal R$; because $mathcal R$ contains points at distance $>0$ from $H$, this vertex is not one of the ones that lie on $H$. So $f(mathcal R)$ is the intersection of two lines $AB cap CD$, where $A,B,C,D$ are distinct vertices of $H$.
There are $binom n4$ ways to choose $A,B,C,D$; each gives three intersection points $AB cap CD$, $AC cap BD$, and $AD cap BC$, but one of these is inside $H$. So there are $2binom n4$ values of $f(mathcal R)$. Each one is achieved exactly once: given an intersection $AB cap CD$, three of the regions have a point further from $H$ by moving along $AB$ or along $CD$.
To count unbounded regions: If we zoom out really far, all $binom n2$ lines approximately intersect at a single point, and zooming out does not change the unbounded regions. It is easy to see that $N$ lines meeting at a point create $2N$ unbounded regions.
Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
â Muralidharan
Sep 10 at 22:12
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
$2binom n4$ counts the number of bounded regions outside the convex hull (which I'll call $H$). $2binom n2$ counts the number of unbounded regions.
To count bounded regions: for each bounded region $mathcal R$, let $f(mathcal R)$ be the point of $mathcal R$ furthest from $H$. Because the distance to $H$ is a convex function, $f(mathcal R)$ must be a vertex of $mathcal R$; because $mathcal R$ contains points at distance $>0$ from $H$, this vertex is not one of the ones that lie on $H$. So $f(mathcal R)$ is the intersection of two lines $AB cap CD$, where $A,B,C,D$ are distinct vertices of $H$.
There are $binom n4$ ways to choose $A,B,C,D$; each gives three intersection points $AB cap CD$, $AC cap BD$, and $AD cap BC$, but one of these is inside $H$. So there are $2binom n4$ values of $f(mathcal R)$. Each one is achieved exactly once: given an intersection $AB cap CD$, three of the regions have a point further from $H$ by moving along $AB$ or along $CD$.
To count unbounded regions: If we zoom out really far, all $binom n2$ lines approximately intersect at a single point, and zooming out does not change the unbounded regions. It is easy to see that $N$ lines meeting at a point create $2N$ unbounded regions.
$2binom n4$ counts the number of bounded regions outside the convex hull (which I'll call $H$). $2binom n2$ counts the number of unbounded regions.
To count bounded regions: for each bounded region $mathcal R$, let $f(mathcal R)$ be the point of $mathcal R$ furthest from $H$. Because the distance to $H$ is a convex function, $f(mathcal R)$ must be a vertex of $mathcal R$; because $mathcal R$ contains points at distance $>0$ from $H$, this vertex is not one of the ones that lie on $H$. So $f(mathcal R)$ is the intersection of two lines $AB cap CD$, where $A,B,C,D$ are distinct vertices of $H$.
There are $binom n4$ ways to choose $A,B,C,D$; each gives three intersection points $AB cap CD$, $AC cap BD$, and $AD cap BC$, but one of these is inside $H$. So there are $2binom n4$ values of $f(mathcal R)$. Each one is achieved exactly once: given an intersection $AB cap CD$, three of the regions have a point further from $H$ by moving along $AB$ or along $CD$.
To count unbounded regions: If we zoom out really far, all $binom n2$ lines approximately intersect at a single point, and zooming out does not change the unbounded regions. It is easy to see that $N$ lines meeting at a point create $2N$ unbounded regions.
answered Sep 10 at 21:34
Misha Lavrov
38.4k55094
38.4k55094
Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
â Muralidharan
Sep 10 at 22:12
add a comment |Â
Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
â Muralidharan
Sep 10 at 22:12
Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
â Muralidharan
Sep 10 at 22:12
Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
â Muralidharan
Sep 10 at 22:12
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2912299%2fcounting-regions-outside-a-convex-hull%23new-answer', 'question_page');
);
Post as a guest
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
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
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
For those that want to look at the official solution, it can be found at this link (problem 5, the last problem).
â Misha Lavrov
Sep 10 at 20:38