Toroidal Queens Graphs Over Finite Fields

For each positive integer n, the toroidal queens graph may be described as a graph with vertex set Zn × Zn where every vertex is adjacent to those vertices in the directions (1, 0), (0, 1), (1, 1), (1,−1) from it. We here extend this idea, examining graphs with vertex set F × F, where F is a finite field, and any four directions are used to define adjacency. The automorphism groups and isomorphism classes of such graphs are found

Breaking Instance-Independent Symmetries In Exact Graph Coloring

Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is also used to model more traditional CSPs relevant to AI, such as planning, time-tabling and scheduling. Provably optimal solutions may be desirable for commercial and defense applications. Additionally, for applications such as register allocation and code optimization, naturally-occurring instances of graph coloring are often small and can be solved optimally. A recent wave of improvements in algorithms for Boolean satisfiability (SAT) and 0-1 Integer Linear Programming (ILP) suggests generic problem-reduction methods, rather than problem-specific heuristics, because (1) heuristics may be upset by new constraints, (2) heuristics tend to ignore structure, and (3) many relevant problems are provably inapproximable. Problem reductions often lead to highly symmetric SAT instances, and symmetries are known to slow down SAT solvers. In this work, we compare several avenues for symmetry breaking, in particular when certain kinds of symmetry are present in all generated instances. Our focus on reducing CSPs to SAT allows us to leverage recent dramatic improvement in SAT solvers and automatically benefit from future progress. We can use a variety of black-box SAT solvers without modifying their source code because our symmetry-breaking techniques are static, i.e., we detect symmetries and add symmetry breaking predicates (SBPs) during pre-processing. An important result of our work is that among the types of instance-independent SBPs we studied and their combinations, the simplest and least complete constructions are the most effective. Our experiments also clearly indicate that instance-independent symmetries should mostly be processed together with instance-specific symmetries rather than at the specification level, contrary to what has been suggested in the literature

Queen\u27s domination using border squares and (\u3ci\u3eA\u3c/i\u3e,\u3ci\u3eB\u3c/i\u3e)-restricted domination

In this paper we introduce a variant on the long studied, highly entertaining, and very difficult problem of determining the domination number of the queen\u27s chessboard graph, that is, determining how few queens are needed to protect all of the squares of a k by k chessboard. Motivated by the problem of minimum redundance domination, we consider the problem of determining how few queens restricted to squares on the border can be used to protect the entire chessboard. We give exact values of border-queens required for the k by k chessboard when 1≤k≤13. For the general case, we present a lower bound of k(2-9/2k-√(8k2-49k+49)/2k) and an upper bound of k-2. For k=3t+1 we improve the upper bound to 2t+1 if 3t+1 is odd and 2t if 3t+1 is even. We generalize this problem to (A,B)-restricted parameters for vertex subsets A and B of V(G) where, for example, one must use only vertices in A to dominate all of B. Defining upper and lower parameters for independence, domination, and irredundance, we present a generalization of the domination chain of inequalities relating these parameters

Binary merge model representation of the graph colouring problem

This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in reducing the number of neighbors that need to be checked for validity. An empirical comparison is made with two other algorithms on a popular selection of problem instances and on a suite of instances in the phase transition. The new representation in combination with a heuristic mutation operator shows promising result

Diameter-separation of chessboard graphs

We define the queens (resp., rooks) diameter-separation number to be the minimum number of pawns for which some placement of those pawns on an n×n board produces a board with a queens graph (resp., rooks graph) with a desired diameter d. We determine these numbers for some small values of d

Paired and Total Domination on the Queen\u27s Graph.

The Queen’s domination problem has a long and rich history. The problem can be simply stated as: What is the minimum number of queens that can be placed on a chessboard so that all squares are attacked or occupied by a queen? The problem has been expanded to include not only the standard 8x8 board, but any rectangular m×n sized board. In this thesis, we consider both paired and total domination versions of this renowned problem

Abstractions and Analyses of Grid Games

In this paper, we define various combinatorial games derived from the NQueens Puzzle and scrutinize them, particularly the Knights Game, using combinatorial game theory and graph theory. The major result of the paper is an original method for determining who wins the Knights Game merely from the board\u27s dimensions. We also inspect the Knights Game\u27s structural similarities to the Knight\u27s Tour and the Bishops Game, and provide some historical background and real-world applications of the material