English
Related papers

Related papers: On P Versus NP

200 papers

For a class $\mathcal{G}$ of graphs, the objective of \textsc{Subgraph Complementation to} $\mathcal{G}$ is to find whether there exists a subset $S$ of vertices of the input graph $G$ such that modifying $G$ by complementing the subgraph…

Data Structures and Algorithms · Computer Science 2023-03-29 Dhanyamol Antony , Sagartanu Pal , R. B. Sandeep

This paper deals with the problem of finding, for a given graph and a given natural number k, a subgraph of k nodes with a maximum number of edges. This problem is known as the k-cluster problem and it is NP-hard on general graphs as well…

Data Structures and Algorithms · Computer Science 2011-11-09 George B. Mertzios

We extend the concept of polynomial time approximation algorithms to apply to problems for hierarchically specified graphs, many of which are PSPACE-complete. Assuming P != PSPACE, the existence or nonexistence of such efficient…

Combinatorics · Mathematics 2016-09-06 Madhav V. Marathe , Harry B. Hunt , S. S. Ravi

We investigate the parameterized complexity of several problems formalizing cluster identification in graphs. In other words we ask whether a graph contains a large enough and sufficiently connected subgraph. We study here three relaxations…

Computational Complexity · Computer Science 2023-03-23 Ambroise Baril , Antoine Castillon , Nacim Oijid

In this paper, we study the complexity of the chip-firing reachability problem. We show that for Eulerian digraphs, the reachability problem can be decided in strongly polynomial time, even if the digraph has multiple edges. We also show a…

Combinatorics · Mathematics 2017-05-23 Bálint Hujter , Viktor Kiss , Lilla Tóthmérész

We consider the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent open problem in NP-completeness. We present a number of new polynomial…

Data Structures and Algorithms · Computer Science 2007-05-23 Thomas Eiter , Georg Gottlob , Kazuhisa Makino

In the EDGE CLIQUE COVER (ECC) problem, given a graph G and an integer k, we ask whether the edges of G can be covered with k complete subgraphs of G or, equivalently, whether G admits an intersection model on k-element universe. Gramm et…

Data Structures and Algorithms · Computer Science 2012-09-27 Marek Cygan , Marcin Pilipczuk , Michał Pilipczuk

We investigate the computational complexity of the graph primality testing problem with respect to the direct product (also known as Kronecker, cardinal or tensor product). In [1] Imrich proves that both primality testing and a unique prime…

Computational Complexity · Computer Science 2025-11-06 Luca Calderoni , Luciano Margara , Moreno Marzolla

In this note, we show that the Traveling Salesman Problem cannot be solved in polynomial-time on a classical computer.

Computational Complexity · Computer Science 2012-02-02 Craig Alan Feinstein

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

Computational Geometry · Computer Science 2024-03-08 Benjamin A. Burton , Alexander He

Let ${\mathbf P}$ be the class of polynomial-time decision problems and $\mathbf{NP}$ be the class of nondeterministic polynomial time decision problems. We prove the following: Theorem 3. The classes ${\mathbf P}$ and $\mathbf{NP}$ are…

General Mathematics · Mathematics 2024-08-23 Petar P. Petrov

A Boolean constraint satisfaction instance is a conjunction of constraint applications, where the allowed constraints are drawn from a fixed set B of Boolean functions. We consider the problem of determining whether two given constraint…

Computational Complexity · Computer Science 2007-05-23 E. Boehler , E. Hemaspaandra , Steffen Reith , Heribert Vollmer

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

Recent work has shown that not only decision trees (DTs) may not be interpretable but also proposed a polynomial-time algorithm for computing one PI-explanation of a DT. This paper shows that for a wide range of classifiers, globally…

Artificial Intelligence · Computer Science 2021-06-24 Xuanxiang Huang , Yacine Izza , Alexey Ignatiev , Joao Marques-Silva

Jaeger, Vertigan, and Welsh [15] proved a dichotomy for the complexity of evaluating the Tutte polynomial at fixed points: The evaluation is #P-hard almost everywhere, and the remaining points admit polynomial-time algorithms. Dell,…

Computational Complexity · Computer Science 2016-06-22 Cornelius Brand , Holger Dell , Marc Roth

Circuit lower bounds are important since it is believed that a super-polynomial circuit lower bound for a problem in NP implies that P!=NP. Razborov has proved superpolynomial lower bounds for monotone circuits by using method of…

Computational Complexity · Computer Science 2020-06-29 Boyu Sima

This paper proves that there does not exist a polynomial-time algorithm to the the subset sum problem. As this problem is in NP, the result implies that the class P of problems admitting polynomial-time algorithms does not equal the class…

General Mathematics · Mathematics 2020-11-23 Jorma Jormakka

This paper shows that calculating $k$-CLIQUE on $n$ vertex graphs, requires the AND of at least $2^{n/4k}$ monotone, constant-depth, and polynomial-sized circuits, for sufficiently large values of $k$. The proof relies on a new, monotone,…

Computational Complexity · Computer Science 2024-01-24 Levente Bodnar

Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The…

Computational Complexity · Computer Science 2020-10-05 Dmitriy Zhuk

In [20] Goldwasser, Grossman and Holden introduced pseudo-deterministic interactive proofs for search problems where a powerful prover can convince a probabilistic polynomial time verifier that a solution to a search problem is canonical.…

Computational Complexity · Computer Science 2020-04-28 Michel Goemans , Shafi Goldwasser , Dhiraj Holden