English
Related papers

Related papers: Recognizing Subgraphs of Regular Tilings

200 papers

In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show…

Data Structures and Algorithms · Computer Science 2016-06-23 Daniel Neuen

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

We study unit ball graphs (and, more generally, so-called noisy uniform ball graphs) in $d$-dimensional hyperbolic space, which we denote by $\mathbb{H}^d$. Using a new separator theorem, we show that unit ball graphs in $\mathbb{H}^d$…

Computational Geometry · Computer Science 2019-10-01 Sándor Kisfaludi-Bak

We introduce a natural temporal analogue of Eulerian circuits and prove that, in contrast with the static case, it is NP-hard to determine whether a given temporal graph is temporally Eulerian even if strong restrictions are placed on the…

Computational Complexity · Computer Science 2021-11-18 Benjamin Merlin Bumpus , Kitty Meeks

A rectangle visibility representation (RVR) of a graph consists of an assignment of axis-aligned rectangles to vertices such that for every edge there exists a horizontal or vertical line of sight between the rectangles assigned to its…

Computational Geometry · Computer Science 2019-09-04 Therese Biedl , Giuseppe Liotta , Fabrizio Montecchiani

In recent years, there has been significant interest in characterizing the induced subgraph obstructions to bounded treewidth and pathwidth. While this has recently been resolved for pathwidth, the case of treewidth remains open, and prior…

Combinatorics · Mathematics 2025-07-31 Maria Chudnovsky , David Fischer , Sepehr Hajebi , Sophie Spirkl , Bartosz Walczak

As it follows from G\"odel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in…

Data Structures and Algorithms · Computer Science 2020-11-25 Roman Galay , Daniil Kalistratov

In this paper we give fast distributed graph algorithms for detecting and listing small subgraphs, and for computing or approximating the girth. Our algorithms improve upon the state of the art by polynomial factors, and for girth, we…

Data Structures and Algorithms · Computer Science 2021-01-20 Keren Censor-Hillel , Orr Fischer , Tzlil Gonen , François Le Gall , Dean Leitersdorf , Rotem Oshman

The topological Tverberg theorem states that for any prime power q and continuous map from a (d+1)(q-1)-simplex to R}^d, there are q disjoint faces F_i of the simplex whose images intersect. It is possible to put conditions on which pairs…

Combinatorics · Mathematics 2011-09-14 Alexander Engstrom

We show that one can define and effectively compute Stallings graphs for quasi-convex subgroups of automatic groups (\textit{e.g.} hyperbolic groups or right-angled Artin groups). These Stallings graphs are finite labeled graphs, which are…

Group Theory · Mathematics 2018-01-03 Olga Kharlampovich , Alexei Miasnikov , Pascal Weil

Let $G$ be a connected graph with the usual shortest-path metric $d$. The graph $G$ is $\delta$-hyperbolic provided for any vertices $x,y,u,v$ in it, the two larger of the three sums $d(u,v)+d(x,y),d(u,x)+d(v,y)$ and $d(u,y)+d(v,x)$ differ…

Combinatorics · Mathematics 2010-06-03 Yaokun Wu , Chengpeng Zhang

We give a series of new lower bounds on the minimum number of vertices required by a graph to contain every graph of a given family as induced subgraph. In particular, we show that this induced-universal graph for $n$-vertex planar graphs…

Combinatorics · Mathematics 2025-08-18 Cyril Gavoille , Amaury Jacques

Similar to Euclidean geometry, graph theory is a science that studies figures that consist of points and lines. The core of Euclidean geometry is the parallel postulate, which provides the basis of the geometric invariant that the sum of…

Discrete Mathematics · Computer Science 2014-01-09 Tony T. Lee , Qingqi Shi

A connected graph has a $(k,\ell)$-cover if each of its edges is contained in at least $\ell$ cliques of order $k$. Motivated by recent advances in extremal combinatorics and the literature on edge modification problems, we study the…

Data Structures and Algorithms · Computer Science 2025-11-12 Amirali Madani , Anil Maheshwari , Babak Miraftab , Bodhayan Roy

We study graph classes modeled by families of non-crossing (NC) connected sets. Two classic graph classes in this context are disk graphs and proper interval graphs. We focus on the cases when the sets are paths and the host is a tree…

Discrete Mathematics · Computer Science 2020-08-18 Steven Chaplick

A unit disk graph is the intersection graph of a set of disk of unit radius in the Euclidean plane. In 1998, Breu and Kirkpatrick showed that the recognition problem for unit disk graphs is NP-hard. Given $k$ horizontal and $m$ vertical…

Computational Geometry · Computer Science 2022-10-11 Deniz Ağaoğlu Çağırıcı , Onur Çağırıcı

Let $G$ be a simple topological graph and let $\Gamma$ be a polyline drawing of $G$. We say that $\Gamma$ \emph{partially preserves the topology} of $G$ if it has the same external boundary, the same rotation system, and the same set of…

Computational Geometry · Computer Science 2018-09-24 Emilio Di Giacomo , Peter Eades , Giuseppe Liotta , Henk Meijer , Fabrizio Montecchiani

We study the classic problem of subgraph counting, where we wish to determine the number of occurrences of a fixed pattern graph $H$ in an input graph $G$ of $n$ vertices. Our focus is on bounded degeneracy inputs, a rich family of graph…

Data Structures and Algorithms · Computer Science 2025-03-05 Daniel Paul-Pena , C. Seshadhri

Given a surface, the fine $k$-curve graph of the surface is a graph whose vertices are simple closed essential curves and whose edges connect curves that intersect in at most $k$ points. We note that the fine $k$-curve graph is hyperbolic…

Geometric Topology · Mathematics 2025-02-03 Roberta Shapiro

In this paper, we introduce tiled graphs as models of learning and maturing processes. We show how tiled graphs can combine graphs of learning spaces or antimatroids (partial hypercubes) and maturity models (total orders) to yield models of…

Discrete Mathematics · Computer Science 2024-03-05 Špela Kajzer , Alexander Dobler , Janja Jerebic , Martin Nöllenburg , Joachim Orthaber , Drago Bokal