Avoiding Monochromatic Rectangles Using Shift Patterns

12/23/2020
by   Zhenjun Liu, et al.
0

Ramsey Theory deals with avoiding certain patterns. When constructing an instance that avoids one pattern, it is observed that other patterns emerge. For example, repetition emerges when avoiding arithmetic progression (Van der Waerden numbers), while reflection emerges when avoiding monochromatic solutions of a+b=c (Schur numbers). We exploit observed patterns when coloring a grid while avoiding monochromatic rectangles. Like many problems in Ramsey Theory, this problem has a rapidly growing search space that makes computer search difficult. Steinbach et al. obtained a solution of an 18 by 18 grid with 4 colors by enforcing a rotation symmetry. However, that symmetry is not suitable for 5 colors. In this article, we will encode this problem into propositional logic and enforce so-called internal symmetries, which preserves satisfiability, to guide SAT-solving. We first observe patterns with 2 and 3 colors, among which the "shift pattern" can be easily generalized and efficiently encoded. Using this pattern, we obtain a new solution of the 18 by 18 grid that is non-isomorphic to the known solution. We further analyze the pattern and obtain necessary conditions to further trim down the search space. We conclude with our attempts on finding a 5-coloring of a 26 by 26 grid, as well as further open problems on the shift pattern.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 2

page 6

page 10

page 11

page 14

04/03/2020

Catalan and Schröder permutations sortable by two restricted stacks

We investigate the permutation sorting problem with two restricted stack...
03/18/2021

The equidistribution of some Mahonian statistics over permutations avoiding a pattern of length three

We prove the equidistribution of several multistatistics over some class...
04/15/2010

Symmetry within Solutions

We define the concept of an internal symmetry. This is a symmety within ...
02/01/2011

Speeding up SAT solver by exploring CNF symmetries : Revisited

Boolean Satisfiability solvers have gone through dramatic improvements i...
11/08/2019

Induced arithmetic removal: complexity 1 patterns over finite fields

We prove an arithmetic analog of the induced graph removal lemma for com...
04/02/2019

Decidability and Periodicity of Low Complexity Tilings

We investigate the tiling problem, also known as the domino problem, tha...
06/21/2011

Symmetry-Based Search Space Reduction For Grid Maps

In this paper we explore a symmetry-based search space reduction techniq...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.