News for hackers. Stuff that matters.
Re:A Non-Constructive Proof of the Four Colour Theorem by drbacon on Wednesday December 21, 2022 @02:35PM (#34085355)
The "countries" are supposed to share an edge. An edge, no matter how small, breaks the cross.
Re:A Non-Constructive Proof of the Four Colour Theorem by Phemist on Wednesday December 21, 2022 @02:41PM (#34085411)
https://blog.artsper.com/wp-content/uploads/2022/08/escher-2...

Consider the gray pixel in the center a placeholder, much like Escher's place holder in the above image (because he couldn't think of how to realistically depict what turns out to be the infinite fractal nature of the center)

> An edge, no matter how small breaks the cross.

My very weak intuition says that an edge of infinite smallness would not.

Re:A Non-Constructive Proof of the Four Colour Theorem by ColinWright on Wednesday December 21, 2022 @02:56PM (#34085591)
"... an edge of infinite smallness ..." is not a well-defined concept, and is not allowed in the original formation of the problem. Otherwise take a circle and divide it into N segments "like a pizza". They all meet in the middle in an "edge of infinite smallness", so that would require N colours.

Now make N as large as you like.

So allowing this makes the problem uninteresting, and precluding it makes the problem interesting and hard.

Re:A Non-Constructive Proof of the Four Colour Theorem by bell-cot on Wednesday December 21, 2022 @03:04PM (#34085682)
An "edge of infinite smallness" is a point.

(I don't recall details - but the preconditions of the Four Colour Theorem rule out all the fuzzy sets, infinitely crooked lines, "this region is all points with one rational and one irrational coordinate", and other trickery that folks who've had a bit of math might otherwise be tempted by.)