English
Related papers

Related papers: The Complexity of Color-constrained Paths in Semic…

200 papers

The NP-complete problems Colouring and k-Colouring $(k\geq 3$) are well studied on $H$-free graphs, i.e., graphs that do not contain some fixed graph $H$ as an induced subgraph. We research to what extent the known polynomial-time…

Data Structures and Algorithms · Computer Science 2025-12-30 Daniël Paulusma , Johannes Rauch , Erik Jan van Leeuwen

We determine the asymptotics of the largest cardinality of a set of Hamilton paths in the complete graph with vertex set [n] under the condition that for any two of the paths in the family there is a subpath of length k entirely contained…

Combinatorics · Mathematics 2017-07-19 Janos Korner , Emanuela Fachini

We provide a simple algorithm for constructing Hamiltonian graph cycles (visiting every vertex exactly once) on a set of arbitrarily large finite subgraphs of aperiodic two-dimensional Ammann-Beenker (AB) tilings. Using this result, and the…

Statistical Mechanics · Physics 2024-07-11 Shobhna Singh , Jerome Lloyd , Felix Flicker

This is the second paper in a series of two. The goal of the series is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex…

Combinatorics · Mathematics 2018-02-09 Maria Chudnovsky , Sophie Spirkl , Mingxian Zhong

We prove that path puzzles with complete row and column information--or equivalently, 2D orthogonal discrete tomography with Hamiltonicity constraint--are strongly NP-complete, ASP-complete, and #P-complete. Along the way, we newly…

Computational Geometry · Computer Science 2019-02-12 Jeffrey Bosboom , Erik D. Demaine , Martin L. Demaine , Adam Hesterberg , Roderick Kimball , Justin Kopinsky

Given a graph, the shortest-path problem requires finding a sequence of edges with minimum cumulative length that connects a source vertex to a target vertex. We consider a variant of this classical problem in which the position of each…

Discrete Mathematics · Computer Science 2024-05-10 Tobia Marcucci , Jack Umenberger , Pablo A. Parrilo , Russ Tedrake

Answering a question raised by Dudek and Pra\l{}at, we show that if $pn\rightarrow \infty$, w.h.p.,~whenever $G=G(n,p)$ is $2$-coloured, there exists a monochromatic path of length $n(2/3+o(1))$. This result is optimal in the sense that…

Combinatorics · Mathematics 2019-02-20 Shoham Letzter

We say a graph has property $\mathcal{P}_{g,p}$ when it is an induced subgraph of the curve graph of a surface of genus $g$ with $p$ punctures. Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to…

Geometric Topology · Mathematics 2023-11-03 Edgar A. Bering , Gabriel Conant , Jonah Gaster

A coloring of a complete bipartite graph is shuffle-preserved if it is the case that assigning a color $c$ to edges $(u, v)$ and $(u', v')$ enforces the same color assignment for edges $(u, v')$ and $(u',v)$. (In words, the induced subgraph…

Discrete Mathematics · Computer Science 2007-05-23 Ming-Yang Chen , Hsueh-I. Lu , Hsu-Chun Yen

We investigate the intersection problem for finite semigroups, which asks for a given set of regular languages, represented by recognizing morphisms to finite semigroups, whether there exists a word contained in their intersection. We…

Formal Languages and Automata Theory · Computer Science 2018-06-14 Lukas Fleischer

A graph is chordal if every cycle of length at least four contains a chord, that is, an edge connecting two nonconsecutive vertices of the cycle. Several classical applications in sparse linear systems, database management, computer vision,…

Data Structures and Algorithms · Computer Science 2016-12-07 David Bergman , Carlos H. Cardonha , Andre A. Cire , Arvind U. Raghunathan

For a fixed digraph $\mathbb H$, the $\mathbb H$-coloring problem is the problem of deciding whether a given input digraph $\mathbb G$ admits a homomorphism to $\mathbb H$. The CSP dichotomy conjecture of Feder and Vardi is equivalent to…

Combinatorics · Mathematics 2017-10-03 Jakub Bulín

The problem of finding paths in temporal graphs has been recently considered due to its many applications. In this paper we consider a variant of the problem that, given a vertex-colored temporal graph, asks for a path whose vertices have…

Data Structures and Algorithms · Computer Science 2021-09-06 Riccardo Dondi , Mohammad Mehdi Hosseinzadeh

A connected component of a vertex-coloured graph is said to be colourful if all its vertices have different colours. By extension, a graph is colourful if all its connected components are colourful. Given a vertex-coloured graph $G$ and an…

Discrete Mathematics · Computer Science 2025-01-15 Janka Chlebíková , Clément Dallard

The Hamiltonian cycle problem in digraph is mapped into a matching cover bipartite graph. Based on this mapping, it is proved that determining existence a Hamiltonian cycle in graph is $O(n^3)$.

Data Structures and Algorithms · Computer Science 2007-06-20 Guohun Zhu

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

Proximity graphs have been studied for several decades, motivated by applications in computational geometry, geography, data mining, and many other fields. However, the computational complexity of classic graph problems on proximity graphs…

Computational Complexity · Computer Science 2021-07-12 Pascal Kunz , Till Fluschnik , Rolf Niedermeier , Malte Renken

Let $K_{\mathbb{N}}$ be the complete symmetric digraph on the positive integers. Answering a question of DeBiasio and McKenney, we construct a $2$-colouring of the edges of $K_{\mathbb{N}}$ in which every monochromatic path has density~$0$.…

Combinatorics · Mathematics 2018-05-07 Carl Bürger , Louis DeBiasio , Hannah Guggiari , Max Pitz

In this paper we define a construct called a time-graph. A complete time-graph of order n is the cartesian product of a complete graph with n vertices and a linear graph with n vertices. A time-graph of order n is given by a subset of the…

Computational Complexity · Computer Science 2008-12-31 Malay Dutta

A pendant vertex is one of degree one and an isolated vertex has degree zero. A neighborhood star-free (NSF for short) graph is one in which every vertex is contained in a triangle except pendant vertices and isolated vertices. This class…

Discrete Mathematics · Computer Science 2024-04-09 Vinicius L. do Forte , Min Chih Lin , Abilio Lucena , Nelson Maculan , Veronica A. Moyano , Jayme L. Szwarcfiter