English
Related papers

Related papers: Graph-Based Deterministic Polynomial Framwork for …

200 papers

This paper describes several new problems and ideas concerning algebraic geometry and complexity theory. It first uses the idea of coloring graphs with elements of finite fields. This procedure then shows that graph coloring problems can be…

Algebraic Geometry · Mathematics 2025-03-20 Paul Hriljac

A right [left] locally testable language S is a language with the property that for some non negative integer k two words u and v in alphabet S are equal in the semi group if (1) the prefix and suffix of the words of length k coincide, (2)…

Formal Languages and Automata Theory · Computer Science 2020-11-10 A. N. Trahtman

Temporal graphs are a special class of graphs for which a temporal component is added to edges, that is, each edge possesses a set of times at which it is available and can be traversed. Many classical problems on graphs can be translated…

Data Structures and Algorithms · Computer Science 2025-04-10 Lapo Cioni , Riccardo Dondi , Andrea Marino , Jason Schoeters , Ana Silva

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

The presented material is devoted to the equivalent conversion from the vertex graphs to the edge graphs. We suggest that the proved theorems solve the problem of the isomorphism of graphs, the problem of the graph's enumeration with the…

Computational Complexity · Computer Science 2012-10-22 Leonid Malinin , Natalia Malinina

NP complete problem is one of the most challenging issues. The question of whether all problems in NP are also in P is generally considered one of the most important open questions in mathematics and theoretical computer science as it has…

Computational Complexity · Computer Science 2015-05-04 Wenhong Tian , GuoZhong Li , Xinyang Wang , Qin Xiong , Yaqiu Jiang

In a graph, a matching cut is an edge cut that is a matching. Matching Cut is the problem of deciding whether or not a given graph has a matching cut, which is known to be NP-complete even when restricted to bipartite graphs. It has been…

Computational Complexity · Computer Science 2018-10-29 Hoang-Oanh Le , Van Bang Le

A dominating set of a graph $G=(V,E)$ is a subset of vertices $S\subseteq V$ such that every vertex $v\in V\setminus S$ has at least one neighbor in set $S$. The corresponding optimization problem is known to be NP-hard. The best known…

Discrete Mathematics · Computer Science 2024-12-23 Ernesto Parra Inza , José María Sigarreta Almira , Nodari Vakhania

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin

${ NP}$-complete problem "Hamiltonian cycle"\ for graph $G=(V,E)$ is extended to the "Hamiltonian Complement of the Graph"\ problem of finding the minimal cardinality set $H$ containing additional edges so that graph $G=(V,E\cup H)$ is…

Computational Complexity · Computer Science 2018-08-27 Anatoly Panyukov

The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this…

Computational Complexity · Computer Science 2010-08-06 Jin-Yi Cai , Xi Chen

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

For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is…

Combinatorics · Mathematics 2020-05-19 John C. Urschel , Jake Wellens

A star edge coloring of a graph $G$ is a proper edge coloring with no 2-colored path or cycle of length four. The star edge coloring problem is to find an edge coloring of a given graph $G$ with minimum number $k$ of colors such that $G$…

Combinatorics · Mathematics 2024-02-08 Yichen Wang , Mei Lu

In this paper we present the first deterministic polynomial time algorithm for determining the existence of a Hamiltonian cycle and finding a Hamiltonian cycle in general graphs. Our algorithm can also solve the Hamiltonian path problem in…

Data Structures and Algorithms · Computer Science 2022-07-12 Aimin Hou

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

Time-evolving or temporal graphs gain more and more popularity when studying the behavior of complex networks. In this context, the multistage view on computational problems is among the most natural frameworks. Roughly speaking, herein one…

Computational Complexity · Computer Science 2020-07-30 Klaus Heeger , Anne-Sophie Himmel , Frank Kammer , Rolf Niedermeier , Malte Renken , Andrej Sajenko

A \emph{resolving set} $R$ in a graph $G$ is a set of vertices such that every vertex of $G$ is uniquely identified by its distances to the vertices of $R$. Introduced in the 1970s, this concept has been since then extensively studied from…

Combinatorics · Mathematics 2024-12-05 Jan Bok , Antoine Dailly , Tuomo Lehtilä

Article presents the compatibility matrix method and illustrates it with the application to P vs NP problem. The method is a generalization of descriptive geometry: in the method, we draft problems and solve them utilizing the image…

Computational Complexity · Computer Science 2012-05-08 Sergey Gubin

A set $D\subseteq V$ of a graph $G=(V,E)$ is called a restrained dominating set of $G$ if every vertex not in $D$ is adjacent to a vertex in $D$ and to a vertex in $V \setminus D$. The \textsc{Minimum Restrained Domination} problem is to…

Discrete Mathematics · Computer Science 2016-06-09 Arti Pandey , B. S. Panda