TERM EQUATION SATISFIABILITY OVER FINITE ALGEBRAS

2010 ◽  
Vol 20 (08) ◽  
pp. 1001-1020 ◽  
Author(s):  
TOMASZ A. GORAZD ◽  
JACEK KRZACZKOWSKI
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Finite Algebra ◽  
Satisfiability Problem ◽  
Finite Algebras ◽  
Maximal Clones ◽  
Polynomial Time Algorithms ◽  
Np Complete

We study the computational complexity of the satisfiability problem of an equation between terms over a finite algebra (TERM-SAT). We describe many classes of algebras where the complexity of TERM-SAT is determined by the clone of term operations. We classify the complexity for algebras generating maximal clones. Using this classification we describe many of algebras where TERM-SAT is NP-complete. We classify the situation for clones which are generated by an order or a permutation relation. We introduce the concept of semiaffine algebras and show polynomial-time algorithms which solve the satisfiability problem for them.

scholarly journals TAYLOR TERMS, CONSTRAINT SATISFACTION AND THE COMPLEXITY OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS

2006 ◽  
Vol 16 (03) ◽  
pp. 563-581 ◽  
Author(s):  
BENOIT LAROSE ◽  
LÁSZLÓ ZÁDORI
Keyword(s):  
Polynomial Time ◽  
Constraint Satisfaction ◽  
Finite Algebra ◽  
Algorithmic Complexity ◽  
Polynomial Equations ◽  
Finite Algebras ◽  
Complete Problem ◽  
Np Complete ◽  
System Of Polynomial Equations

We study the algorithmic complexity of determining whether a system of polynomial equations over a finite algebra admits a solution. We characterize, within various families of algebras, which of them give rise to an NP-complete problem and which yield a problem solvable in polynomial time. In particular, we prove a dichotomy result which encompasses the cases of lattices, rings, modules, quasigroups and also generalizes a result of Goldmann and Russell for groups [15].

TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS

2000 ◽  
Vol 11 (01) ◽  
pp. 29-63
Author(s):  
MARTIN MÜLLER ◽  
SUSUMU NISHIMURA
Keyword(s):  
Polynomial Time ◽  
Type System ◽  
Type Inference ◽  
Satisfiability Problem ◽  
Recent Proposal ◽  
Inference Problem ◽  
Np Complete ◽  
Feature Constraints ◽  
Feature Trees ◽  
Selection Constraint

We present a constraint system, OF, of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constraint x <y> z, "by first-class feature tree" y, which is in contrast to the standard selection constraint x[f]y, "by fixed feature" f. We investigate the satisfiability problem of OF and show that it can be solved in polynomial time, and even in quadratic time if the number of features is bounded. We compare OF with Treinen's system EF of feature constraints with first-class features, which has an NP-complete satisfiability problem. This comparison yields that the satisfiability problem for OF with negation is NP-hard. Further we obtain NP-completeness, for a specific subclass of OF with negation that is useful for a related type inference problem. Based on OF we give a simple account of type inference for first-class messages in the spirit of Nishimura's recent proposal, and we show that it has polynomial time complexity: We also highlight an immediate extension of this type system that appears to be desirable but makes type inference NP-complete.

scholarly journals On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics

2008 ◽  
Vol 14 (1) ◽  
pp. 1-28 ◽  
Author(s):  
Ian Pratt-Hartmann
Keyword(s):  
Computational Complexity ◽  
Related Problem ◽  
Satisfiability Problem ◽  
Propositional Satisfiability ◽  
Proof Systems ◽  
Transitive Verbs ◽  
Np Complete

AbstractThe numerically definite syllogistic is the fragment of English obtained by extending the language of the classical syllogism with numerical quantifiers. The numerically definite relational syllogistic is the fragment of English obtained by extending the numerically definite syllogistic with predicates involving transitive verbs. This paper investigates the computational complexity of the satisfiability problem for these fragments. We show that the satisfiability problem (= finite satisfiability problem) for the numerically definite syllogistic is strongly NP-complete, and that the satisfiability problem (= finite satisfiability problem) for the numerically definite relational syllogistic is NEXPTIME-complete, but perhaps not strongly so. We discuss the related problem of probabilistic (propositional) satisfiability, and thereby demonstrate the incompleteness of some proof-systems that have been proposed for the numerically definite syllogistic.

