Planar 2-colorability

Take some region of the plane, and any number of distinct lines that pass anywhere through this region. Consider these random lines for instance:

Notice how the lines and their crossings create polygonal shapes in the region.

Using just two colors, say black and white, is it possible to color the entire region such that any two polygons that are next to each other sharing a common edge are different colors?

This is possible in the above example as this 2-coloring indicates:

There is also another possible 2-coloring that satisfies these requirements, but its really just the same as the 2-coloring above with the colors switched.

You can convince yourself that these are the only two permissible 2-colorings meeting the criterion with this particular configuration of lines.

One may wonder if its always possible to achieve such a 2-coloring, or precisely under what circumstances it is or is not possible.

It does seem to be the case that if each line passes completely through the region, then a 2-coloring will always be possible.

The following examples show this for two particular cases, where not only are there a different number of randomly chosen lines in each case, but each line is even allowed to move. Regardless, at each instance, the 2-coloring is always preserved!

Still, these examples do not prove the claim in general since there remains an infinite number of cases left unconsidered. How would one prove this?

Well, when would such a 2-coloring not be possible?

At any intersection of lines in the region, the crossings create corners for the polygons that are formed. If there happens to be an intersection with an odd number of corners, then for any assignment of 2 colors to the parts around this intersection, there would have to exist two adjacent parts that have the same color. Otherwise, for an even number of corners around an intersection, it is always possible to assign a 2-coloring so that adjacent parts have different colors.

Therefore, as long as all the intersections formed within the region have an even number of corners, there will exist a 2-coloring. This criterion will be met if we assume that the lines always pass completely through the region as in previous considerations

These conditions are special and do limit the possible configurations that are 2-colorable.

What if configurations were allowed to have intersections with an odd number of corners?

What if lines didn’t have to pass completely through the region and were allowed to end somewhere inside of it?

What if we didn’t have to use straight lines to partition the region?

If it is not possible to color the region in the above sense with 2 colors, how many would it take?

Does there exist some maximum finite number of colors that can be used to color any possible partition of a region?

The 4-color theorem, first stated in 1852, which concerns the problem under consideration, states that only 4 colors are needed to color any configuration so that adjacent regions are not colored the same.

The truth of this theorem went without correct proof until 1976 when it was proved by Kenneth Appel and Wolfgang Haken using a computer! This computer-assisted proof may be considered controversial and has interesting implications.

It is worth mentioning that the related problem of deciding whether a given configuration is 2-colorable is easy to solve since there are efficient computer algorithms that can check. However, the problem of deciding if 3 colors are needed is hard to do in general since there are currently no known computers algorithms that can efficiently solve this problem.

If you can find a fast algorithm, or if it you can prove that no efficient algorithm can exist for deciding the 3-coloring problem, then you could win $1,000,000 solving a big open problem in computer science.

  1. lovebuffalo reblogged this from intothecontinuum
  2. beautifulphenomenon reblogged this from proofmathisbeautiful
  3. soaction reblogged this from proofmathisbeautiful
  4. spetharrific reblogged this from proofmathisbeautiful
  5. unusuallyaverage reblogged this from proofmathisbeautiful
  6. mylifeisborromean reblogged this from proofmathisbeautiful
  7. rienfleche reblogged this from intothecontinuum and added:
    Lit’r’lly shelved a book on the solution to the 4-color problem Monday night. Maffermatix, everyone!
  8. franny1234 reblogged this from intothecontinuum
  9. kindag33ky reblogged this from proofmathisbeautiful
  10. fuerza-y-valor reblogged this from proofmathisbeautiful
  11. beckz0rz-archive reblogged this from chibisokka
  12. thexhrisgalli reblogged this from proofmathisbeautiful
  13. irkable reblogged this from proofmathisbeautiful
  14. digital-veil reblogged this from phrakt
  15. gareyesgzz reblogged this from proofmathisbeautiful
  16. davidcustiskimball reblogged this from intothecontinuum and added:
    Science, Mathematics, Physics, Psychophysics, History The planar 2-colorability shows that a binary system has a one to...
  17. househastings reblogged this from onionboolius
  18. runawayjoincircus reblogged this from proofmathisbeautiful
  19. fivedee reblogged this from proofmathisbeautiful
  20. cubricks reblogged this from proofmathisbeautiful
  21. jordanhain reblogged this from proofmathisbeautiful
  22. disloignedmoundbird reblogged this from proofmathisbeautiful