Chatroom
 

If this is your first visit, be sure to check out the FAQ by clicking the link above. You may have to register before you can post: click the register link above to proceed. To start viewing messages, select the forum that you want to visit from the selection below.

Go Back   Bad Astronomy and Universe Today Forum > Science and Space > Science and Technology
Register FAQ Members List Calendar Mark Forums Read

   

Reply
 
LinkBack Thread Tools Search this Thread Display Modes
  #1 (permalink)  
Old 06-September-2005, 08:26 AM
Matthew Matthew is offline
Established Member
 
Join Date: Jul 2005
Location: Melbourne, Australia
Posts: 1,713
Default Four Color Theorem

So you only need four color's to color a map? What if all the localaties met at a single point? See the attached diagram. Lets a ssume the lines are perfect and borders intersect at a single point. Would that mean that more than 4 colors are needed?
Attached Images
File Type: gif four_color.gif (2.5 KB, 46 views)
__________________
MacTalk - The Australian Apple Community - iPod, iPhone and Mac.
Reply With Quote
  #2 (permalink)  
Old 06-September-2005, 09:05 AM
01101001's Avatar
01101001 01101001 is online now
Order of Kilopi
 
Join Date: Mar 2004
Posts: 13,459
Default

Wikipedia: Four color theorem

The four color theorem states that any plane separated into regions, such as a political map of the counties of a state, can be colored using no more than four colors in such a way that no two adjacent regions receive the same color. Two regions are called adjacent if they share a border segment, not just a point.
__________________
0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 ...
Reply With Quote
  #3 (permalink)  
Old 06-September-2005, 01:50 PM
jfribrg jfribrg is offline
Established Member
 
Join Date: Mar 2002
Location: 40N 75W mag 4.1 sky at best
Posts: 1,470
Default

There is a book, called Four Colours Suffice that gives the history of the problem. It is a layman's book, but the math level varies. Sometimes it is too simplistic. Other times it goes too fast, but in all, I have a better understanding of the proof than I did before I read it.
__________________
Time flies like an arrow.
Fruit flies like a banana.
Reply With Quote
  #4 (permalink)  
Old 06-September-2005, 02:55 PM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

But have they proved it for all colours?
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #5 (permalink)  
Old 06-September-2005, 03:13 PM
jfribrg jfribrg is offline
Established Member
 
Join Date: Mar 2002
Location: 40N 75W mag 4.1 sky at best
Posts: 1,470
Default

Quote:
Originally Posted by worzel
But have they proved it for all colours?
I'm not sure I understand what you mean. It is trivial to prove that 3 or fewer colors is not sufficient. All you need is to show that there is a map where 3 colors aren't enough. Here is a simple counterexample: Start with a thick circle with a hole in the center. Section the circle into 3 parts, each of which must be a different color. The hole in the center must also be different from the first 3 colors used on the circle, which proves that 3 colors are too few. For 5 colors, take a 4 color map and arbitrarily change one of the areas to a color that isn't anywhere else on the map. For 6 colors, take the above mentioned 5 color map and change one area to a color that isn't yet used. Do this for as many colors as you have in your crayon box.
Attached Images
File Type: jpg d.JPG (5.0 KB, 14 views)
__________________
Time flies like an arrow.
Fruit flies like a banana.
Reply With Quote
  #6 (permalink)  
Old 06-September-2005, 03:39 PM
hhEb09'1's Avatar
hhEb09'1 hhEb09'1 is offline
Moderator
 
Join Date: Apr 2005
Location: NC USA
Posts: 10,761
Default

I know what he means. **bap** now, say you're sorry

It has long been known that a map on a torus requires seven colors, and seven always suffices. To see that seven is necessary, take a torus, and divide it into bands of seven different regions encircling the torus through its hole. Now, cut a line around the top of the "donut" and slide the outside parts along the line 2 1/2 regions. All seven regions will share a boundary with all six other regions.
Reply With Quote
  #7 (permalink)  
Old 06-September-2005, 04:23 PM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

What I acutally meant was although it is true for the traditional colours used on a political map, has it also been proven for, say, 4 slightly different shades of pink.
Quote:
Originally Posted by hhEb09'1
I know what he means. **bap** now, say you're sorry
Sorry.
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #8 (permalink)  
Old 06-September-2005, 10:27 PM
zrice03's Avatar
zrice03 zrice03 is offline
Established Member
 
Join Date: Nov 2002
Location: Everywhere(well, quantum mechanically...)
Posts: 193
Default

