English
Related papers

Related papers: RAC-drawability is $\exists\mathbb{R}$-complete

200 papers

It is a longstanding conjecture that every simple drawing of a complete graph on $n \geq 3$ vertices contains a crossing-free Hamiltonian cycle. We strengthen this conjecture to "there exists a crossing-free Hamiltonian path between each…

Combinatorics · Mathematics 2024-03-05 Oswin Aichholzer , Joachim Orthaber , Birgit Vogtenhuber

IC-planar graphs are those graphs that admit a drawing where no two crossed edges share an end-vertex and each edge is crossed at most once. They are a proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph $G$ with $n$…

Computational Geometry · Computer Science 2016-07-19 Franz J. Brandenburg , Walter Didimo , William S. Evans , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani

A rectilinear drawing of a graph is a drawing of the graph in the plane in which the edges are drawn as straight-line segments. The rectilinear crossing number of a graph is the minimum number of pairs of edges that cross over all…

Combinatorics · Mathematics 2025-01-13 Ruy Fabila-Monroy , Rosna Paul , Jenifer Viafara-Chanchi , Alexandra Weinberger

NAC-colourings of graphs correspond to flexible quasi-injective realisations in $\mathbb {R} ^2$. A special class of NAC-colourings are those that arise from stable cuts. We give sharp thresholds for the random graph to have no stable cut…

Combinatorics · Mathematics 2025-10-08 Katie Clinch , John Haslegrave , Tony Huynh , Anthony Nixon

A drawing of a graph is 1-planar if each edge participates in at most one crossing and adjacent edges do not cross. Up to symmetry, each crossing in a 1-planar drawing belongs to one out of six possible crossing types, where a type…

Data Structures and Algorithms · Computer Science 2025-11-20 Sergio Cabello , Alexander Dobler , Gašper Fijavž , Thekla Hamm , Mirko H. Wagner

An abstract topological graph (briefly an AT-graph) is a pair $A=(G,\mathcal{X})$ where $G=(V,E)$ is a graph and $\mathcal{X}\subseteq {E \choose 2}$ is a set of pairs of its edges. The AT-graph $A$ is simply realizable if $G$ can be drawn…

Combinatorics · Mathematics 2020-06-16 Jan Kynčl

In this paper, we introduce and study "geometric simultaneous RAC drawing problems", i.e., a combination of problems on geometric RAC drawings and geometric simultaneous graph drawings. To the best of our knowledge, this is the first time…

Data Structures and Algorithms · Computer Science 2011-06-15 Evmorfia N. Argyriou , Michael A. Bekos , Michael Kaufmann , Antonios Symvonis

A graph is 1-planar if it can be drawn in the plane so that each edge is crossed at most once. However, there are 1-planar graphs which do not admit a straight-line 1-planar drawing. We show that every 1-planar graph has a straight-line…

Computational Geometry · Computer Science 2021-09-07 Franz J. Brandenburg

The crossing number of a graph $G$ is the least number of crossings over all possible drawings of $G$. We present a structural characterization of graphs with crossing number one.

Combinatorics · Mathematics 2021-08-24 André C. Silva , Alan Arroyo , R. Bruce Richter , Orlando Lee

We investigate properties which ensure that a given finite graph is the commuting graph of a group or semigroup. We show that all graphs on at least two vertices such that no vertex is adjacent to all other vertices is the commuting graph…

Group Theory · Mathematics 2016-05-18 Michael Giudici , Bojan Kuzma

It is shown that every $n$-vertex graph that admits a 2-bend RAC drawing in the plane, where the edges are polylines with two bends per edge and any pair of edges can only cross at a right angle, has at most $20n-24$ edges for $n\geq 3$.…

Discrete Mathematics · Computer Science 2024-11-05 Csaba D. Tóth

We define strict confluent drawing, a form of confluent drawing in which the existence of an edge is indicated by the presence of a smooth path through a system of arcs and junctions (without crossings), and in which such a path, if it…

Computational Geometry · Computer Science 2016-08-12 David Eppstein , Danny Holten , Maarten Löffler , Martin Nöllenburg , Bettina Speckmann , Kevin Verbeek

A space is `n-arc connected' (n-ac) if any family of no more than n-points are contained in an arc. For graphs the following are equivalent: (i) 7-ac, (ii) n-ac for all n, (iii) continuous injective image of a closed sub-interval of the…

General Topology · Mathematics 2012-09-26 Benjamin Espinoza , Paul Gartside , Ana Mamatelashvili

We exactly settle the complexity of graph realization, graph rigidity, and graph global rigidity as applied to three types of graphs: "globally noncrossing" graphs, which avoid crossings in all of their configurations; matchstick graphs,…

Computational Geometry · Computer Science 2025-10-21 Zachary Abel , Erik D. Demaine , Martin L. Demaine , Sarah Eisenstat , Jayson Lynch , Tao B. Schardl

A graph is IC-planar if it admits a drawing in the plane with at most one crossing per edge and such that two pairs of crossing edges share no common end vertex. IC-planarity specializes both NIC-planarity, which allows a pair of crossing…

Discrete Mathematics · Computer Science 2017-07-28 Christian Bachmaier , Franz J. Brandenburg , Kathrin Hanauer

One of the questions in Rigidity Theory is whether a realization of the vertices of a graph in the plane is flexible, namely, if it allows a continuous deformation preserving the edge lengths. A flexible realization of a connected graph in…

Computational Geometry · Computer Science 2025-12-11 Petr Laštovička , Jan Legerský

A thrackle is a drawing of a graph in which each pair of edges meets precisely once. Conway's Thrackle Conjecture asserts that a thrackle drawing of a graph on the plane cannot have more edges than vertices. We prove the Conjecture for…

Combinatorics · Mathematics 2023-06-22 Grace Misereh , Yuri Nikolayevsky

A drawing of a graph is {\em pseudolinear} if there is a pseudoline arrangement such that each pseudoline contains exactly one edge of the drawing. The {\em pseudolinear crossing number} of a graph $G$ is the minimum number of pairwise…

Combinatorics · Mathematics 2019-04-29 Cesar Hernandez-Velez , Jesus Leanos , Gelasio Salazar

An arc of a graph is an oriented edge and a 3-arc is a 4-tuple $(v,u,x,y)$ of vertices such that both $(v,u,x)$ and $(u,x,y)$ are paths of length two. The 3-arc graph of a graph $G$ is defined to have vertices the arcs of $G$ such that two…

Combinatorics · Mathematics 2014-01-03 Guangjun Xu , Sanming Zhou

Topological drawings are natural representations of graphs in the plane, where vertices are represented by points, and edges by curves connecting the points. Topological drawings of complete graphs and of complete bipartite graphs have been…

Computational Geometry · Computer Science 2017-02-10 Jean Cardinal , Stefan Felsner