a perspective on mathematics, the pattern, and the abstract

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.

- patefoni likes this
- majakoronska likes this
- love2laughmore likes this
- lovebuffalo reblogged this from intothecontinuum
- simsimsim likes this
- thetauneutrino likes this
- beautifulphenomenon reblogged this from proofmathisbeautiful
- hubda likes this
- soaction reblogged this from proofmathisbeautiful
- isomorphismes likes this
- spetharrific reblogged this from proofmathisbeautiful
- iomikron likes this
- mrsjonsnow likes this
- unusuallyaverage reblogged this from proofmathisbeautiful
- mylifeisborromean reblogged this from proofmathisbeautiful
- 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!

- franny1234 reblogged this from intothecontinuum
- kindag33ky reblogged this from proofmathisbeautiful
- fuerza-y-valor reblogged this from proofmathisbeautiful
- ahoffguy likes this
- beckz0rz-archive reblogged this from chibisokka
- vertigoremedy likes this
- nosequien likes this
- polyfunk likes this
- thexhrisgalli reblogged this from proofmathisbeautiful
- irkable reblogged this from proofmathisbeautiful
- flegelleicht likes this
- digital-veil reblogged this from phrakt
- gareyesgzz reblogged this from proofmathisbeautiful
- 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...

- crocodile-deathspeed likes this
- westofvenus likes this
- plantperson likes this
- amylogalou likes this
- ninjadeliverygirl likes this
- tabbysboobs likes this
- househastings reblogged this from onionjulius
- ohgreat- likes this
- runawayjoincircus reblogged this from proofmathisbeautiful
- fivedee reblogged this from proofmathisbeautiful
- fivedee likes this
- spacetugboat likes this
- dorkshdw likes this
- edwardm-pearce likes this
- mr-mushroom likes this
- cubricks reblogged this from proofmathisbeautiful
- cubricks likes this
- jordanhain reblogged this from proofmathisbeautiful
- excessbrainsiphon reblogged this from proofmathisbeautiful
- Show more notes