2014/05/15 by Chaya Keller, Keller, Chaya, Micha A. Perles +1
Computer Science · Mathematics · #Advanced Graph Theory Research #Computational Geometry and Mesh Generation #Graph theory and applications #math.CO #msc:05C30 #msc:05C62
paper · pdf · doi:10.48550/arxiv.1405.4019
17 pages, 9 figures
arxiv created 2015/05/01 · arxiv updated 2015/05/04
A well-known result of Kupitz from 1982 asserts that the maximal number of edges in a convex geometric graph (CGG) on n vertices that does not contain k+1 pairwise disjoint edges is kn (provided n>2k). For k=1 and k=n/2-1, the extremal examples are completely characterized. For all other values of k, the structure of the extremal examples is far from known: their total number is unknown, and only a few classes of examples were presented, that are almost symmetric, consisting roughly of the kn "longest possible" edges of CK(n), the complete CGG of order n. In order to understand further the structure of the extremal examples, we present a class of extremal examples that lie at the other end of the spectrum. Namely, we break the symmetry by requiring that, in addition, the graph admit an independent set that consists of q consecutive vertices on the boundary of the convex hull. We show that such graphs exist as long as q ≤ n-2k and that this value of q is optimal. We generalize our discussion to the following question: what is the maximal possible number f(n,k,q) of edges in a CGG on n vertices that does not contain k+1 pairwise disjoint edges, and, in addition, admits an independent set that consists of q consecutive vertices on the boundary of the convex hull? We provide a complete answer to this question, determining f(n,k,q) for all relevant values of n,k and q.