• DocumentCode
    2297445
  • 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
  • fYear
    2012
  • fDate
    14-16 May 2012
  • Firstpage
    37
  • Lastpage
    44
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic (ISMVL), 2012 42nd IEEE International Symposium on
  • Conference_Location
    Victoria, BC
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4673-0908-0
  • Type

    conf

  • DOI
    10.1109/ISMVL.2012.12
  • Filename
    6214780