English
Related papers

Related papers: On P Versus NP

200 papers

We study the problem of counting the number of {\em isomorphic} copies of a given {\em template} graph, say $H$, in the input {\em base} graph, say $G$. In general, it is believed that polynomial time algorithms that solve this problem…

Data Structures and Algorithms · Computer Science 2015-03-03 Kashyap Dixit , Martin Fürer

We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a…

Combinatorics · Mathematics 2007-05-23 Volker Kaibel , Alexander Schwartz

This article presents a numerical illustration of a recently proposed strongly polynomial-time algorithm for the general linear programming (LP) problem. Each iteration of the proposed algorithm consists of two Gauss-Jordan pivoting…

Optimization and Control · Mathematics 2026-05-12 Samuel Awoniyi

Clique-width is a well-studied graph parameter owing to its use in understanding algorithmic tractability: if the clique-width of a graph class ${\cal G}$ is bounded by a constant, a wide range of problems that are NP-complete in general…

Combinatorics · Mathematics 2021-12-23 Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma

We continue the study initiated by Bonomo-Braberman and Gonzalez in 2020 on $r$-locally checkable problems. We propose a dynamic programming algorithm that takes as input a graph with an associated clique-width expression and solves a…

Discrete Mathematics · Computer Science 2022-06-29 Narmina Baghirova , Carolina Lucía Gonzalez , Bernard Ries , David Schindl

Let G be an undirected simple graph having n vertices and let f be a function defined to be f:V(G) -> {0,..., n-1}. An f-factor of G is a spanning subgraph H such that degree of a vertex v in H is f(v) for every vertex v in V(G). The…

Computational Complexity · Computer Science 2018-12-06 R. Ganian , N. S. Narayanaswamy , S. Ordyniak , C. S. Rahul , M. S. Ramanujan

In complexity theory, there exists a famous unsolved problem whether NP can be P or not. In this paper, we discuss this aspect in SAT (satisfiability) problem, and it is shown that the SAT can be solved in plynomial time by means of quantum…

Quantum Physics · Physics 2008-11-26 Masanori Ohya , Natsuki Masuda

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

This paper demonstrates the relativity of Computability and Nondeterministic; the nondeterministic is just Turing's undecidable Decision rather than the Nondeterministic Polynomial time. Based on analysis about TM, UM, DTM, NTM, Turing…

Computational Complexity · Computer Science 2015-01-09 Jian-Ming Zhou

We show that the following problems are NP-complete. 1. Can the vertex set of a graph be partitioned into two sets such that each set induces a perfect graph? 2. Is the difference between the chromatic number and clique number at most $1$…

Combinatorics · Mathematics 2017-05-18 Vaidy Sivaraman

Valiant introduced matchgate computation and holographic algorithms. A number of seemingly exponential time problems can be solved by this novel algorithmic paradigm in polynomial time. We show that, in a very strong sense, matchgate…

Computational Complexity · Computer Science 2010-08-05 Jin-Yi Cai , Pinyan Lu , Mingji Xia

This paper formalises the Canadian Traveller problem as a positional two-player game on graphs. We consider two variants depending on whether an edge is blocked. In the locally-informed variant, the traveller learns if an edge is blocked…

Data Structures and Algorithms · Computer Science 2024-07-24 Thomas Bellitto , Johanne Cohen , Bruno Escoffier , Minh-Hang Nguyen , Mikael Rabie

The MaxClique problem, finding the largest complete subgraph in an Erd{\"o}s-R{\'e}nyi $G(N,p)$ random graph in the large $N$ limit, is a well-known example of a simple problem for which finding any approximate solution within a factor of…

Data Structures and Algorithms · Computer Science 2023-05-26 Raffaele Marino , Scott Kirkpatrick

The Clique Problem has a reduction to the Maximum Flow Network Interdiction Problem. We review the reduction to evolve a polynomial time algorithm for the Clique Problem. A computer program in C language has been written to validate the…

Data Structures and Algorithms · Computer Science 2020-01-01 Pawan Tamta , B. P. Pande , H. S. Dhami

We study the computational complexity of fundamental problems over the $p$-adic numbers ${\mathbb Q}_p$ and the $p$-adic integers ${\mathbb Z}_p$. Gu\'epin, Haase, and Worrell proved that checking satisfiability of systems of linear…

Computational Complexity · Computer Science 2025-04-21 Arno Fehm , Manuel Bodirsky

We present three new complexity results for classes of planning problems with simple causal graphs. First, we describe a polynomial-time algorithm that uses macros to generate plans for the class 3S of planning problems with binary state…

Artificial Intelligence · Computer Science 2011-11-02 Omer Giménez , Anders Jonsson

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

Data Structures and Algorithms · Computer Science 2012-04-13 Vinícius G. P. de Sá , Guilherme D. da Fonseca , Raphael Machado , Celina M. H. de Figueiredo

In this paper, we prove that no deterministic algorithm can solve SAT in polynomial time in the number of boolean variables.

Computational Complexity · Computer Science 2022-03-23 Fabio Romano

In an article [3] published recently in this journal, it was shown that when k >= 3, the problem of deciding whether the distinguishing chromatic number of a graph is at most k is NP-hard. We consider the problem when k = 2. In regards to…

Computational Complexity · Computer Science 2009-07-06 Elaine M. Eschen , Chinh T. Hoang , R. Sritharan , Lorna Stewart

Bir\'{o} et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split…

Discrete Mathematics · Computer Science 2021-06-11 Steven Chaplick , Martin Töpfer , Jan Voborník , Peter Zeman
‹ Prev 1 3 4 5 6 7 10 Next ›