Counting regions outside a convex hull

The name of the pictureThe name of the pictureThe name of the pictureClash 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?










share|cite|improve this question





















  • 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















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?










share|cite|improve this question





















  • 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













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?










share|cite|improve this question













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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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

















  • 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











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.






share|cite|improve this answer




















  • Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
    – Muralidharan
    Sep 10 at 22:12










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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















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






























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.






share|cite|improve this answer




















  • Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
    – Muralidharan
    Sep 10 at 22:12














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.






share|cite|improve this answer




















  • Counting unbounded regions using the zoom out is indeed a beautiful idea. Brilliant!
    – Muralidharan
    Sep 10 at 22:12












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.






share|cite|improve this answer












$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.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










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
















  • 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

















 

draft saved


draft discarded















































 


draft saved


draft discarded














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













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Why am i infinitely getting the same tweet with the Twitter Search API?

Carbon dioxide