scholarly journals Knuth-Bendix Constraint Solving Is NP-Complete

2001 ◽  
pp. 979-992 ◽  
Author(s):  
Konstantin Korovin ◽  
Andrei Voronkov
Keyword(s):  
Constraint Solving ◽  
Np Complete

scholarly journals Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

2021 ◽  
Vol Volume 17, Issue 4 ◽  
Author(s):  
Anthony W. Lin ◽  
Rupak Majumdar
Keyword(s):  
Theoretical Foundation ◽  
Constraint Solving ◽  
Simple Loop ◽  
Decidability Result ◽  
Presburger Arithmetic ◽  
Existential Theory ◽  
Word Equation ◽  
Word Equations ◽  
Left And Right ◽  
Np Complete

Word equations are a crucial element in the theoretical foundation of constraint solving over strings. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-standing open problem. We focus on the subclass of quadratic word equations, i.e., in which each variable occurs at most twice. We first show that the length abstractions of solutions to quadratic word equations are in general not Presburger-definable. We then describe a class of counter systems with Presburger transition relations which capture the length abstraction of a quadratic word equation with regular constraints. We provide an encoding of the effect of a simple loop of the counter systems in the existential theory of Presburger Arithmetic with divisibility (PAD). Since PAD is decidable (NP-hard and is in NEXP), we obtain a decision procedure for quadratic words equations with length constraints for which the associated counter system is flat (i.e., all nodes belong to at most one cycle). In particular, we show a decidability result (in fact, also an NP algorithm with a PAD oracle) for a recently proposed NP-complete fragment of word equations called regular-oriented word equations, when augmented with length constraints. We extend this decidability result (in fact, with a complexity upper bound of PSPACE with a PAD oracle) in the presence of regular constraints.

Knuth--bendix constraint solving is NP-complete

2005 ◽  
Vol 6 (2) ◽  
pp. 361-388
Author(s):  
Konstantin Korovin ◽  
Andrei Voronkov
Keyword(s):  
Constraint Solving ◽  
Np Complete

scholarly journals Discovering the maximum k-clique on social networks using bat optimization algorithm

2021 ◽  
Vol 8 (1) ◽  
Author(s):  
Akram Khodadadi ◽  
Shahram Saeidi
Keyword(s):  
Genetic Algorithm ◽  
Social Networks ◽  
Social Network ◽  
Coding Theory ◽  
Evaluation Criteria ◽  
Convergence Speed ◽  
Optimization Approach ◽  
Computational Results ◽  
Complete Subgraph ◽  
Np Complete

AbstractThe k-clique problem is identifying the largest complete subgraph of size k on a network, and it has many applications in Social Network Analysis (SNA), coding theory, geometry, etc. Due to the NP-Complete nature of the problem, the meta-heuristic approaches have raised the interest of the researchers and some algorithms are developed. In this paper, a new algorithm based on the Bat optimization approach is developed for finding the maximum k-clique on a social network to increase the convergence speed and evaluation criteria such as Precision, Recall, and F1-score. The proposed algorithm is simulated in Matlab® software over Dolphin social network and DIMACS dataset for k = 3, 4, 5. The computational results show that the convergence speed on the former dataset is increased in comparison with the Genetic Algorithm (GA) and Ant Colony Optimization (ACO) approaches. Besides, the evaluation criteria are also modified on the latter dataset and the F1-score is obtained as 100% for k = 5.

scholarly journals Popular Matching in Roommates Setting Is NP-hard

2021 ◽  
Vol 13 (2) ◽  
pp. 1-20
Author(s):  
Sushmita Gupta ◽  
Pranabendu Misra ◽  
Saket Saurabh ◽  
Meirav Zehavi
Keyword(s):  
Computational Complexity ◽  
Np Hard ◽  
Np Complete ◽  
Open Question ◽  
Popular Matching

An input to the P OPULAR M ATCHING problem, in the roommates setting (as opposed to the marriage setting), consists of a graph G (not necessarily bipartite) where each vertex ranks its neighbors in strict order, known as its preference. In the P OPULAR M ATCHING problem the objective is to test whether there exists a matching M * such that there is no matching M where more vertices prefer their matched status in M (in terms of their preferences) over their matched status in M *. In this article, we settle the computational complexity of the P OPULAR M ATCHING problem in the roommates setting by showing that the problem is NP-complete. Thus, we resolve an open question that has been repeatedly and explicitly asked over the last decade.

CSS Minification via Constraint Solving

2019 ◽  
Vol 41 (2) ◽  
pp. 1-76
Author(s):  
Matthew Hague ◽  
Anthony W. Lin ◽  
Chih-Duo Hong
Keyword(s):  
Constraint Solving

scholarly journals Shellability is NP-complete

2019 ◽  
Vol 66 (3) ◽  
pp. 1-18
Author(s):  
Xavier Goaoc ◽  
Pavel Paták ◽  
Zuzana Patáková ◽  
Martin Tancer ◽  
Uli Wagner
Keyword(s):  
Np Complete

scholarly journals Total Roman {3}-Domination: The Complexity and Linear-Time Algorithm for Trees

Mathematics ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 293
Author(s):  
Xinyue Liu ◽  
Huiqin Jiang ◽  
Pu Wu ◽  
Zehui Shao
Keyword(s):  
Linear Time ◽  
Minimum Weight ◽  
Domination Number ◽  
Time Algorithm ◽  
Simple Graph ◽  
Linear Time Algorithm ◽  
Domination Problem ◽  
Np Complete ◽  
Chordal Bipartite Graphs ◽  
Dominating Function

For a simple graph G=(V,E) with no isolated vertices, a total Roman {3}-dominating function(TR3DF) on G is a function f:V(G)→{0,1,2,3} having the property that (i) ∑w∈N(v)f(w)≥3 if f(v)=0; (ii) ∑w∈N(v)f(w)≥2 if f(v)=1; and (iii) every vertex v with f(v)≠0 has a neighbor u with f(u)≠0 for every vertex v∈V(G). The weight of a TR3DF f is the sum f(V)=∑v∈V(G)f(v) and the minimum weight of a total Roman {3}-dominating function on G is called the total Roman {3}-domination number denoted by γt{R3}(G). In this paper, we show that the total Roman {3}-domination problem is NP-complete for planar graphs and chordal bipartite graphs. Finally, we present a linear-time algorithm to compute the value of γt{R3} for trees.

Reconstructing a Graph from its Neighborhood Lists

1993 ◽  
Vol 2 (2) ◽  
pp. 103-113 ◽  
Author(s):  
Martin Aigner ◽  
Eberhard Triesch
Keyword(s):  
Decision Problem ◽  
Graph Isomorphism ◽  
Bipartite Graphs ◽  
Labeled Graph ◽  
Np Complete

Associate to a finite labeled graph G(V, E) its multiset of neighborhoods (G) = {N(υ): υ ∈ V}. We discuss the question of when a list is realizable by a graph, and to what extent G is determined by (G). The main results are: the decision problem is NP-complete; for bipartite graphs the decision problem is polynomially equivalent to Graph Isomorphism; forests G are determined up to isomorphism by (G); and if G is connected bipartite and (H) = (G), then H is completely described.

Sign in / Sign up

Export Citation Format

Share Document