scholarly journals The Sudoku completion problem with rectangular hole pattern is NP-complete

2012 ◽  
Vol 312 (22) ◽  
pp. 3306-3315 ◽  
Author(s):  
Ramón Béjar ◽  
Cèsar Fernández ◽  
Carles Mateu ◽  
Magda Valls
Keyword(s):  
Rectangular Hole ◽  
Completion Problem ◽  
Np Complete

scholarly journals Complexity of n-Queens Completion (Extended Abstract)

2018 ◽  
Author(s):  
Ian P. Gent ◽  
Christopher Jefferson ◽  
Peter Nightingale
Keyword(s):  
Artificial Intelligence ◽  
Phase Transition ◽  
Decision Problem ◽  
Completion Problem ◽  
Complete Problems ◽  
Random Instances ◽  
Np Complete

The n-Queens problem is to place n chess queens on an n by n chessboard so that no two queens are on the same row, column or diagonal. The n-Queens Completion problem is a variant, dating to 1850, in which some queens are already placed and the solver is asked to place the rest, if possible. We show that n-Queens Completion is both NP-Complete and #P-Complete. A corollary is that any non-attacking arrangement of queens can be included as a part of a solution to a larger n-Queens problem. We introduce generators of random instances for n-Queens Completion and the closely related Blocked n-Queens and Excluded Diagonals Problem. We describe three solvers for these problems, and empirically analyse the hardness of randomly generated instances. For Blocked n-Queens and the Excluded Diagonals Problem, we show the existence of a phase transition associated with hard instances as has been seen in other NP-Complete problems, but a natural generator for n-Queens Completion did not generate consistently hard instances. The significance of this work is that the n-Queens problem has been very widely used as a benchmark in Artificial Intelligence, but conclusions on it are often disputable because of the simple complexity of the decision problem. Our results give alternative benchmarks which are hard theoretically and empirically, but for which solving techniques designed for n-Queens need minimal or no change.

scholarly journals A Quantum N-Queens Solver

Quantum ◽  
2019 ◽  
Vol 3 ◽  
pp. 149 ◽  
Author(s):  
Valentin Torggler ◽  
Philipp Aumann ◽  
Helmut Ritsch ◽  
Wolfgang Lechner
Keyword(s):  
Long Range ◽  
Optical Lattice ◽  
Optimization Problems ◽  
Completion Problem ◽  
Long Range Interactions ◽  
Np Complete ◽  
Quantum Simulator ◽  
Near Term

The N-queens problem is to find the position of N queens on an N by N chess board such that no queens attack each other. The excluded diagonals N-queens problem is a variation where queens cannot be placed on some predefined fields along diagonals. This variation is proven NP-complete and the parameter regime to generate hard instances that are intractable with current classical algorithms is known. We propose a special purpose quantum simulator that implements the excluded diagonals N-queens completion problem using atoms in an optical lattice and cavity-mediated long-range interactions. Our implementation has no overhead from the embedding allowing to directly probe for a possible quantum advantage in near term devices for optimization problems.

scholarly journals Complexity of n-Queens Completion

2017 ◽  
Vol 59 ◽  
pp. 815-848 ◽  
Author(s):  
Ian P. Gent ◽  
Christopher Jefferson ◽  
Peter Nightingale
Keyword(s):  
Artificial Intelligence ◽  
Phase Transition ◽  
Decision Problem ◽  
Completion Problem ◽  
Complete Problems ◽  
Random Instances ◽  
Np Complete

The n-Queens problem is to place n chess queens on an n by n chessboard so that no two queens are on the same row, column or diagonal. The n-Queens Completion problem is a variant, dating to 1850, in which some queens are already placed and the solver is asked to place the rest, if possible. We show that n-Queens Completion is both NP-Complete and #P-Complete. A corollary is that any non-attacking arrangement of queens can be included as a part of a solution to a larger n-Queens problem. We introduce generators of random instances for n-Queens Completion and the closely related Blocked n-Queens and Excluded Diagonals Problem. We describe three solvers for these problems, and empirically analyse the hardness of randomly generated instances. For Blocked n-Queens and the Excluded Diagonals Problem, we show the existence of a phase transition associated with hard instances as has been seen in other NP-Complete problems, but a natural generator for n-Queens Completion did not generate consistently hard instances. The significance of this work is that the n-Queens problem has been very widely used as a benchmark in Artificial Intelligence, but conclusions on it are often disputable because of the simple complexity of the decision problem. Our results give alternative benchmarks which are hard theoretically and empirically, but for which solving techniques designed for n-Queens need minimal or no change.

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.

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.

scholarly journals The Totally Positive Completion Problem: The 3-by-n Case

2021 ◽  
Vol 9 (1) ◽  
pp. 226-239
Author(s):  
D. Carter ◽  
K.E. DiMarco ◽  
C.R. Johnson ◽  
L. Wedemeyer ◽  
Z. Yu
Keyword(s):  
Completion Problem ◽  
Totally Positive

Abstract The 3-by-n TP-completable patterns are characterized by identifying the minimal obstructions up to natural symmetries. They are finite in number.

Sign in / Sign up

Export Citation Format

Share Document