Suppose you have a convex $n$-gon, and a convex $m$-gon, in the plane. Take the convex hull of the $n+m$ vertices. How many combinatorially distinct hulls can be obtained, where two hulls are combinatorially distinct if, with the vertices labeled $a_i$, $i=1,\ldots,n$ and $b_j$, $j=1,\ldots,m$, any two cyclicly distinct strings of labels are considered distinct? Below the hulls are $(a_1,b_1,a_2,b_2,a_3,b_3)$ and $(a_1,a_2,b_2,b_3)$.
I realize this is elementary...
Convex hull of $n$-gon and $m$-gon
4
$\begingroup$
combinatorics
discrete-geometry
-
0@Gerry: Great suggestion to compute and compare to OEIS!! – 2012-02-04
1 Answers
1
I can do the case $m=1$ (assuming I understand the problem correctly).
Take $n\ge3$. Draw your convex $n$-gon, extend all the sides to infinity. The number of distinct hulls is the number of regions into which these lines divide the plane. If no two sides are parallel, this is $1+(n^2+n)/2$, which is maximal. For two points in the same region determine the same convex hull, and two points in different regions determine different hulls.
For $n=2$, the formula gives $2$, which is right if you distinguish between $(a_1,b_1,b_2)$ and $(a_1,b_2,b_1)$, which in this case is only the distinction between clockwise and counterclockwise.
-
0Hey, that's very nice! And much more complicated than I imagined. The arrangement of lines determined by the polygon edges seems to be the key structure. Thanks for this insigh! – 2012-02-05