Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 1905.06104

On a Certain NP-Complete Problem

Stepan Margaryan
View original source ↗Read source document ↗Export metadata ↓

Abstract

We intend to create new concepts aimed at finding necessary and sufficient conditions for Boolean satisfiability so that these conditions can be verified in polynomial time. Based on these conditions it will be possible to create an algorithm that determines in polynomial time whether a given Boolean formula represented in conjunctive normal form is satisfiable. The work will consist of three articles. This is the first of a planned series of these articles. In this article we introduce the concept of special decomposition of a set and the concept of special covering for a set under such a decomposition. We formulate the decision problem of existance of a special covering for a set under a special decompostition of this set. In order to determine the complexity class in which this problem is located, we study the relationship between the sat CNF problem and the problem of existence of a special covering for a set under a special decomposition of this set. The article proves that the decidability of the sat CNF problem is polynomially reduced to the problem of the existence of a special covering for a set. It is also proved that the problem of existence of a special covering for a set is polynomially reduced to the decidability of the sat CNF problem. Therefore, the mentioned problems are polynomially equivalent. And then, the problem of existence of a special covering for a set is an NP-complete problem. The conditions for the existence of special coverings for a set under special decompositions of this set will be study in the next articles.

Explore related subjects

cs.CC

Keep this discovery

BibTeXRIS

Stepan Margaryan. 2019-05-13. On a Certain NP-Complete Problem. https://arxiv.org/abs/1905.06104

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC↗
arXiv2026

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC↗