It doesn't matter which colors you use, as long as they are all different. So, yes, it would work for 4 different shades of pink because they are all different. It would also work for four shades of blue, green, maybe two of red and two of grey, etc.

Basically, when you have four countries that all touch each other, one of those contries has to be completely surrounded. Notice in jfribrg's diagram, the brown country is completely surrounded. Go ahead and try it yourself on a piece of paper.

There is, however, an unstated premise: All the countries have to be in one piece. For example, the United States is not in one piece because of Alaska. There are two large "pieces" of the U.S. (and various islands)... If you tried this on the actual map of the Earth, you might not find the 4 color theorem is true (then again, it might be. I've never tried it).
__________________
"Critical thinking and skepticism form the cornerstone of intelligence."
-me
Reply With Quote
  #9 (permalink)  
Old 07-September-2005, 12:33 AM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

Quote:
Originally Posted by zrice03
It doesn't matter which colors you use, as long as they are all different. So, yes, it would work for 4 different shades of pink because they are all different. It would also work for four shades of blue, green, maybe two of red and two of grey, etc.
Ok, thanks for the clarification

Quote:
There is, however, an unstated premise: All the countries have to be in one piece. For example, the United States is not in one piece because of Alaska. There are two large "pieces" of the U.S. (and various islands)... If you tried this on the actual map of the Earth, you might not find the 4 color theorem is true (then again, it might be. I've never tried it).
I think you would find that the 4 color theorem is true irrespective of the potential problem you raise, it just isn't the same thing you're describing.
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #10 (permalink)  
Old 07-September-2005, 10:08 AM
hhEb09'1's Avatar
hhEb09'1 hhEb09'1 is offline
Moderator
 
Join Date: Apr 2005
Location: NC USA
Posts: 10,761
Default

LOL. Yep. Just take any map of any set of N countries and put an "embassy" for each one, in each one. Then, you need N colors.
Reply With Quote
  #11 (permalink)  
Old 08-September-2005, 06:20 AM
zrice03's Avatar
zrice03 zrice03 is offline
Established Member
 
Join Date: Nov 2002
Location: Everywhere(well, quantum mechanically...)
Posts: 193
Default

Quote:
Originally Posted by hhEb09'1
LOL. Yep. Just take any map of any set of N countries and put an "embassy" for each one, in each one. Then, you need N colors.
Exactly.
__________________
"Critical thinking and skepticism form the cornerstone of intelligence."
-me
Reply With Quote
  #12 (permalink)  
Old 08-September-2005, 07:56 PM
jfribrg jfribrg is offline
Established Member
 
Join Date: Mar 2002
Location: 40N 75W mag 4.1 sky at best
Posts: 1,470
Default

Quote:
Originally Posted by zrice03
Basically, when you have four countries that all touch each other, one of those contries has to be completely surrounded.
Basically that is the key, but proving it is the problem.


Quote:
Originally Posted by zrice03
There is, however, an unstated premise: All the countries have to be in one piece.
Actually, this is stated explicitly in the formal definition of the problem.

Quote:
Originally Posted by zrice03
For example, the United States is not in one piece because of Alaska.
Hawaii also, but the problem is limited to contiguous areas on a flat (two dimensional) surface that share a border. IIRC, for these purposes, Michigan is a problem too.
__________________
Time flies like an arrow.
Fruit flies like a banana.
Reply With Quote
  #13 (permalink)  
Old 08-September-2005, 11:06 PM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

Quote:
Originally Posted by jfribrg
Quote:
Originally Posted by zrice03
There is, however, an unstated premise: All the countries have to be in one piece.
Actually, this is stated explicitly in the formal definition of the problem.
Quote:
Originally Posted by zrice03
Exactly.
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #14 (permalink)  
Old 09-September-2005, 12:01 AM
peter eldergill peter eldergill is offline
Established Member
 
Join Date: Jan 2005
Location: Toronto
Posts: 1,755
Default

Are there any practical applications for the four colour theorem or is it just one of those "neat things" to know like Fermat's Last Theorem and Relativity (Ha! Kidding!)

Pete
__________________
PJE

There's so much I don't know about astrophysics. I wish I had read that book by that wheelchair guy.
Reply With Quote
  #15 (permalink)  
Old 09-September-2005, 12:05 AM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

Quote:
Originally Posted by peter eldergill
Are there any practical applications for the four colour theorem or is it just one of those "neat things" to know like Fermat's Last Theorem and Relativity (Ha! Kidding!)

Pete
Maybe it's why there are CMYK printers - but that would suggest that there is a three colour theorem waiting to be proved.
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #16 (permalink)  
Old 09-September-2005, 12:15 AM
Halcyon Dayz's Avatar
Halcyon Dayz Halcyon Dayz is offline
Established Member
 
Join Date: Apr 2005
Location: Nederland - Sol III
Posts: 1,699
Smile 4 Colours

It is obviously useful for (game)mapmakers.
__________________
An idea is not responsible for the people who believe in it. - Don Marquis
Join the Illuminati
Reply With Quote
  #17 (permalink)  
Old 09-September-2005, 12:16 AM
BenM BenM is offline
Junior Member
 
Join Date: Nov 2003
Posts: 46
Default

I spent an entire summer as a kid trying to draw maps that would disprove the theorem. It wasn't a complete waste of time, because it did get me started down the path of scientific inquiry.
Reply With Quote
  #18 (permalink)  
Old 09-September-2005, 01:25 AM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

I was so naive when I first saw the problem that I figured that as it was obvious, I would be able to come up with a simple proof and dazzle the world
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #19 (permalink)  
Old 09-September-2005, 04:44 AM
peter eldergill peter eldergill is offline
Established Member
 
Join Date: Jan 2005
Location: Toronto
Posts: 1,755
Default

My Uncle thought he had a proof of Fermat's Last theorem, less than a page. Even I found his mistake quickly.

He also had a "proof" that an angle can be trisected. I couldn't follow what he was doing, as it was purely geometrical, which I'm not familiar with

Well, gotta go!

Pete
__________________
PJE

There's so much I don't know about astrophysics. I wish I had read that book by that wheelchair guy.
Reply With Quote
  #20 (permalink)  
Old 09-September-2005, 05:03 AM
montebianco's Avatar
montebianco montebianco is offline
Established Member
 
Join Date: Jul 2005
Posts: 1,007
Default

Quote:
Originally Posted by jfribrg
IIRC, for these purposes, Michigan is a problem too.
I guess the problem would be not that Michigan comes in two pieces (they're easy enough to connect, at least on the map), but that neither Michigan and Illinois nor Indiana and Wisconsin share a border...
Reply With Quote
  #21 (permalink)  
Old 09-September-2005, 05:05 AM
montebianco's Avatar
montebianco montebianco is offline
Established Member
 
Join Date: Jul 2005
Posts: 1,007
Default

Quote:
Originally Posted by peter eldergill
My Uncle thought he had a proof of Fermat's Last theorem, less than a page.
Maybe it was the same proof Fermat had
Reply With Quote
  #22 (permalink)  
Old 09-September-2005, 05:16 AM
Enzp's Avatar
Enzp Enzp is offline
Established Member
 
Join Date: Sep 2004
Location: Lansing, Michigan
Posts: 2,544
Default

And we try to keep as much water as possible between us and Canada. (Here being Michigan) If the water is blue, does that count as a color?

I'm with Worzel here.

And what if the colors run?

Who among us before they were old enough to know how smart they weren't didn't figure, "Oh, I can beat that, lemme at it..."?
Reply With Quote
  #23 (permalink)  
Old 09-September-2005, 06:12 AM
montebianco's Avatar
montebianco montebianco is offline
Established Member
 
Join Date: Jul 2005
Posts: 1,007
Default

Quote:
Originally Posted by Enzp
And we try to keep as much water as possible between us and Canada. (Here being Michigan)
Was just there a couple of weeks ago, didn't look like a particularly long bridge
Reply With Quote
  #24 (permalink)  
Old 09-September-2005, 11:03 AM
hhEb09'1's Avatar
hhEb09'1 hhEb09'1 is offline
Moderator
 
Join Date: Apr 2005
Location: NC USA
Posts: 10,761
Default

Quote:
Originally Posted by peter eldergill
He also had a "proof" that an angle can be trisected. I couldn't follow what he was doing, as it was purely geometrical, which I'm not familiar with
Here's a way to trisect an angle.
Reply With Quote
  #25 (permalink)  
Old 09-September-2005, 11:54 AM
jfribrg jfribrg is offline
Established Member
 
Join Date: Mar 2002
Location: 40N 75W mag 4.1 sky at best
Posts: 1,470
Default

Quote:
Originally Posted by hhEb09'1
Here's a way to trisect an angle.
From page 101 of the book "Elements of Abstract Algebra", which provides an interesting use of field theory to provide straightedge-and-compass proofs, this trisection is addressed.

Quote:
First let us show how angles may be trisected easily if we allow and incorrect usage of the straightedge. (Apparently this practical construction was known to ancient geometers.)


As with other math problems, the "rules" are clearly defined. From the same book, here are the rules:
Quote:
(1)the points (0,0) and (1,0) are constructible. Any two points of the plane may be chosen for (0,0) and (1,0) and the distance between them taken as the unit length.
(2) A circle with a constructible point as center and a constructible length as radius is constructible. A constructible length is the distance between two constructible points.
(3) The intersection of two constructible lines is a constructible point.
(4) The points (or point) of intersection of a constructible line and a constructible circle are constructible
(5) The points (or point) of intersection of two constructible circles are constructible
Step 3 in the link from the previous post is the illegal operation. The result is also that you get an angle that is 1/3 of the original, but the angles are in different places. When you bisect an angle using "legal" operations, you split the original angle in half, but here you generate an angle elsewhere, which is a different issue.

The book then provides a single counterexample. First, the constructible points and operations are restated in terms of complex numbers, and a proof is given that these operations and points form a field. It then shows using field theory that it is impossible to trisect a 60 degree angle.
__________________
Time flies like an arrow.
Fruit flies like a banana.
Reply With Quote
  #26 (permalink)  
Old 09-September-2005, 12:06 PM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

Quote:
Originally Posted by jfribrg
Step 3 in the link from the previous post is the illegal operation. The result is also that you get an angle that is 1/3 of the original, but the angles are in different places. When you bisect an angle using "legal" operations, you split the original angle in half, but here you generate an angle elsewhere, which is a different issue.
You could use the compass to measure the chord and then mark that off from E or F.
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #27 (permalink)  
Old 09-September-2005, 02:56 PM
hhEb09'1's Avatar
hhEb09'1 hhEb09'1 is offline
Moderator
 
Join Date: Apr 2005
Location: NC USA
Posts: 10,761
Default

Quote:
Originally Posted by jfribrg
Step 3 in the link from the previous post is the illegal operation.
Step 2 is also "illegal".

However, I use the straightedge legally, throughout.
Quote:
The result is also that you get an angle that is 1/3 of the original, but the angles are in different places. When you bisect an angle using "legal" operations, you split the original angle in half, but here you generate an angle elsewhere, which is a different issue.
No, it's not. As worzel points out, you can use that angle to easily construct a copy anywhere else, including between the original angle.
Reply With Quote
  #28 (permalink)  
Old 10-September-2005, 04:53 AM
Enzp's Avatar
Enzp Enzp is offline
Established Member
 
Join Date: Sep 2004
Location: Lansing, Michigan
Posts: 2,544
Default

Montebianco - which bridge? Try walking that Mackinac bridge, she is longer than she looks. Every so often a car or truck blows over on it. We have our ways...
Reply With Quote
  #29 (permalink)  
Old 10-September-2005, 12:03 PM
worzel's Avatar
worzel worzel is offline
Established Member
 
Join Date: Mar 2004
Location: London
Posts: 3,114
Default

Two questions.

The first to jfribrg or anyone else who knows the answer. What purpose are those 5 rules of geometric construction supposed to serve given that they appear not to define what can actually be done, geometrically, with a straight edge and compass?

The second to hhEb09'1. Did you come up with that trisection yourself?
__________________
There are 10 types of people in the world. Those who understand ternary, those who don't, and those waiting for a bus.
If logic doesn't work, then surely it does.
Reply With Quote
  #30 (permalink)  
Old 10-September-2005, 03:34 PM
hhEb09'1's Avatar
hhEb09'1 hhEb09'1 is offline
Moderator
 
Join Date: Apr 2005
Location: NC USA
Posts: 10,761
Default

Quote:
Originally Posted by worzel
The second to hhEb09'1. Did you come up with that trisection yourself?
The neusis or verging "cheat" trisections have been known for over two thousand years. That particular one is my modification of Archimedes's--which, according to The Book of Numbers by Conway and Guy, uses a marked ruler--which is an incorrect use of a ruler, as jfribrg's link says. Apparently, a lot of people know about the incorrect use of rulers, so I changed it to an incorrect use of a compass instead.
Reply With Quote
Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are On




All times are GMT. The time now is 02:44 PM.


Powered by vBulletin® Version 3.8.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
LinkBacks Enabled by vBSEO 3.0.0
©  2006 Bad Astronomy and Universe Today