Improved lower bounds for Queen's Domination via an exactly-solvable relaxation

04/13/2023
by   Archit Karandikar, et al.
0

The Queen's Domination problem, studied for over 160 years, poses the following question: What is the least number of queens that can be arranged on a m × n chessboard so that they either attack or occupy every cell? We propose a novel relaxation of the Queen's Domination problem and show that it is exactly solvable on both square and rectangular chessboards. As a consequence, we improve on the best known lower bound for rectangular chessboards in ≈ 12.5% of the non-trivial cases. As another consequence, we simplify and generalize the proofs for the best known lower-bounds for Queen's Domination of square n × n chessboards for n ≡{0,1,2} 4 using an elegant idea based on a convex hull. Finally, we show some results and make some conjectures towards the goal of simplifying the long complicated proof for the best known lower-bound for square boards when n ≡ 3 4 (and n > 11). These simple-to-state conjectures may also be of independent interest.

READ FULL TEXT

page 4

page 7

page 8

page 11

page 13

page 20

research
01/04/2020

Discovering and Certifying Lower Bounds for the Online Bin Stretching Problem

There are several problems in the theory of online computation where tig...
research
02/19/2020

Improved Approximate Degree Bounds For k-distinctness

An open problem that is widely regarded as one of the most important in ...
research
06/18/2020

New Bounds for the Vertices of the Integer Hull

The vertices of the integer hull are the integral equivalent to the well...
research
03/15/2022

Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction

Conditional lower bounds based on P≠ NP, the Exponential-Time Hypothesis...
research
07/25/2018

Improving the Integrality Gap for Multiway Cut

In the multiway cut problem, we are given an undirected graph with non-n...
research
11/15/2022

A Probabilistic Proof of the nCPA to CCA Bound

We provide a new proof of Maurer, Renard, and Pietzak's bound of the CCA...
research
11/09/2018

The layer complexity of Arthur-Merlin-like communication

In communication complexity the Arthur-Merlin (AM) model is the most nat...

Please sign up or login with your details

Forgot password? Click here to reset