scholarly journals The Complexity of Checking Consistency of Pedigree Information and Related Problems

2003 ◽  
Vol 10 (17) ◽  
Author(s):  
Luca Aceto ◽  
Jens Alsted Hansen ◽  
Anna Ingólfsdóttir ◽  
Jacob Johnsen ◽  
John Knudsen
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Input Data ◽  
Single Gene ◽  
Pedigree Information ◽  
Consistency Checking ◽  
Computational Problem ◽  
Np Complete ◽  
Mendelian Laws

Consistency checking is a fundamental computational problem in genetics. Given a pedigree and information on the genotypes (of some) of the individuals in it, the aim of consistency checking is to determine whether these data are consistent with the classic Mendelian laws of inheritance. This problem arose originally from the geneticists' need to filter their input data from erroneous information, and is well motivated from both a biological and a sociological viewpoint. This paper shows that consistency checking is NP-complete, even with focus on a single gene and in the presence of three alleles. Several other results on the computational complexity of problems from genetics that are related to consistency checking are also offered. In particular, it is shown that checking the consistency of pedigrees over two alleles, and of pedigrees without loops, can be done in polynomial time.

scholarly journals Polynomial Time Algorithms for Variants of Graph Matching on Partial k-Trees

2016 ◽  
Vol 41 (3) ◽  
pp. 163-181
Author(s):  
Takayuki Nagoya
Keyword(s):  
Polynomial Time ◽  
Graph Matching ◽  
Graph Isomorphism ◽  
Exact Algorithms ◽  
Polynomial Time Algorithms ◽  
Np Complete

AbstractIn this paper, we deal with two variants of graph matching, the graph isomorphism with restriction and the prefix set of graph isomorphism. The former problem is known to be NP-complete, whereas the latter problem is known to be GI-complete. We propose polynomial time exact algorithms for these problems on partial k-trees.

scholarly journals Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs

2021 ◽  
Author(s):  
Thomas Bläsius ◽  
Philipp Fischbeck ◽  
Tobias Friedrich ◽  
Maximilian Katzmann
Keyword(s):  
Computational Complexity ◽  
Structural Properties ◽  
Random Graphs ◽  
Polynomial Time ◽  
Real World ◽  
Degree Distribution ◽  
High Probability ◽  
Vertex Cover ◽  
Optimal Solution ◽  
Np Complete

AbstractThe computational complexity of the VertexCover problem has been studied extensively. Most notably, it is NP-complete to find an optimal solution and typically NP-hard to find an approximation with reasonable factors. In contrast, recent experiments suggest that on many real-world networks the run time to solve VertexCover is way smaller than even the best known FPT-approaches can explain. We link these observations to two properties that are observed in many real-world networks, namely a heterogeneous degree distribution and high clustering. To formalize these properties and explain the observed behavior, we analyze how a branch-and-reduce algorithm performs on hyperbolic random graphs, which have become increasingly popular for modeling real-world networks. In fact, we are able to show that the VertexCover problem on hyperbolic random graphs can be solved in polynomial time, with high probability. The proof relies on interesting structural properties of hyperbolic random graphs. Since these predictions of the model are interesting in their own right, we conducted experiments on real-world networks showing that these properties are also observed in practice.

scholarly journals 3-Colorability of Pseudo-Triangulations

2015 ◽  
Vol 25 (04) ◽  
pp. 283-298
Author(s):  
Oswin Aichholzer ◽  
Franz Aurenhammer ◽  
Thomas Hackl ◽  
Clemens Huemer ◽  
Alexander Pilz ◽  
...  
Keyword(s):  
Polynomial Time ◽  
Linear Time ◽  
Plane Graphs ◽  
Np Completeness ◽  
Complete Problem ◽  
Polynomial Time Algorithms ◽  
Complexity Results ◽  
The Family ◽  
General Plane ◽  
Np Complete

