Four Color Theorem Applied to 3D Objects
|Four Color Theorem|
Four Color Theorem
- This picture is showing a basic understanding of the four color theorem using a bumpy 3D shape.
In the picture, a 3D surface is shown being colored in with only four colors, red, white, blue, and green. This picture is demonstrating the Four Color Theorem because not one object is touching another object of the same color. There are however two blocks that are not colored in, but using my knowledge of this theorem, I can say that the upper block can be colored green, and the lower one be colored blue.
The Four Color Theorem states that any planar map can be covered in a minimum of four colors without any regions colored the same color do not touch unless by vertices, which is acceptable. If the regions of the same color touch by edges, then the Four Color Theorem is not being applied. To clear things up, vertices are points on a graph. Edges are the sides of a region. A map is a collection of points. And Graph Theory is the study of graphs.
A More Mathematical Explanation
- Note: understanding of this explanation requires: *Graph Theory
I conducted my experiment of applying the Four Color Theorem to 3D objects by drawing nets of the seven different objects I used. Then I colored the nets as if they were just flat, 2D shapes. Then I did the same thing, but I colored the nets as if they were the actual 3D objects, keeping in mind that each face touches many other faces. Then I put my work into this chart and graph above.
This chart was the beginning of my research. The chart shows the difference between the minimum number of colors used to cover the 2D net of a 3D object, as well as the minimum number of colors used to cover the actual 3D object without any colors touching each other, except by vertices which is acceptable (just not by edges).
After doing my experiment, I noticed a lot of different things within my work. I don't have a mathematical explanation yet for why I got the results I did, but I have connected it to graph theory and cycle graphs. This will show up later. What I noticed is as follows:
- All the shapes without a curved side have a higher minimum number of colors used to cover the 3D object than the 2D surface.
- The cylinder is the only object that has the same minimum number of colors used to cover the 3D object as well as the 2D surface (the net of the 3D object).
- I think the cylinder uses the same minimum number of colors to cover the 3D and 2D object/ surface because the curvature of the cylinder mimics how a 3D objects' faces touch multiple other sides.
- The two circular parts of the cylinder are also completely opposite each other in the 3D format and as I noticed in the other 3D objects, opposite sides can be colored the same color, always. However, there are not always multiple pairs of opposite sides.
- All the 2D nets are colored in 2 colors.
Now lets get into graph theory. It was basically explained earlier, but I will get into Bipartite graphs which is the basis of my project on 3D objects applied to the Four Color Theorem.
A Bipartite graph is a set of points that can be separated into two independent sets. The vertices within each set are not connected by edges, but between the two sets, the vertices are connected.
As you can see, no points in the U set are connected by edges, which is the same for the V set. Edges do connect the two sets together, however. And if you were to spread the points out randomly but kept the same connections between the vertices, you would notice how each blue point can connect to the green ones they share edges between but not to any of the blue ones without crossing other edges which would defeat the definition of a planar graph which is the overhead graph used in this project.
For a graph to be Bipartite it
- Has an even cycle (A set of points that create a shape like a square or a hexagon that have an even number of vertices).
- Is colored in two or less colors
- (Look into Graph Theory for other very complex reasons for a graph to be called Bipartite)
This leads me into a discovery I made on my own before looking into Bipartite graphs. It was that if the base number of any shape is odd, more colors are used to cover the 3D object than if there was a base number that was even. This is because every other color can be colored the same color to come out with only 2 two colors used. If you have a shape like a square, the colors of the vertices inn the cycle graph would go: red, yellow, red, yellow (two colors). If there were fiver vertices as in a pentagon, it would go: red, yellow, red, yellow, green (three colors). A cycle graph, by the way, is a a set of vertices with only one closed chain connecting the points. Much like what a 2D shape looks like on paper.
How the Main Image Relates
My main image relates to the topics discussed here because this figure is covered with, at a minimum, four colors. No regions of the same color are touching each other, unless by a corner. This basically explains the definition of the Four Color Theorem which I looked into and experimented with.
- There are currently no teaching materials for this page. Add teaching materials.
This is a link to the page on the Tori. This is the only known counterexample of the Four Color Theorem when using a 3D object. It is an interesting topic that shares the same ideas as my initial project.
This is another link to the Four Color Theorem Page. This is a good link for a little bit of background information.
Future Directions for this Page
If anyone can find an actual equation to work with my findings, that would be great. I have very little faith there is one to work with what I have, but if one is found, that would be greatly appreciated.
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.