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].

scholarly journals SOLVABILITY OF SYSTEMS OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS

2007 ◽  
Vol 17 (04) ◽  
pp. 821-835 ◽  
Author(s):  
LÁSZLÓ ZÁDORI
Keyword(s):  
Identity Element ◽  
Finite Algebra ◽  
Algorithmic Complexity ◽  
Polynomial Equations ◽  
Finite Algebras ◽  
Dichotomy Theorem ◽  
Maltsev Condition ◽  
System Of Polynomial Equations ◽  
Systems Of Polynomial Equations

We study the algorithmic complexity of determining whether a system of polynomial equations over a finite algebra admits a solution. We prove that the problem has a dichotomy in the class of finite groupoids with an identity element. By developing the underlying idea further, we present a dichotomy theorem in the class of finite algebras that admit a non-trivial idempotent Maltsev condition. This is a substantial extension of most of the earlier results on the topic.

scholarly journals Solving equations over small unary algebras

2005 ◽  
Vol DMTCS Proceedings vol. AF,... (Proceedings) ◽  
Author(s):  
Przemyslaw Broniek
Keyword(s):  
Polynomial Time ◽  
Partial Characterization ◽  
Polynomial Equations ◽  
Solving Equations ◽  
International Audience ◽  
Np Complete ◽  
System Of Polynomial Equations

International audience We consider the problem of solving a system of polynomial equations over fixed algebra $A$ which we call MPolSat($A$). We restrict ourselves to unary algebras and give a partial characterization of complexity of MPolSat($A$). We isolate a preorder $P(A)$ to show that when $A$ has at most 3 elements then MPolSat($A$) is in $P$ when width of $P(A)$ is at most 2 and is NP-complete otherwise. We show also that if $P ≠ NP$ then the class of unary algebras solvable in polynomial time is not closed under homomorphic images.

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.

EFFICIENT APPROACH FOR WEB SERVICES SELECTION WITH MULTI-QoS CONSTRAINTS

2008 ◽  
Vol 17 (03) ◽  
pp. 349-371 ◽  
Author(s):  
TAO HUANG ◽  
LEI LI ◽  
JUN WEI
Keyword(s):  
Web Services ◽  
Polynomial Time ◽  
High Performance ◽  
Feasible Solution ◽  
Search Space ◽  
User Preference ◽  
Composite Service ◽  
Efficient Approach ◽  
Complete Problem ◽  
Np Complete

With the increasing number of Web Services with similar or identical functionality, the non-functional properties of a Web Service will become more and more important. Hence, a choice needs to be made to determine which services are to participate in a given composite service. In general, multi-QoS constrained Web Services composition, with or without optimization, is a NP-complete problem on computational complexity that cannot be exactly solved in polynomial time. A lot of heuristics and approximation algorithms with polynomial- and pseudo-polynomial-time complexities have been designed to deal with this problem. However, these approaches suffer from excessive computational complexities that cannot be used for service composition in runtime. In this paper, we propose a efficient approach for multi-QoS constrained Web Services selection. Firstly, a user preference model was proposed to collect the user's preference. And then, a correlation model of candidate services are established in order to reduce the search space. Based on these two model, a heuristic algorithm is then proposed to find a feasible solution for multi-QoS constrained Web Services selection with high performance and high precision. The experimental results show that the proposed approach can achieve the expecting goal.

scholarly journals Circuit Complexity Of Constraint Satisfaction Problems With Few Subpowers

2021 ◽  
Author(s):  
Amir El-Aooiti
Keyword(s):  
Polynomial Time ◽  
Constraint Satisfaction ◽  
Circuit Complexity ◽  
Constraint Satisfaction Problems ◽  
Solution Set ◽  
Alternative Method ◽  
Constraint Language ◽  
Np Complete

Although Constraint Satisfaction Problems (CSPs) are generally known to be NP-complete, placing restrictions on the constraint template can yield tractable subclasses. By studying the operations in the polymorphism of the constraint language, we can construct algorithms which solve our CSP in polynomial time. Previous results for CSPs with Mal’tsev [7] and generalized majority-minority operations [10] were improved to include CSPs with k-edge operations [15]. We present an alternative method to solve k-edge CSPs by utilizing Boolean trees placing the problem in the class NC2 . We do this by arranging the logical formulas describing the CSP into a Boolean tree where each leaf represents a constraint in the CSP. We take the conjunction of the constraint formulas yielding partial solutions at every step until we are left with a solution set at the root of the tree which satisfies all of the constraints.

scholarly journals Polynomial time solution to NP-complete problem Hamiltonian cycle (P=NP Proof)

2021 ◽  
Author(s):  
Yasaman KalantarMotamedi
Keyword(s):  
Computer Science ◽  
Polynomial Time ◽  
Hamiltonian Cycle ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Rigorous Proof ◽  
Complete Problem ◽  
Time Solution ◽  
Np Complete

P vs NP is one of the open and most important mathematics/computer science questions that has not been answered since it was raised in 1971 despite its importance and a quest for a solution since 2000. P vs NP is a class of problems that no polynomial time algorithm exists for any. If any of the problems in the class gets solved in polynomial time, all can be solved as the problems are translatable to each other. One of the famous problems of this kind is Hamiltonian cycle. Here we propose a polynomial time algorithm with rigorous proof that it always finds a solution if there exists one. It is expected that this solution would address all problems in the class and have a major impact in diverse fields including computer science, engineering, biology, and cryptography.

scholarly journals Acyclic colourings of graphs with bounded degree

2010 ◽  
Vol Vol. 12 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Mieczyslaw Borowiecki ◽  
Anna Fiedorowicz ◽  
Katarzyna Jesse-Jozefczyk ◽  
Elzbieta Sidorowicz
Keyword(s):  
Polynomial Time ◽  
Maximum Degree ◽  
Cubic Graph ◽  
Bounded Degree ◽  
Complete Problem ◽  
International Audience ◽  
Np Complete

Graphs and Algorithms International audience A k-colouring of a graph G is called acyclic if for every two distinct colours i and j, the subgraph induced in G by all the edges linking a vertex coloured with i and a vertex coloured with j is acyclic. In other words, there are no bichromatic alternating cycles. In 1999 Boiron et al. conjectured that a graph G with maximum degree at most 3 has an acyclic 2-colouring such that the set of vertices in each colour induces a subgraph with maximum degree at most 2. In this paper we prove this conjecture and show that such a colouring of a cubic graph can be determined in polynomial time. We also prove that it is an NP-complete problem to decide if a graph with maximum degree 4 has the above mentioned colouring.

scholarly journals Graphs with no induced wheel and no induced antiwheel

2015 ◽  
Vol 9 (2) ◽  
pp. 357-366 ◽  
Author(s):  
Frédéric Maffray
Keyword(s):  
Polynomial Time ◽  
Simple Structure ◽  
Complete Problem ◽  
Complementary Graph ◽  
Np Complete ◽  
Chordless Cycle

A wheel is a graph that consists of a chordless cycle of length at least 4 plus a vertex with at least three neighbors on the cycle. An antiwheel is the complementary graph of a wheel. It was shown recently that detecting induced wheels is an NP-complete problem. In contrast, it is shown here that graphs that contain no wheel and no antiwheel have a very simple structure and consequently can be recognized in polynomial time.

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.

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.

Sign in / Sign up

Export Citation Format

Share Document