This website is a collection of results; still in progress!
SAT VS Bicolored Point Sets
We investiaged the following properties on bicolored (abstract) point sets:
monochromatic convex 4-holes
monochromatic 4-islands
monochromatic general 4-holes
monochromatic 5-islands
monochromatic general 5-holes
Note that a convex $k$-hole is a $k$-island by definition
and that a $k$-island admits a general $k$-hole.
We remark that the horton set can be "doubled" and colored in a way
such that it does not contain monochromatic convex 5-holes.
The following abstract point sets were found using SAT solvers
in combination with signature functions.
The point sets were found using our library pyotlib
by improving existing examples and
some of the abstract point sets could even be realized.