Deciding 3-colorability for general plane graphs is known to be an NP-complete problem. However, for certain families of graphs, like triangulations, polynomial time algorithms exist. We consider the family of pseudo-triangulations, which are a generalization of triangulations, and prove NP-completeness for this class. This result also holds if we bound their face degree to four, or exclusively consider pointed pseudo-triangulations with maximum face degree five. In contrast to these completeness results, we show that pointed pseudo-triangulations with maximum face degree four are always 3-colorable. An according 3-coloring can be found in linear time. Some complexity results relating to the rank of pseudo-triangulations are also given.

Rigorous Estimation of Computational Complexity for OMV SAT Algorithm

2008 ◽  
Vol 15 (02) ◽  
pp. 173-187 ◽  
Author(s):  
Satoshi Iriyama ◽  
Masanori Ohya
Keyword(s):  
Computational Complexity ◽  
Boolean Function ◽  
Polynomial Time ◽  
Quantum Algorithm ◽  
Sat Problem ◽  
Amplification Process ◽  
Np Complete

For SAT problem, which is known to be NP-complete, Ohya and Masuda found a quantum algorithm calculating a given boolean function for all truth assignments. They showed that we can decide whether this boolean function is satisfiable or not in polynomial time if a certain superposed state can be detected physically, which turns out to be related to an amplification process. Then Ohya and Volovich realized this amplification by means of chaos dynamics [4, 5]. In this paper, we study the complexity of the SAT algorithm by rigorously counting the steps of OMV algorithm discussed previously in [1, 2, 4, 5].

scholarly journals Some algorithmic results for finding compatible spanning circuits in edge-colored graphs

2020 ◽  
Vol 40 (4) ◽  
pp. 1008-1019
Author(s):  
Zhiwei Guo ◽  
Hajo Broersma ◽  
Ruonan Li ◽  
Shenggui Zhang
Keyword(s):  
Polynomial Time ◽  
Sufficient Conditions ◽  
Complete Graphs ◽  
Hamilton Cycles ◽  
Colored Graph ◽  
Colored Graphs ◽  
Complete Problem ◽  
Polynomial Time Algorithms ◽  
Np Complete ◽  
Euler Tours

Abstract A compatible spanning circuit in a (not necessarily properly) edge-colored graph G is a closed trail containing all vertices of G in which any two consecutively traversed edges have distinct colors. Sufficient conditions for the existence of extremal compatible spanning circuits (i.e., compatible Hamilton cycles and Euler tours), and polynomial-time algorithms for finding compatible Euler tours have been considered in previous literature. More recently, sufficient conditions for the existence of more general compatible spanning circuits in specific edge-colored graphs have been established. In this paper, we consider the existence of (more general) compatible spanning circuits from an algorithmic perspective. We first show that determining whether an edge-colored connected graph contains a compatible spanning circuit is an NP-complete problem. Next, we describe two polynomial-time algorithms for finding compatible spanning circuits in edge-colored complete graphs. These results in some sense give partial support to a conjecture on the existence of compatible Hamilton cycles in edge-colored complete graphs due to Bollobás and Erdős from the 1970s.

EDGE-DELETION GRAPH PROBLEMS WITH FIRST-ORDER EXPRESSIBLE SUBGRAPH PROPERTIES

1991 ◽  
Vol 02 (02) ◽  
pp. 83-99
Author(s):  
V. ARVIND ◽  
S. BISWAS
Keyword(s):  
Normal Form ◽  
Polynomial Time ◽  
Edge Deletion ◽  
Present Evidence ◽  
First Order ◽  
Graph Problems ◽  
Polynomial Time Algorithms ◽  
Complete Problems ◽  
Np Complete ◽  
New Perspective

In this paper edge-deletion problems are studied with a new perspective. In general an edge-deletion problem is of the form: Given a graph G, does it have a subgraph H obtained by deleting zero or more edges such that H satisfies a polynomial-time verifiable property? This paper restricts attention to first-order expressible properties. If the property is expressed by π, which in prenex normal form is Q(Φ) where Q is the quantifier-prefix, then we prove results on the quantifier structure that characterize the complexity of the edge-deletion problem. In particular we give polynomial-time algorithms for problems for which Q is ‘simple’ and in other cases we encode certain NP-complete problems as edge-deletion problems, essentially using the quantifier structure of π. We also present evidence that Q alone cannot capture the complexity of the edge-deletion problem.

Sign in / Sign up

Export Citation Format

Share Document