Title :
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems
Author :
Steinbach, Bernd ; Posthoff, Christian
Author_Institution :
Inst. of Comput. Sci., Freiberg Univ. of Min. & Technol., Freiberg, Germany
Abstract :
This paper aims at the rectangle-free coloring of grids using four colors. It has been proven in a well developed theory that there is an upper bound of rectangle-free 4-colorable grids as well as a lower bound of grids for which no rectangle-free color pattern of four colors exist. Between these tight bounds the grids of the size 17×17, 17×18, 18 × 17, and 18 ×18 are located for which it is not known until now whether a rectangle-free coloring by four colors exists. We present in this paper an approach that solves all these open problems. From another point of view this paper aims at the solution of a multiple-valued problem having an extremely high complexity. There are 1.16798 * 10195 different grids of four colors. It must be detected whether at least one of this hardly imaginable large number of patterns satisfies strong additional conditions. In order to solve this highly complex problem, several approaches were taken into account to find out properties of the problem which finally allowed us to calculate the solution.
Keywords :
Boolean functions; computability; graph colouring; Boolean equation; SAT-solver; XBOOLE; complex 4-colored rectangle-free grid; four-valued coloring; graph coloring; open multiple-valued problem; Color; Computational modeling; Data structures; Equations; Image color analysis; Mathematical model; Vectors; Boolean equation; SAT-solver; XBOOLE; four-valued coloring; rectangle-free grid;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
978-1-4673-0908-0
DOI :
10.1109/ISMVL.2012.12