DZone
Thanks for visiting DZone today,
Edit Profile
  • Manage Email Subscriptions
  • How to Post to DZone
  • Article Submission Guidelines
Sign Out View Profile
  • Post an Article
  • Manage My Drafts
Over 2 million developers have joined DZone.
Log In / Join
Refcards Trend Reports
Events Video Library
Over 2 million developers have joined DZone. Join Today! Thanks for visiting DZone today,
Edit Profile Manage Email Subscriptions Moderation Admin Console How to Post to DZone Article Submission Guidelines
View Profile
Sign Out
Refcards
Trend Reports
Events
View Events Video Library
Zones
Culture and Methodologies Agile Career Development Methodologies Team Management
Data Engineering AI/ML Big Data Data Databases IoT
Software Design and Architecture Cloud Architecture Containers Integration Microservices Performance Security
Coding Frameworks Java JavaScript Languages Tools
Testing, Deployment, and Maintenance Deployment DevOps and CI/CD Maintenance Monitoring and Observability Testing, Tools, and Frameworks
Culture and Methodologies
Agile Career Development Methodologies Team Management
Data Engineering
AI/ML Big Data Data Databases IoT
Software Design and Architecture
Cloud Architecture Containers Integration Microservices Performance Security
Coding
Frameworks Java JavaScript Languages Tools
Testing, Deployment, and Maintenance
Deployment DevOps and CI/CD Maintenance Monitoring and Observability Testing, Tools, and Frameworks

Integrating PostgreSQL Databases with ANF: Join this workshop to learn how to create a PostgreSQL server using Instaclustr’s managed service

Mobile Database Essentials: Assess data needs, storage requirements, and more when leveraging databases for cloud and edge applications.

Monitoring and Observability for LLMs: Datadog and Google Cloud discuss how to achieve optimal AI model performance.

Automated Testing: The latest on architecture, TDD, and the benefits of AI and low-code tools.

Related

  • MongoDB: Consistency Levels and the CAP/PACLEC Theorem

Trending

  • Supercharge Your Communication With Twilio and Ballerina
  • The Promise of Personal Data for Better Living
  • Exploring the Evolution and Impact of Computer Networks
  • Parallel Sort

The Seven Color Map Theorem

John Cook user avatar by
John Cook
·
Jul. 20, 13 · Interview
Like (1)
Save
Tweet
Share
4.93K Views

Join the DZone community and get the full member experience.

Join For Free

the famous four color theorem says that any flat map can be colored with four colors so that no two countries that touch at more than a point are the same color. the hard part is to show that four colors are sufficient; it’s easy to show that four colors are necessary.

it’s easier to prove generalizations of the four color theorem to more complex surfaces. these were settled decades before the original four color theorem.

for example, the seven color map theorem says that any map on a torus (doughnut) can be colored using seven colors, and there exists a map that requires seven colors.

besides the seven color theorem for the torus, there’s an eight color theorem for a surface with two holes, a nine color theorem for a surface with three holes, etc. in fact, there’s an n color theorem for all n at least 7.

from the examples above, it looks like if a surface has g holes ( g for genus, what topologists call these holes), the number of colors required is 6 + g . that’s true for g up to 6, but then it fails. the actual theorem is that a surface with g holes requires

\left\lfloor \frac{7 + \sqrt{1+48g}}{2}\right\rfloor

colors where ⌊ x ⌋ is the largest integer no greater than x .

because the expression above flattens out as a function of g , it will produce all integers greater than 6, and will produce some several times. for example, a map on a surface with 6 holes requires 12 colors, but so does a map on a surface with 7 holes.

source: four colors suffice: how the map problem was solved

Theorem

Published at DZone with permission of John Cook, DZone MVB. See the original article here.

Opinions expressed by DZone contributors are their own.

Related

  • MongoDB: Consistency Levels and the CAP/PACLEC Theorem

Comments

Partner Resources

X

ABOUT US

  • About DZone
  • Send feedback
  • Careers
  • Sitemap

ADVERTISE

  • Advertise with DZone

CONTRIBUTE ON DZONE

  • Article Submission Guidelines
  • Become a Contributor
  • Visit the Writers' Zone

LEGAL

  • Terms of Service
  • Privacy Policy

CONTACT US

  • 3343 Perimeter Hill Drive
  • Suite 100
  • Nashville, TN 37211
  • support@dzone.com

Let's be friends: