English
Related papers

Related papers: On decidability of hyperbolicity

200 papers

We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the…

Discrete Mathematics · Computer Science 2020-11-10 Zdenek Dvorak , Daniel Kral , Robin Thomas

There is a famous problem in geometric graph theory to find the chromatic number of the unit distance graph on Euclidean space; it remains unsolved. A theorem of Erdos and De-Bruijn simplifies this problem to finding the maximum chromatic…

Combinatorics · Mathematics 2024-11-12 Sean Fiscus , Eric Myzelev , Hongyi Zhang

Grotzsch proved that every triangle-free planar graph is 3-colorable. Thomassen proved that every planar graph of girth at least five is 3-choosable. As for other surfaces, Thomassen proved that there are only finitely many 4-critical…

Combinatorics · Mathematics 2017-10-20 Luke Postle

For any fixed surface Sigma of genus g, we give an algorithm to decide whether a graph G of girth at least five embedded in Sigma is colorable from an assignment of lists of size three in time O(|V(G)|). Furthermore, we can allow a subgraph…

Data Structures and Algorithms · Computer Science 2012-10-30 Zdenek Dvorak , Ken-ichi Kawarabayashi

One method to obtain a proper vertex coloring of graphs using a reasonable number of colors is to start from any arbitrary proper coloring and then repeat some local re-coloring techniques to reduce the number of color classes. The Grundy…

Discrete Mathematics · Computer Science 2024-03-05 Manouchehr Zaker

We look at colourings of $r$-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge $E$ in an $r$-uniform hypergraph $H$ whose vertices are coloured is the partition of…

Combinatorics · Mathematics 2015-04-17 Yair Caro , Josef Lauri , Christina Zarb

Consider a graph $G$ drawn on a fixed surface, and assign to each vertex a list of colors of size at least two if $G$ is triangle-free and at least three otherwise. We prove that we can give each vertex a color from its list so that each…

Combinatorics · Mathematics 2021-11-16 Zdeněk Dvořák , Sergey Norin

The Colouring problem asks whether the vertices of a graph can be coloured with at most $k$ colours for a given integer $k$ in such a way that no two adjacent vertices receive the same colour. A graph is $(H_1,H_2)$-free if it has no…

Computational Complexity · Computer Science 2017-12-08 Konrad Dabrowski , Daniel Paulusma

A distinguishing colouring of a graph is a colouring of the vertex set such that no non-trivial automorphism preserves the colouring. Tucker conjectured that if every non-trivial automorphism of a locally finite graph moves infinitely many…

Combinatorics · Mathematics 2015-04-30 Florian Lehner , Rögnvaldur G. Möller

We settle a problem of Havel by showing that there exists an absolute constant d such that if G is a planar graph in which every two distinct triangles are at distance at least d, then G is 3-colorable. In fact, we prove a more general…

Combinatorics · Mathematics 2020-04-16 Zdenek Dvorak , Daniel Kral , Robin Thomas

We say that a vertex or edge colouring of a graph is distinguishing if the only automorphism that preserves this colouring is the identity. A (proper) distinguishing colouring is irreducible if there is no possibility of merging two…

Combinatorics · Mathematics 2026-02-18 Marcin Stawiski

Can we efficiently compute optimal solutions to instances of a hard problem from optimal solutions to neighboring (i.e., locally modified) instances? For example, can we efficiently compute an optimal coloring for a graph from optimal…

Computational Complexity · Computer Science 2019-06-26 Elisabet Burjons , Fabian Frei , Edith Hemaspaandra , Dennis Komm , David Wehner

Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if…

Combinatorics · Mathematics 2014-12-23 Oliver Knill

We show that for any closed surface of genus greater than one and for any finite weighted graph filling the surface, there exists a hyperbolic metric which realizes the least Dirichlet energy harmonic embedding of the graph among a fixed…

Differential Geometry · Mathematics 2020-07-27 Toru Kajigaya , Ryokichi Tanaka

Consider a graph drawn on a surface (for example, the plane minus a finite set of obstacle points), possibly with crossings. We provide an algorithm to decide whether such a drawing can be untangled, namely, if one can slide the vertices…

Computational Geometry · Computer Science 2025-07-18 Éric Colin de Verdière , Vincent Despré , Loïc Dubois

We introduce a new notion of resilience for constraint satisfaction problems, with the goal of more precisely determining the boundary between NP-hardness and the existence of efficient algorithms for resilient instances. In particular, we…

Computational Complexity · Computer Science 2014-06-13 Jeremy Kun , Lev Reyzin

We study arc graphs and curve graphs for surfaces of infinite topological type. First, we define an arc graph relative to a finite number of (isolated) punctures and prove that it is a connected, uniformly hyperbolic graph of infinite…

Geometric Topology · Mathematics 2015-11-11 Javier Aramayona , Ariadna Fossas , Hugo Parlier

A graph is $\ell$-choosable if, for any choice of lists of $\ell$ colors for each vertex, there is a list coloring, which is a coloring where each vertex receives a color from its list. We study complexity issues of choosability of graphs…

Discrete Mathematics · Computer Science 2017-08-14 Marc Demange , Dominique de Werra

We present and prove a topological characterization of geodesic laminations on hyperbolic surfaces of finite type.

Geometric Topology · Mathematics 2018-05-30 Luis-Miguel Lopez

Graph drawing research traditionally focuses on producing geometric embeddings of graphs satisfying various aesthetic constraints. After the geometric embedding is specified, there is an additional step that is often overlooked or ignored:…

Computational Geometry · Computer Science 2007-05-23 Michael B. Dillencourt , David Eppstein , Michael T. Goodrich