English
Related papers

Related papers: Holes in Convex and Simple Drawings

200 papers

The Erd\H{o}s-S\'{o}s Conjecture states that if $G$ is a simple graph of order $n$ with average degree more than $k-2,$ then $G$ contains every tree of order $k$. In this paper, we prove that Erd\H{o}s-S\'{o}s Conjecture is true for…

Combinatorics · Mathematics 2014-03-24 Long-Tu Yuan , Xiao-Dong Zhang

Lov\'asz conjectured that every connected 4-regular planar graph G admits a realization as a system of circles, i.e., it can be drawn on the plane utilizing a set of circles, such that the vertices of G correspond to the intersection and…

Data Structures and Algorithms · Computer Science 2019-09-05 Michael A. Bekos , Chrysanthi N. Raftopoulou

John Conway's Circle Theorem is a gem of plane geometry. The six points formed by continuing the sides of a triangle beyond every vertex by the length of its opposite side, are concyclic. The theorem has attracted several proofs. We present…

General Mathematics · Mathematics 2021-11-04 Eric Braude

Sivaraman conjectured that if $G$ is a graph with no induced even cycle then there exist sets $X_1, X_2 \subseteq V(G)$ satisfying $V(G) = X_1 \cup X_2$ such that the induced graphs $G[X_1]$ and $G[X_2]$ are both chordal. We prove this…

Combinatorics · Mathematics 2023-10-10 Tara Abrishami , Eli Berger , Maria Chudnovsky , Shira Zerbib

An even-cycle decomposition of a graph G is a partition of E(G) into cycles of even length. Evidently, every Eulerian bipartite graph has an even-cycle decomposition. Seymour (1981) proved that every 2-connected loopless Eulerian planar…

Combinatorics · Mathematics 2018-05-16 Tony Huynh , Sang-il Oum , Maryam Verdian-Rizi

A simple topological graph is a topological graph in which any two edges have at most one common point, which is either their common endpoint or a proper crossing. More generally, in a k-simple topological graph, every pair of edges has at…

Computational Geometry · Computer Science 2016-02-22 Péter Hajnal , Alexander Igamberdiev , Günter Rote , André Schulz

We show that any finite $S \subset \mathbb{R}^d$ in general position has arbitrarily large supersets $T \supseteq S$ in general position with the property that $T$ contains no empty convex polygon, or hole, with $C_d$ points, where $C_d$ is…

Combinatorics · Mathematics 2022-11-11 David Conlon , Jeck Lim

An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of K4 (the complete graph on four vertices). A wheel is a graph that consists of a chordless cycle, together with a vertex that has at least three…

Combinatorics · Mathematics 2016-02-09 Martin Milanič , Irena Penev , Nicolas Trotignon

An n-dimensional simplex \Delta in \R^n is called empty lattice simplex if \Delta \cap\Z^n is exactly the set of vertices of \Delta . A theorem of G. K. White shows that if n=3 then any empty lattice simplex \Delta \subset\R^3 is isomorphic…

Combinatorics · Mathematics 2010-04-21 Victor Batyrev , Johannes Hofscheier

In a simple drawing of a graph, any two edges intersect in at most one point (either a common endpoint or a proper crossing). A simple drawing is generalized twisted if it fulfills certain rather specific constraints on how the edges are…

Computational Geometry · Computer Science 2025-08-25 Oswin Aichholzer , Alfredo García , Javier Tejel , Birgit Vogtenhuber , Alexandra Weinberger

We show a general result known as the Erdos_Sos Conjecture: if $E(G)>{1/2}(k-1)n$ where $G$ has order $n$ then $G$ contains every tree of order $k+1$ as a subgraph.

Discrete Mathematics · Computer Science 2010-08-02 Jesse Gilbert

Erd\H{o}s and Hajnal conjectured that, for every graph $H$, there exists a constant $c_H$ such that every graph $G$ on $n$ vertices which does not contain any induced copy of $H$ has a clique or a stable set of size $n^{c_H}$. We prove that…

Discrete Mathematics · Computer Science 2014-08-12 Marthe Bonamy , Nicolas Bousquet , Stéphan Thomassé

A set $P = H \cup \{w\}$ of $n+1$ points in general position in the plane is called a wheel set if all points but $w$ are extreme. We show that for the purpose of counting crossing-free geometric graphs on such a set $P$, it suffices to…

Computational Geometry · Computer Science 2019-09-02 Alexander Pilz , Emo Welzl , Manuel Wettstein

Every finite graph admits a \emph{simple (topological) drawing}, that is, a drawing where every pair of edges intersects in at most one point. However, in combination with other restrictions simple drawings do not universally exist. For…

Computational Geometry · Computer Science 2020-08-26 Michael Hoffmann , Chih-Hung Liu , Meghana M. Reddy , Csaba D. Tóth

A pseudo-edge graph of a convex polyhedron K is a 3-connected embedded graph in K whose vertices coincide with those of K, whose edges are distance minimizing geodesics, and whose faces are convex. We construct a convex polyhedron K in…

Metric Geometry · Mathematics 2019-03-01 Nicholas Barvinok , Mohammad Ghomi

We investigate the problem of drawing graphs in 2D and 3D such that their edges (or only their vertices) can be covered by few lines or planes. We insist on straight-line edges and crossing-free drawings. This problem has many connections…

Computational Geometry · Computer Science 2016-09-02 Steven Chaplick , Krzysztof Fleszar , Fabian Lipp , Alexander Ravsky , Oleg Verbitsky , Alexander Wolff

In a seminal work, K\"uhn, Osthus, Townsend, and Zhao used the hypergraph container method to determine the typical structure of oriented graphs and digraphs avoiding a fixed tournament or cycle. Their main tool, a container theorem for…

Combinatorics · Mathematics 2026-05-20 Meili Liang , Yue Guan , Ruiling Zheng , Jianxi Liu

Visibility graph of a polygon corresponds to its internal diagonals and boundary edges. For each vertex on the boundary of the polygon, we have a vertex in this graph and if two vertices of the polygon see each other there is an edge…

Computational Geometry · Computer Science 2024-02-22 Hossein Boomari , Mojtaba Ostovari , Alireza Zarei

We consider cell colorings of drawings of graphs in the plane. Given a multi-graph $G$ together with a drawing $\Gamma(G)$ in the plane with only finitely many crossings, we define a cell $k$-coloring of $\Gamma(G)$ to be a coloring of the…

Combinatorics · Mathematics 2022-08-30 Christoph Hertrich , Felix Schröder , Raphael Steiner

A set of n points in the plane which are not all collinear defines at least n distinct lines. Chen and Chv\'atal conjectured in 2008 that a similar result can be achieved in the broader context of finite metric spaces. This conjecture…

Discrete Mathematics · Computer Science 2020-05-20 Pierre Aboulker , Laurent Beaudou , Martín Matamala , José Zamora