English
Related papers

Related papers: A polynomial 3-colorability algorithm with automat…

200 papers

Although NP-Complete problems are the most difficult decisional problems, it is possible to discover in them polynomial (or easy) observables. We study the Graph Partitioning Problem showing that it is possible to recognize in it two…

Condensed Matter · Physics 2009-11-07 M. A. Marchisio

Drawings of non-planar graphs always result in edge crossings. When there are many edges crossing at small angles, it is often difficult to follow these edges, because of the multiple visual paths resulted from the crossings that slow down…

Discrete Mathematics · Computer Science 2014-09-02 Yifan Hu , Lei Shi

We show that computing the lexicographically first four-coloring for planar graphs is P^{NP}-hard. This result optimally improves upon a result of Khuller and Vazirani who prove this problem to be NP-hard, and conclude that it is not…

Computational Complexity · Computer Science 2007-05-23 Andre Grosse , Joerg Rothe , Gerd Wechsung

Given a dynamic graph subject to insertions and deletions of edges, a natural question is whether the graph presently admits a planar embedding. We give a deterministic fully-dynamic algorithm for general graphs, running in amortized…

Data Structures and Algorithms · Computer Science 2019-12-11 Jacob Holm , Eva Rotenberg

In this paper, we settle the open complexity status of interval constrained coloring with a fixed number of colors. We prove that the problem is already NP-complete if the number of different colors is 3. Previously, it has only been known…

Discrete Mathematics · Computer Science 2009-12-17 Jaroslaw Byrka , Andreas Karrenbauer , Laura Sanita

A 3-SAT problem is called positive and planar if all the literals are positive and the clause-variable incidence graph (i.e., SAT graph) is planar. The NAE 3-SAT and 1-in-3-SAT are two variants of 3-SAT that remain NP-complete even when…

Computational Complexity · Computer Science 2021-08-31 Md. Manzurul Hasan , Debajyoti Mondal , Md. Saidur Rahman

It is well-known that the graph isomorphism problem can be posed as an equivalent problem of determining whether an auxiliary graph structure contains a clique of specific order. However, the algorithms that have been developed so far for…

Data Structures and Algorithms · Computer Science 2019-10-29 Giannis Nikolentzos , Michalis Vazirgiannis

We restate Thomassen's theorem of 3-extendability, an extension of the famous planar 5-choosability theorem, in terms of graph polynomials. This yields an Alon--Tarsi equivalent of 3-extendability.

Combinatorics · Mathematics 2023-11-23 Przemysław Gordinowicz , Paweł Twardowski

As a partial answer to a question of Rao, a deterministic and customizable efficient algorithm is presented to test whether an arbitrary graphical degree sequence has a bipartite realization. The algorithm can be configured to run in…

Combinatorics · Mathematics 2019-08-20 Kai Wang

A conflict-free k-coloring of a graph assigns one of k different colors to some of the vertices such that, for every vertex v, there is a color that is assigned to exactly one vertex among v and v's neighbors. Such colorings have…

We consider the problem of coloring k-colorable graphs with the fewest possible colors. We present a randomized polynomial time algorithm that colors a 3-colorable graph on $n$ vertices with min O(Delta^{1/3} log^{1/2} Delta log n),…

Data Structures and Algorithms · Computer Science 2007-05-23 David Karger , Rajeev Motwani , Madhu Sudan

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

A simpler proof of the four color theorem is presented. The proof was reached using a series of equivalent theorems. First the maximum number of edges of a planar graph is obatined as well as the minimum number of edges for a complete…

General Mathematics · Mathematics 2007-05-23 Fayez A. Alhargan

We present subquadratic algorithms, in the algebraic decision-tree model of computation, for detecting whether there exists a triple of points, belonging to three respective sets $A$, $B$, and $C$ of points in the plane, that satisfy a…

Computational Geometry · Computer Science 2020-09-30 Boris Aronov , Esther Ezra , Micha Sharir

We consider the red-blue-yellow matching problem: given two natural numbers $k_R$, $k_B$ and a graph $G$ whose edges are colored red, blue or yellow, the goal is to find a matching of $G$ that contains exactly $k_R$ red edges and exactly…

Combinatorics · Mathematics 2026-05-27 Manuel Aprile , Marco Di Summa

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two…

Computational Complexity · Computer Science 2022-10-18 Reiner Czerwinski

An injective $k$-edge-coloring of a graph $G$ is an assignment of colors, i.e. integers in $\{1, \ldots , k\}$, to the edges of $G$ such that any two edges each incident with one distinct endpoint of a third edge, receive distinct colors.…

Data Structures and Algorithms · Computer Science 2021-04-19 Florent Foucaud , Hervé Hocquard , Dimitri Lajou

We obtain the following new coloring results: * A 3-colorable graph on $n$ vertices with maximum degree~$\Delta$ can be colored, in polynomial time, using $O((\Delta \log\Delta)^{1/3} \cdot\log{n})$ colors. This slightly improves an…

Data Structures and Algorithms · Computer Science 2016-08-31 Eran Halperin , Ram Nathaniel , Uri Zwick

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

One of the driving problems in the CSP area is the Dichotomy Conjecture, formulated in 1993 by Feder and Vardi [STOC'93], stating that for any fixed relational structure G the Constraint Satisfaction Problem CSP(G) is either NP--complete or…

Data Structures and Algorithms · Computer Science 2010-11-13 Marek Cygan , Marcin Pilipczuk , Michal Pilipczuk , Jakub Onufry Wojtaszczyk