by One of the great episodes in the history of mathematics began on October 23, 1852. In a letter to Sir William Rowan Hamilton, Augustus De Morgan wrote, “A student of mine asked me today to give him a reason for a fact which I did not know was a fact — and do not yet.” To this day, that “fact” continues to enthrall and challenge scholars.
The student was Frederick Guthrie, and the “fact” in question originally came from his brother, Francis. After looking at a map of British counties, he wondered whether it was always possible to color a map using four or fewer colors, while ensuring that regions sharing a border (more than a corner point) are different colors.
It seemed as if this should always be possible. “The more I think of it the more evident it seems,” De Morgan wrote. Still, the problem didn’t excite Hamilton. He replied, “I am not likely to attempt your ‘quaternion of colours’ very soon.” And De Morgan’s efforts to get others interested failed as well.
The problem sat largely dormant until 1878, when Arthur Cayley asked members of the London Mathematical Society if anyone had found a proof. Soon after that, proofs started appearing. It was the first one, by the barrister Alfred Kempe in 1879, that turned out to be the most important. The proof was convincing, and it was accepted as correct for over a decade. Unfortunately, Kempe’s proof — like all the others that would appear for the next century — was flawed. Yet it was ingenious, and it contained key ideas that would appear in the eventual proof.
To understand how Kempe and most mathematicians have looked at this problem, it helps to recognize that a map contains a lot of information irrelevant to the coloring problem, such as the shape, size and exact location of each region. All that matters is which regions share boundaries, although we do require all regions to be connected; Michigan, with its separate upper peninsula, doesn’t actually prevent the U.S. map from being four-colorable, but it could, mathematically.
To focus on the information that matters, we can encode these relationships using a graph, also known as a network, where dots (vertices) are connected by lines (edges). Replace each region of the map with a vertex and connect the vertices of neighboring regions with an edge. If it helps, we can imagine that the vertices are the capital cities and the edges are roads joining them.
In this way, the map coloring problem becomes a graph coloring problem: Color the vertices so neighbors are different colors. The minimum number of colors is called the chromatic number of the graph. We can ask about the chromatic number of any graph, but graphs that come from maps have special properties. These graphs are simple, meaning there are no edges starting and ending at the same vertex (called loops), and two vertices can only be joined by one edge. The graph is also planar, meaning it can be drawn so no edges cross.
We can now restate Francis Guthrie’s problem: Prove that the chromatic number of every simple planar graph is at most four.
Here’s a sketch of Kempe’s argument, described in modern terms using graphs rather than maps. He started by observing that a graph with one vertex — perhaps the map is a lone island — requires only one color. He then used a clever argument to build upward from there, arguing that it’s possible to use at most four colors to color a graph with two vertices, then three vertices and so on. Here’s how.
Suppose we can color all simple planar graphs with n vertices with at most four colors — this is trivial for n less than 5 — and we are then handed one with n + 1 vertices. How can we show that it, too, will be colorable with at most four colors?
First, Kempe showed, using a careful counting argument, that every simple planar graph has something in common: It must contain at least one vertex with at most five neighbors. Taking all the options into account, this means that every possible graph based on a map contains one of six special configurations of vertices.
If we remove this vertex, and all the edges that connect to it, we leave behind a graph with n vertices — which we already know can be colored using four colors. We actually do so as the next step. Now, look at the vertices adjacent to the removed vertex. If they exhibit three or fewer colors, we can color the removed vertex one of the remaining colors, and we’re done: We’ve just shown that the graph with n + 1 vertices can be colored with four colors. And if the adjacent vertices include all four colors, Kempe devised a clever method of recoloring certain vertices to free up a color for the removed vertex, again showing that the graph with n + 1 vertices needs only four colors.
In 1890, the mathematician Percy Heawood identified Kempe’s error. There was a special case in which Kempe’s clever method failed. Heawood remarked that although his own work appeared “destructive (rather) than constructive,” he showed that Kempe’s technique could prove that every map can be colored with five or fewer colors — not quite the original goal, but still impressive.
Heawood also investigated maps drawn on more complicated surfaces. He proved that a map on a doughnut with g holes may need as many as $latex frac{mathrm 1}{mathrm 2} left( 7+sqrt{ 1+48g} right) $ colors (where this value is rounded down to the nearest integer). So decorating an ordinary doughnut may require as many as seven colors of frosting. Yet, in what was becoming a pattern, his proof for general surfaces was incomplete, and we didn’t have a full proof until 1968.
But even when Heawood’s theorem for general surfaces was proved, the four-color problem remained unsolved. Thanks to decades of hard work, though, a proof was in sight.
At a conference in 1976, 124 years after Guthrie posed the problem, Wolfgang Haken announced a proof in collaboration with Kenneth Appel and with assistance from the graduate student John Koch. Reactions were mixed. “I had expected the audience to erupt with a great ovation,” wrote Don Albers, who was present at the talk. “Instead, they responded with polite applause!” It was because rather than producing a pencil-and-paper argument, the team relied heavily on a computer.
They didn’t have a machine directly answer the question, since infinitely many planar graphs are possible, and a computer cannot check them all. However, much as Kempe proved that every graph contains one of six special configurations of vertices, Appel and Haken showed that every graph must have one of 1,936 special configurations. Proving the theorem amounted to showing that we need only four colors to color any graph containing those subgraphs. Breaking down Kempe’s six special cases into 1,936 sub-cases gave them more fine-grained control and made each case easier to check — though the total number was now far too large for a human to verify without assistance. In fact, completing the calculations required over 1,000 hours of computer time.
The mathematical community only grudgingly accepted the results, believing that a proof should be understandable and verifiable entirely by humans. While it was acceptable for computers to perform routine arithmetic, mathematicians were not prepared to cede logical reasoning to a computing device. This conservatism and reluctance to embrace time-saving advancements was not new. In the 17th century, there was similar outcry when some mathematicians used newfangled algebraic techniques to solve problems in geometry. Similar drama may play out again with the rise of machine learning: Will mathematicians accept a theorem discovered and proved by an opaque algorithm?
The proof of the four-color problem was, of course, only the beginning of the computer revolution in mathematics. In 1998 Thomas Hales used a computer to prove the famous conjecture of Johannes Kepler’s that the most efficient way to stack spheres is the one routinely employed to stack oranges in a grocery store. And recently computers helped find “God’s number” — the maximum number of twists required to solve a Rubik’s cube (20 face turns or 26 if half turns count as two.)
Although the four-color problem for maps is settled, many basic questions about graph coloring remain unanswered or are just now being resolved.
Heawood’s work with surfaces showed that we can ask colorability questions about nonplanar graphs. And in fact, the chromatic number of a particular graph does not depend on the surface on which the equivalent map is drawn. For instance, a graph in which every vertex is connected to every other vertex is called a complete graph, and the chromatic number of a complete graph with n vertices is n. So if a large graph contains a complete graph with n vertices, then we know the large graph’s chromatic number is at least n.
This observation does not imply that if the chromatic number of a graph is n, then it contains a complete graph with n vertices. But in 1943, Hugo Hadwiger conjectured something very similar. He believed that if a graph with no loops has chromatic number n, then it has an arrangement of vertices called a $latex K_n$ minor, where deleting some vertices and edges and grouping together others results in a complete graph with n vertices. Rephrased, this conjecture states that if a graph does not have a $latex K_n$ minor, then it can be colored with fewer than n colors. Hadwiger’s conjecture, one of the most important open problems in graph theory, generalizes the four-color theorem, since a planar graph cannot contain a $latex K_5$ minor.
Although graph coloring started with a question in cartography, problems having nothing to do with maps or colors can also fit into the graph-coloring framework. For example, sudoku is a graph-coloring problem in disguise. View each cell as a vertex and the nine digits as the colors. Each vertex has 20 edges coming out of it — one to each cell in its row, in its column and in its 3-by-3 sub-square. This graph of 81 vertices and 810 edges starts with a partial coloring (the given clues). The object of the game is to color the rest of the vertices.
Despite all the attention these coloring problems have received, we still do not have a proof of the original four-color theorem that a human can read. This is not due to lack of trying. Even today, new proofs appear, generate some enthusiasm and, like Kempe’s proof, are shown to contain errors.
The mathematician Paul Erdős used to speak about “The Book” — an imaginary tome containing the most elegant proofs of every theorem. One wonders if The Book contains a human-readable proof of the four-color theorem, and if so, whether we will ever see it.
rn // Define dataLayer and the gtag function.rn window.dataLayer = window.dataLayer || ();rn function gtag(){dataLayer.push(arguments);}rnrn // Default ad_storage to ‘denied’.rn gtag(‘consent’, ‘default’, {rn ‘ad_storage’: ‘denied’rn });rnu003c/script>rnu003c!– Google Tag Manager –>rnu003cscript>(function(w,d,s,l,i){w(l)=w(l)||();w(l).push({‘gtm.start’:rnnew Date().getTime(),event:’gtm.js’});var f=d.getElementsByTagName(s)(0),rnj=d.createElement(s),dl=l!=’dataLayer’?’&l=”+l:”‘;j.async=true;j.src=rn’ End Google Tag Manager –>rnu003c!– Google Tag Manager (noscript) –>rnu003cnoscript>u003ciframe src=” width=”0″ style=”display:none;visibility:hidden”>u003c/iframe>u003c/noscript>rnu003c!– End Google Tag Manager (noscript) –>rnu003cscript>rnfunction getCookie(name) {rn let value = “; ” + document.cookie;rn var parts = value.split(“; ” + name + “=”);rn if (parts.length === 2) return parts.pop().split(“;”).shift();rn}rnrnif(getCookie(‘acceptedPolicy’)) {rn// google analyticsrn(function(i,s,o,g,r,a,m){i(‘GoogleAnalyticsObject’)=r;i(r)=i(r)||function(){rn(i(r).q=i(r).q||()).push(arguments)},i(r).l=1*new Date();a=s.createElement(o),rnm=s.getElementsByTagName(o)(0);a.async=1;a.src=g;m.parentNode.insertBefore(a,m)rn})(window,document,’script’,’ ‘UA-8526335-13’, ‘auto’);rnga(‘set’, ‘forceSSL’, true);rnga(‘require’, ‘displayfeatures’);rnga(‘send’,’pageview’);rnrn// facebook pixelrn!function(f,b,e,v,n,t,s)rn{if(f.fbq)return;n=f.fbq=function()rn{n.callMethod? n.callMethod.apply(n,arguments):n.queue.push(arguments)}rn;rnif(!f._fbq)f._fbq=n;n.push=n;n.loaded=!0;n.version=’2.0′;rnn.queue=();t=b.createElement(e);t.async=!0;rnt.src=v;s=b.getElementsByTagName(e)(0);rns.parentNode.insertBefore(t,s)}(window,document,’script’,rn’ ‘190747804793608’); rnfbq(‘track’, ‘PageView’);rnrn// chartbeatrnvar _sf_async_config = { uid: 65564, domain: ‘quantamagazine.org’, useCanonical: true };(function() {function loadChartbeat(){ window._sf_endpt = (new Date()).getTime(); var e = document.createElement(‘script’); e.setAttribute(‘language’, ‘javascript’); e.setAttribute(‘type’, ‘text/javascript’); e.setAttribute(‘src’,’//static.chartbeat.com/js/chartbeat.js’); document.body.appendChild(e); };var oldonload = window.onload;window.onload = (typeof window.onload != ‘function’) ?loadChartbeat : function(){ oldonload(); loadChartbeat(); };})();rnrn// parsleyrnconst head = document.getElementsByTagName(‘head’)(0);rnconst parsleyScript = document.createElement(“script”);rnparsleyScript.type = “text/javascript”;rnparsleyScript.src = “//cdn.parsely.com/keys/quantamagazine.org/p.js”;rnparsleyScript.id = “parsley-cfg”;rn// end parsleyrnrn//smartlookrn window.smartlook||(function(d) {rn var o=smartlook=function(){ o.api.push(arguments)},h=d.getElementsByTagName(‘head’)(0);rn var c=d.createElement(‘script’);o.api=new Array();c.async=true;c.type=”text/javascript”;rn c.charset=”utf-8″;c.src=” })(document);rn smartlook(‘init’, ‘3bac9c73fbc7f7f1c527d035a117e2b66f7c3e30’);rnrn// Google Ads conversionsrn window.dataLayer = window.dataLayer || ();rn function gtag(){dataLayer.push(arguments);}rn gtag(‘js’, new Date());rnrn gtag(‘config’, ‘AW-10788252298’);rnrn} else {rn(function(i,s,o,g,r,a,m){i(‘GoogleAnalyticsObject’)=r;i(r)=i(r)||function(){rn(i(r).q=i(r).q||()).push(arguments)},i(r).l=1*new Date();a=s.createElement(o),rnm=s.getElementsByTagName(o)(0);a.async=1;a.src=g;m.parentNode.insertBefore(a,m)rn})(window,document,’script’,’ ‘UA-8526335-13’, { storage: ‘none’ });rnga(‘set’, ‘anonymizeIp’, true);rnga(‘set’, ‘forceSSL’, true);rnga(‘require’, ‘displayfeatures’);rnga(‘send’,’pageview’);rn}rnu003c/script>rn”,”google_analytics”:null,”tracking_scripts_no_cookie”:null,”google_analytics_no_cookie”:null,”popular_searches”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.popular_searches.0″,”typename”:”PopularSearch”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.popular_searches.1″,”typename”:”PopularSearch”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.popular_searches.2″,”typename”:”PopularSearch”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.popular_searches.3″,”typename”:”PopularSearch”}),”search_topics”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.0″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.1″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.2″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.3″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.4″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.5″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.6″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.7″,”typename”:”SearchTopic”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.8″,”typename”:”SearchTopic”}),”search_sections”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_sections.0″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_sections.1″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_sections.2″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_sections.3″,”typename”:”Term”}),”search_authors”:({“type”:”id”,”generated”:false,”id”:”AuthorList:38171″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:28087″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:29794″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:39302″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:56″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:47249″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:29458″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:73″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:39164″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:59″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:8728″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:11648″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:50172″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:42689″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:95″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:15493″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:450″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:36490″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:16315″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:2752″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:15492″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:68″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:62″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:13684″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:13691″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:50″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:15142″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:8084″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:742″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:51630″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:11543″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:57″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:7262″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:70″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:19918″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:13695″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:32676″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:13724″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:26310″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:30207″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:19266″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:13251″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:17000″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:17149″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:5279″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:58″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:32612″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:27534″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:25173″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:64″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:47″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:14784″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:98″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:5830″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:6793″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:75″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:52″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:69″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:77″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:19092″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:20557″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:66″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:46418″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:85″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:37141″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:44758″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:49403″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:12170″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:32″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:51″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:44787″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:50541″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:72″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:16475″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:91″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:10351″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:31716″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:1241″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:8463″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:49″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:16815″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:67″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:37462″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:87″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:36139″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:20556″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:90″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:39551″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:27374″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:40″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:47633″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:45758″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:38413″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:12570″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:38699″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:23451″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:79″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:38″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:47180″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:60″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:2333″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:3569″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:414″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:50807″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:20495″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:47830″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:17147″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:30953″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:32437″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:38705″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:40613″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:7186″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:14093″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:34″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:23″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:74″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:19093″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:1472″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:6476″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:42264″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:10″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:37605″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:43298″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:37428″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:19962″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:51434″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:24″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:1816″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:84″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:55″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:50804″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:31″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:24011″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:100″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:2784″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:26114″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:9412″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:820″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:1666″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:20950″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:48″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:80″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:15681″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:51187″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:24577″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:78″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:23845″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:83″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:35441″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:76″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:15680″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:7239″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:44197″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:65″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:5944″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:61″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:63″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:26311″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:71″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:17148″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:13356″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:17150″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:39768″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:2960″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:14785″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:3″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:54″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:88″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:12964″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:53″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:86″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:3244″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:89″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:15913″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:42263″,”typename”:”AuthorList”},{“type”:”id”,”generated”:false,”id”:”AuthorList:45757″,”typename”:”AuthorList”}),”address_to_editor”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.0″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.1″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.2″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.3″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.4″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.5″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.6″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.7″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.8″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.9″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.10″,”typename”:”Editor”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.address_to_editor.11″,”typename”:”Editor”})},”$ROOT_QUERY.options”:{“acf”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf”,”typename”:”ThemeOptions”},”__typename”:”Options”},”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″,”type”:””}).data.0.acf”:{“custom_page_colors”:””,”page_accent_color”:null,”page_text_color”:null,”page_background_color”:null,”header_type”:”default”,”header_gradient_color”:null,”header_gradient_opacity”:null,”header_solid_colors”:””,”header_solid_primary_color”:null,”header_solid_secondary_color”:null,”header_solid_hover_color”:null,”header_transparent_colors”:null,”header_transparent_primary_color”:null,”header_transparent_secondary_color”:null,”header_transparent_hover_color”:null,”__typename”:”ACFFields”},”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″,”type”:””}).data.0″:{“acf”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″,”type”:””}).data.0.acf”,”typename”:”ACFFields”},”__typename”:”Post”},”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″,”type”:””})”:{“data”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″,”type”:””}).data.0″,”typename”:”Post”}),”__typename”:”PostPageArchive”},”$ROOT_QUERY.getPageMeta({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″,”type”:””})”:{“redirect_path”:null,”meta”:”u003cmeta name=”description” content=”The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.” />nu003cmeta property=”og:image” content=” />nu003cmeta property=”og:image:width” content=”1200″ />nu003cmeta property=”og:image:height” content=”630″ />nu003cmeta property=”og:locale” content=”en_US” />nu003cmeta property=”og:type” content=”article” />nu003cmeta property=”og:title” content=”Only Computers Can Solve This Map-Coloring Problem From the 1800s | Quanta Magazine” />nu003cmeta property=”og:description” content=”The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.” />nu003cmeta property=”og:url” content=” />nu003cmeta property=”og:site_name” content=”Quanta Magazine” />nu003cmeta property=”og:updated_time” content=”2023-03-29T14:08+00:00″ />nu003cmeta property=”article:publisher” content=” />nu003cmeta property=”fb:app_id” content=”533309373681765″ />nu003cmeta property=”article:published_time” content=”2023-03-29T14:08+00:00″ />nu003cmeta property=”article:modified_time” content=”2023-03-29T14:08+00:00″ />nu003cmeta name=”twitter:card” content=”summary_large_image” />nu003cmeta name=”twitter:site” content=”@QuantaMagazine” />nu003cmeta name=”twitter:title” content=”Only Computers Can Solve This Map-Coloring Problem From the 1800s | Quanta Magazine” />nu003cmeta name=”twitter:description” content=”The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.” />nu003cmeta name=”twitter:image” content=” />nu003clink rel=”canonical” href=” />nu003cscript type=”application/ld+json”>{“@context”:”https://schema.org”,”@type”:”BreadcrumbList”,”itemListElement”:({“@type”:”ListItem”,”position”:1,”item”:{“@id”:”https://www.quantamagazine.org/”,”name”:”Quanta Magazine | Science and Math News”}},{“@type”:”ListItem”,”position”:2,”item”:{“@id”:” News, Interviews and Columns From Quanta Magazine”}},{“@type”:”ListItem”,”position”:3,”item”:{“@id”:”,”name”:”Only Computers Can Solve This Map-Coloring Problem From the 1800s”}})}u003c/script>n”,”__typename”:”PageMeta”},”$ROOT_QUERY.options.acf.social_media_links.0″:{“type”:”facebook”,”label”:”Facebook”,”url”:” Joy of Why”,”slug”:”the-joy-of-why”,”description”:”The mathematician and author Steven Strogatz interviews leading researchers about the great scientific and mathematical questions of our time.”,”featured_image”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.channels.0.featured_image”,”typename”:”Image”},”square_image”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.channels.0.square_image”,”typename”:”Image”},”subscribe_itunes_link”:” Science Podcast”,”slug”:”quanta-podcast”,”description”:”Susan Valot narrates in-depth news episodes based on Quanta Magazine’s articles about mathematics, physics, biology and computer science. “,”featured_image”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.channels.1.featured_image”,”typename”:”Image”},”square_image”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.channels.1.square_image”,”typename”:”Image”},”subscribe_itunes_link”:” reads Quanta Science Podcast”,”caption”:””,”url”:” reads Quanta Science Podcast”,”caption”:””,”url”:” Joy of x”,”slug”:”the-joy-of-x”,”description”:”The acclaimed mathematician and author Steven Strogatz interviews some of the world’s leading scientists about their lives and work.”,”featured_image”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.channels.2.featured_image”,”typename”:”Image”},”square_image”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.channels.2.square_image”,”typename”:”Image”},”subscribe_itunes_link”:” holes”,”label”:”Black Holes”,”__typename”:”PopularSearch”},”$ROOT_QUERY.options.acf.popular_searches.3″:{“term”:”evolution”,”label”:”Evolution”,”__typename”:”PopularSearch”},”$ROOT_QUERY.options.acf.search_topics.0″:{“type”:”Tag”,”label”:”Podcasts”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.0.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.0.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.0.tag”:{“name”:”Quanta Podcast”,”slug”:”quanta-podcast”,”term_id”:”552″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.0.category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.1″:{“type”:”Tag”,”label”:”Columns”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.1.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.1.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.1.tag”:{“name”:”Quantized Columns”,”slug”:”quantized”,”term_id”:”551″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.1.category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.2″:{“type”:”Series”,”label”:”Series”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.2.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.2.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.2.tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.2.category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.3″:{“type”:”Category”,”label”:”Interviews”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.3.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.3.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.3.tag”:{“name”:”Q&A”,”slug”:”qa”,”term_id”:”567″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.3.category”:{“name”:”Q&A”,”slug”:”qa”,”term_id”:”176″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.4″:{“type”:”Category”,”label”:”Multimedia”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.4.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.4.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.4.tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.4.category”:{“name”:”Multimedia”,”slug”:”multimedia”,”term_id”:”43″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.5″:{“type”:”Category”,”label”:”Puzzles”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.5.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.5.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.5.tag”:{“name”:”puzzles”,”slug”:”puzzles”,”term_id”:”542″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.5.category”:{“name”:”Puzzles”,”slug”:”puzzles”,”term_id”:”546″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.6″:{“type”:”Category”,”label”:”Blog Posts”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.6.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.6.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.6.tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.6.category”:{“name”:”Abstractions blog”,”slug”:”abstractions”,”term_id”:”619″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.7″:{“type”:”news”,”label”:”News Articles”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.7.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.7.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.7.tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.7.category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.8″:{“type”:”videos”,”label”:”Videos”,”tag”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.8.tag”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.options.acf.search_topics.8.category”,”typename”:”Term”},”__typename”:”SearchTopic”},”$ROOT_QUERY.options.acf.search_topics.8.tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_topics.8.category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_sections.0″:{“name”:”Mathematics”,”slug”:”mathematics”,”term_id”:”188″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_sections.1″:{“name”:”Physics”,”slug”:”physics”,”term_id”:”189″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_sections.2″:{“name”:”Biology”,”slug”:”biology”,”term_id”:”191″,”__typename”:”Term”},”$ROOT_QUERY.options.acf.search_sections.3″:{“name”:”Computer Science”,”slug”:”computer-science”,”term_id”:”190″,”__typename”:”Term”},”AuthorList:38171″:{“id”:”38171″,”name”:”Adam Becker”,”__typename”:”AuthorList”},”AuthorList:28087″:{“id”:”28087″,”name”:”Adam Mann”,”__typename”:”AuthorList”},”AuthorList:29794″:{“id”:”29794″,”name”:”Alex Kontorovich”,”__typename”:”AuthorList”},”AuthorList:39302″:{“id”:”39302″,”name”:”Alexander Hellemans”,”__typename”:”AuthorList”},”AuthorList:56″:{“id”:”56″,”name”:”Alla Katsnelson”,”__typename”:”AuthorList”},”AuthorList:47249″:{“id”:”47249″,”name”:”Allison Parshall”,”__typename”:”AuthorList”},”AuthorList:29458″:{“id”:”29458″,”name”:”Allison Whitten”,”__typename”:”AuthorList”},”AuthorList:73″:{“id”:”73″,”name”:”Amanda Gefter”,”__typename”:”AuthorList”},”AuthorList:39164″:{“id”:”39164″,”name”:”Ana Kova”,”__typename”:”AuthorList”},”AuthorList:59″:{“id”:”59″,”name”:”Andreas von Bubnoff”,”__typename”:”AuthorList”},”AuthorList:8728″:{“id”:”8728″,”name”:”Anil Ananthaswamy”,”__typename”:”AuthorList”},”AuthorList:11648″:{“id”:”11648″,”name”:”Ann Finkbeiner”,”__typename”:”AuthorList”},”AuthorList:50172″:{“id”:”50172″,”name”:”Anna Gibbs”,”__typename”:”AuthorList”},”AuthorList:42689″:{“id”:”42689″,”name”:”Annie Melchor”,”__typename”:”AuthorList”},”AuthorList:95″:{“id”:”95″,”name”:”Ariel Bleicher”,”__typename”:”AuthorList”},”AuthorList:15493″:{“id”:”15493″,”name”:”Ashley Smart”,”__typename”:”AuthorList”},”AuthorList:450″:{“id”:”450″,”name”:”Ashley Yeager”,”__typename”:”AuthorList”},”AuthorList:36490″:{“id”:”36490″,”name”:”Ben Brubaker”,”__typename”:”AuthorList”},”AuthorList:16315″:{“id”:”16315″,”name”:”Bill Andrews”,”__typename”:”AuthorList”},”AuthorList:2752″:{“id”:”2752″,”name”:”Bob Henderson”,”__typename”:”AuthorList”},”AuthorList:15492″:{“id”:”15492″,”name”:”Brendan Z. Foster”,”__typename”:”AuthorList”},”AuthorList:68″:{“id”:”68″,”name”:”Brooke Borel”,”__typename”:”AuthorList”},”AuthorList:62″:{“id”:”62″,”name”:”Carl Zimmer”,”__typename”:”AuthorList”},”AuthorList:13684″:{“id”:”13684″,”name”:”Caroline Lee”,”__typename”:”AuthorList”},”AuthorList:13691″:{“id”:”13691″,”name”:”Caroline Lee”,”__typename”:”AuthorList”},”AuthorList:50″:{“id”:”50″,”name”:”Carrie Arnold”,”__typename”:”AuthorList”},”AuthorList:15142″:{“id”:”15142″,”name”:”Chanda Prescod-Weinstein”,”__typename”:”AuthorList”},”AuthorList:8084″:{“id”:”8084″,”name”:”Charlie Wood”,”__typename”:”AuthorList”},”AuthorList:742″:{“id”:”742″,”name”:”Christie Wilcox”,”__typename”:”AuthorList”},”AuthorList:51630″:{“id”:”51630″,”name”:”Christopher W. Young”,”__typename”:”AuthorList”},”AuthorList:11543″:{“id”:”11543″,”name”:”Claudia Dreifus”,”__typename”:”AuthorList”},”AuthorList:57″:{“id”:”57″,”name”:”Courtney Humphries”,”__typename”:”AuthorList”},”AuthorList:7262″:{“id”:”7262″,”name”:”Dalmeet Singh Chawla”,”__typename”:”AuthorList”},”AuthorList:70″:{“id”:”70″,”name”:”Dan Falk”,”__typename”:”AuthorList”},”AuthorList:19918″:{“id”:”19918″,”name”:”Dana Najjar”,”__typename”:”AuthorList”},”AuthorList:13695″:{“id”:”13695″,”name”:”Daniel Garisto”,”__typename”:”AuthorList”},”AuthorList:32676″:{“id”:”32676″,”name”:”Daniel S. Freed”,”__typename”:”AuthorList”},”AuthorList:13724″:{“id”:”13724″,”name”:”David H. Freedman”,”__typename”:”AuthorList”},”AuthorList:26310″:{“id”:”26310″,”name”:”David S. Richeson”,”__typename”:”AuthorList”},”AuthorList:30207″:{“id”:”30207″,”name”:”David Tse”,”__typename”:”AuthorList”},”AuthorList:19266″:{“id”:”19266″,”name”:”Devin Powell”,”__typename”:”AuthorList”},”AuthorList:13251″:{“id”:”13251″,”name”:”Diana Kwon”,”__typename”:”AuthorList”},”AuthorList:17000″:{“id”:”17000″,”name”:”Elena Renken”,”__typename”:”AuthorList”},”AuthorList:17149″:{“id”:”17149″,”name”:”Elizabeth Landau”,”__typename”:”AuthorList”},”AuthorList:5279″:{“id”:”5279″,”name”:”Elizabeth Preston”,”__typename”:”AuthorList”},”AuthorList:58″:{“id”:”58″,”name”:”Elizabeth Svoboda”,”__typename”:”AuthorList”},”AuthorList:32612″:{“id”:”32612″,”name”:”Ellen Horne”,”__typename”:”AuthorList”},”AuthorList:27534″:{“id”:”27534″,”name”:”Emily Buder”,”__typename”:”AuthorList”},”AuthorList:25173″:{“id”:”25173″,”name”:”Emily Levesque”,”__typename”:”AuthorList”},”AuthorList:64″:{“id”:”64″,”name”:”Emily Singer”,”__typename”:”AuthorList”},”AuthorList:47″:{“id”:”47″,”name”:”Erica Klarreich”,”__typename”:”AuthorList”},”AuthorList:14784″:{“id”:”14784″,”name”:”Erika K. Carlson”,”__typename”:”AuthorList”},”AuthorList:98″:{“id”:”98″,”name”:”Esther Landhuis”,”__typename”:”AuthorList”},”AuthorList:5830″:{“id”:”5830″,”name”:”Eva Silverstein”,”__typename”:”AuthorList”},”AuthorList:6793″:{“id”:”6793″,”name”:”Evelyn Lamb”,”__typename”:”AuthorList”},”AuthorList:75″:{“id”:”75″,”name”:”Ferris Jabr”,”__typename”:”AuthorList”},”AuthorList:52″:{“id”:”52″,”name”:”Frank Wilczek”,”__typename”:”AuthorList”},”AuthorList:69″:{“id”:”69″,”name”:”Gabriel Popkin”,”__typename”:”AuthorList”},”AuthorList:77″:{“id”:”77″,”name”:”George Musser”,”__typename”:”AuthorList”},”AuthorList:19092″:{“id”:”19092″,”name”:”Grant Sanderson”,”__typename”:”AuthorList”},”AuthorList:20557″:{“id”:”20557″,”name”:”Howard Lee”,”__typename”:”AuthorList”},”AuthorList:66″:{“id”:”66″,”name”:”Ingrid Daubechies”,”__typename”:”AuthorList”},”AuthorList:46418″:{“id”:”46418″,”name”:”Ingrid Wickelgren”,”__typename”:”AuthorList”},”AuthorList:85″:{“id”:”85″,”name”:”Ivan Amato”,”__typename”:”AuthorList”},”AuthorList:37141″:{“id”:”37141″,”name”:”Jake Buehler”,”__typename”:”AuthorList”},”AuthorList:44758″:{“id”:”44758″,”name”:”James Dinneen”,”__typename”:”AuthorList”},”AuthorList:49403″:{“id”:”49403″,”name”:”James R. Riordon”,”__typename”:”AuthorList”},”AuthorList:12170″:{“id”:”12170″,”name”:”Janna Levin”,”__typename”:”AuthorList”},”AuthorList:32″:{“id”:”32″,”name”:”Jeanette Kazmierczak”,”__typename”:”AuthorList”},”AuthorList:51″:{“id”:”51″,”name”:”Jennifer Ouellette”,”__typename”:”AuthorList”},”AuthorList:44787″:{“id”:”44787″,”name”:”Joanna Thompson”,”__typename”:”AuthorList”},”AuthorList:50541″:{“id”:”50541″,”name”:”John M. Beggs”,”__typename”:”AuthorList”},”AuthorList:72″:{“id”:”72″,”name”:”John Pavlus”,”__typename”:”AuthorList”},”AuthorList:16475″:{“id”:”16475″,”name”:”John Preskill”,”__typename”:”AuthorList”},”AuthorList:91″:{“id”:”91″,”name”:”John Rennie”,”__typename”:”AuthorList”},”AuthorList:10351″:{“id”:”10351″,”name”:”Jonathan Lambert”,”__typename”:”AuthorList”},”AuthorList:31716″:{“id”:”31716″,”name”:”Jonathan O’Callaghan”,”__typename”:”AuthorList”},”AuthorList:1241″:{“id”:”1241″,”name”:”Jordana Cepelewicz”,”__typename”:”AuthorList”},”AuthorList:8463″:{“id”:”8463″,”name”:”Joshua Roebke”,”__typename”:”AuthorList”},”AuthorList:49″:{“id”:”49″,”name”:”Joshua Sokol”,”__typename”:”AuthorList”},”AuthorList:16815″:{“id”:”16815″,”name”:”jye”,”__typename”:”AuthorList”},”AuthorList:67″:{“id”:”67″,”name”:”K.C. Cole”,”__typename”:”AuthorList”},”AuthorList:37462″:{“id”:”37462″,”name”:”Karmela Padavic-Callaghan”,”__typename”:”AuthorList”},”AuthorList:87″:{“id”:”87″,”name”:”Kat McGowan”,”__typename”:”AuthorList”},”AuthorList:36139″:{“id”:”36139″,”name”:”Katarina Zimmer”,”__typename”:”AuthorList”},”AuthorList:20556″:{“id”:”20556″,”name”:”Katherine Harmon Courage”,”__typename”:”AuthorList”},”AuthorList:90″:{“id”:”90″,”name”:”Katia Moskvitch”,”__typename”:”AuthorList”},”AuthorList:39551″:{“id”:”39551″,”name”:”Katie McCormick”,”__typename”:”AuthorList”},”AuthorList:27374″:{“id”:”27374″,”name”:”Kelsey Houston-Edwards”,”__typename”:”AuthorList”},”AuthorList:40″:{“id”:”40″,”name”:”Kevin Hartnett”,”__typename”:”AuthorList”},”AuthorList:47633″:{“id”:”47633″,”name”:”Konstantin Kakaes”,”__typename”:”AuthorList”},”AuthorList:45758″:{“id”:”45758″,”name”:”Kristina Armitage”,”__typename”:”AuthorList”},”AuthorList:38413″:{“id”:”38413″,”name”:”Lakshmi Chandrasekaran”,”__typename”:”AuthorList”},”AuthorList:12570″:{“id”:”12570″,”name”:”Laura Poppick”,”__typename”:”AuthorList”},”AuthorList:38699″:{“id”:”38699″,”name”:”Leila Sloman”,”__typename”:”AuthorList”},”AuthorList:23451″:{“id”:”23451″,”name”:”Liam Drew”,”__typename”:”AuthorList”},”AuthorList:79″:{“id”:”79″,”name”:”Liz Kruesi”,”__typename”:”AuthorList”},”AuthorList:38″:{“id”:”38″,”name”:”Lucy Reading-Ikkanda”,”__typename”:”AuthorList”},”AuthorList:47180″:{“id”:”47180″,”name”:”Lyndie Chiou”,”__typename”:”AuthorList”},”AuthorList:60″:{“id”:”60″,”name”:”Maggie McKee”,”__typename”:”AuthorList”},”AuthorList:2333″:{“id”:”2333″,”name”:”Mallory Locklear”,”__typename”:”AuthorList”},”AuthorList:3569″:{“id”:”3569″,”name”:”Marcus Woo”,”__typename”:”AuthorList”},”AuthorList:414″:{“id”:”414″,”name”:”Mark Kim-Mulgrew”,”__typename”:”AuthorList”},”AuthorList:50807″:{“id”:”50807″,”name”:”Marta Zaraska”,”__typename”:”AuthorList”},”AuthorList:20495″:{“id”:”20495″,”name”:”Matt Carlstrom”,”__typename”:”AuthorList”},”AuthorList:47830″:{“id”:”47830″,”name”:”Matt von Hippel”,”__typename”:”AuthorList”},”AuthorList:17147″:{“id”:”17147″,”name”:”Matthew Hutson”,”__typename”:”AuthorList”},”AuthorList:30953″:{“id”:”30953″,”name”:”Max G. Levy”,”__typename”:”AuthorList”},”AuthorList:32437″:{“id”:”32437″,”name”:”Max Kozlov”,”__typename”:”AuthorList”},”AuthorList:38705″:{“id”:”38705″,”name”:”mcho”,”__typename”:”AuthorList”},”AuthorList:40613″:{“id”:”40613″,”name”:”Melanie Mitchell”,”__typename”:”AuthorList”},”AuthorList:7186″:{“id”:”7186″,”name”:”Melinda Wenner Moyer”,”__typename”:”AuthorList”},”AuthorList:14093″:{“id”:”14093″,”name”:”Michael Harris”,”__typename”:”AuthorList”},”AuthorList:34″:{“id”:”34″,”name”:”Michael Kranz”,”__typename”:”AuthorList”},”AuthorList:23″:{“id”:”23″,”name”:”Michael Moyer”,”__typename”:”AuthorList”},”AuthorList:74″:{“id”:”74″,”name”:”Michael Nielsen”,”__typename”:”AuthorList”},”AuthorList:19093″:{“id”:”19093″,”name”:”Michele Bannister”,”__typename”:”AuthorList”},”AuthorList:1472″:{“id”:”1472″,”name”:”Moira Chas”,”__typename”:”AuthorList”},”AuthorList:6476″:{“id”:”6476″,”name”:”Monique Brouillette”,”__typename”:”AuthorList”},”AuthorList:42264″:{“id”:”42264″,”name”:”Mordechai Rorvig”,”__typename”:”AuthorList”},”AuthorList:10″:{“id”:”10″,”name”:”Natalie Wolchover”,”__typename”:”AuthorList”},”AuthorList:37605″:{“id”:”37605″,”name”:”Nick Thieme”,”__typename”:”AuthorList”},”AuthorList:43298″:{“id”:”43298″,”name”:”Nicole Yunger Halpern”,”__typename”:”AuthorList”},”AuthorList:37428″:{“id”:”37428″,”name”:”Nima Arkani-Hamed”,”__typename”:”AuthorList”},”AuthorList:19962″:{“id”:”19962″,”name”:”Nola Taylor Redd”,”__typename”:”AuthorList”},”AuthorList:51434″:{“id”:”51434″,”name”:”Nona McKenna”,”__typename”:”AuthorList”},”AuthorList:24″:{“id”:”24″,”name”:”Olena Shmahalo”,”__typename”:”AuthorList”},”AuthorList:1816″:{“id”:”1816″,”name”:”Patrick Honner”,”__typename”:”AuthorList”},”AuthorList:84″:{“id”:”84″,”name”:”Peter Byrne”,”__typename”:”AuthorList”},”AuthorList:55″:{“id”:”55″,”name”:”Philip Ball”,”__typename”:”AuthorList”},”AuthorList:50804″:{“id”:”50804″,”name”:”Polly Stryker”,”__typename”:”AuthorList”},”AuthorList:31″:{“id”:”31″,”name”:”Pradeep Mutalik”,”__typename”:”AuthorList”},”AuthorList:24011″:{“id”:”24011″,”name”:”Puja Changoiwala”,”__typename”:”AuthorList”},”AuthorList:100″:{“id”:”100″,”name”:”Quanta Magazine”,”__typename”:”AuthorList”},”AuthorList:2784″:{“id”:”2784″,”name”:”R. Douglas Fields”,”__typename”:”AuthorList”},”AuthorList:26114″:{“id”:”26114″,”name”:”Rachel Crowell”,”__typename”:”AuthorList”},”AuthorList:9412″:{“id”:”9412″,”name”:”Raleigh McElvery”,”__typename”:”AuthorList”},”AuthorList:820″:{“id”:”820″,”name”:”Ramin Skibba”,”__typename”:”AuthorList”},”AuthorList:1666″:{“id”:”1666″,”name”:”Rebecca Boyle”,”__typename”:”AuthorList”},”AuthorList:20950″:{“id”:”20950″,”name”:”Richard Masland”,”__typename”:”AuthorList”},”AuthorList:48″:{“id”:”48″,”name”:”Robbert Dijkgraaf”,”__typename”:”AuthorList”},”AuthorList:80″:{“id”:”80″,”name”:”Roberta Kwok”,”__typename”:”AuthorList”},”AuthorList:15681″:{“id”:”15681″,”name”:”Robin George Andrews”,”__typename”:”AuthorList”},”AuthorList:51187″:{“id”:”51187″,”name”:”Robin Lloyd”,”__typename”:”AuthorList”},”AuthorList:24577″:{“id”:”24577″,”name”:”Rodrigo Pérez Ortega”,”__typename”:”AuthorList”},”AuthorList:78″:{“id”:”78″,”name”:”Sabine Hossenfelder”,”__typename”:”AuthorList”},”AuthorList:23845″:{“id”:”23845″,”name”:”Samuel Velasco”,”__typename”:”AuthorList”},”AuthorList:83″:{“id”:”83″,”name”:”Sarah Lewin”,”__typename”:”AuthorList”},”AuthorList:35441″:{“id”:”35441″,”name”:”Scott Aaronson”,”__typename”:”AuthorList”},”AuthorList:76″:{“id”:”76″,”name”:”Sean B. Carroll”,”__typename”:”AuthorList”},”AuthorList:15680″:{“id”:”15680″,”name”:”Sean Carroll”,”__typename”:”AuthorList”},”AuthorList:7239″:{“id”:”7239″,”name”:”Shannon Hall”,”__typename”:”AuthorList”},”AuthorList:44197″:{“id”:”44197″,”name”:”Sheon Han”,”__typename”:”AuthorList”},”AuthorList:65″:{“id”:”65″,”name”:”Siobhan Roberts”,”__typename”:”AuthorList”},”AuthorList:5944″:{“id”:”5944″,”name”:”Sophia Chen”,”__typename”:”AuthorList”},”AuthorList:61″:{“id”:”61″,”name”:”Steph Yin”,”__typename”:”AuthorList”},”AuthorList:63″:{“id”:”63″,”name”:”Stephanie Bucklin”,”__typename”:”AuthorList”},”AuthorList:26311″:{“id”:”26311″,”name”:”Stephanie DeMarco”,”__typename”:”AuthorList”},”AuthorList:71″:{“id”:”71″,”name”:”Stephen Ornes”,”__typename”:”AuthorList”},”AuthorList:17148″:{“id”:”17148″,”name”:”Steve Nadis”,”__typename”:”AuthorList”},”AuthorList:13356″:{“id”:”13356″,”name”:”Steven Strogatz”,”__typename”:”AuthorList”},”AuthorList:17150″:{“id”:”17150″,”name”:”Susan D’Agostino”,”__typename”:”AuthorList”},”AuthorList:39768″:{“id”:”39768″,”name”:”Tamar Lichter Blanks”,”__typename”:”AuthorList”},”AuthorList:2960″:{“id”:”2960″,”name”:”Tara C. Smith”,”__typename”:”AuthorList”},”AuthorList:14785″:{“id”:”14785″,”name”:”Thomas Lewton”,”__typename”:”AuthorList”},”AuthorList:3″:{“id”:”3″,”name”:”Thomas Lin”,”__typename”:”AuthorList”},”AuthorList:54″:{“id”:”54″,”name”:”Tim Vernimmen”,”__typename”:”AuthorList”},”AuthorList:88″:{“id”:”88″,”name”:”Tom Siegfried”,”__typename”:”AuthorList”},”AuthorList:12964″:{“id”:”12964″,”name”:”Vanessa Schipani”,”__typename”:”AuthorList”},”AuthorList:53″:{“id”:”53″,”name”:”Veronique Greenwood”,”__typename”:”AuthorList”},”AuthorList:86″:{“id”:”86″,”name”:”Virginia Hughes”,”__typename”:”AuthorList”},”AuthorList:3244″:{“id”:”3244″,”name”:”Viviane Callier”,”__typename”:”AuthorList”},”AuthorList:89″:{“id”:”89″,”name”:”Wynne Parry”,”__typename”:”AuthorList”},”AuthorList:15913″:{“id”:”15913″,”name”:”XiaoZhi Lim”,”__typename”:”AuthorList”},”AuthorList:42263″:{“id”:”42263″,”name”:”Yasemin Saplakoglu”,”__typename”:”AuthorList”},”AuthorList:45757″:{“id”:”45757″,”name”:”Zack Savitsky”,”__typename”:”AuthorList”},”$ROOT_QUERY.options.acf.address_to_editor.0″:{“name”:”Bill Andrews – Senior CS Editor”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.1″:{“name”:”Ben Brubaker – Staff CS Writer”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.2″:{“name”:”Matt Carlstrom – Senior Engagement Editor”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.3″:{“name”:”Jordana Cepelewicz – Senior Math Writer”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.4″:{“name”:”Konstantin Kakaes – Senior Math Editor”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.5″:{“name”:”Thomas Lin – Editor in Chief”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.6″:{“name”:”Michael Moyer – Deputy Editor, Physics, Math, CS”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.7″:{“name”:”John Rennie – Deputy Editor, Biology, Podcasts”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.8″:{“name”:”Yasemin Saplakoglu – Staff Biology Writer”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.9″:{“name”:”Samuel Velasco – Art Director”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.10″:{“name”:”Natalie Wolchover – Senior Physics Editor”,”__typename”:”Editor”},”$ROOT_QUERY.options.acf.address_to_editor.11″:{“name”:”Charlie Wood – Staff Physics Writer”,”__typename”:”Editor”},”$ROOT_QUERY.menu({“slug”:”footer”}).items.0″:{“title”:”About Quanta”,”url”:” Us”,”url”:” & Conditions”,”url”:” Policy”,”url”:” Foundation”,”url”:”http://www.simonsfoundation.org”,”order”:6,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”footer”})”:{“items”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”footer”}).items.0″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”footer”}).items.1″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”footer”}).items.2″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”footer”}).items.3″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”footer”}).items.4″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”footer”}).items.5″,”typename”:”MenuItem”}),”__typename”:”Menu”},”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.0″:{“title”:”Physics”,”url”:”https://www.quantamagazine.org/physics/”,”order”:1,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.1″:{“title”:”Mathematics”,”url”:”https://www.quantamagazine.org/mathematics/”,”order”:2,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.2″:{“title”:”Biology”,”url”:”https://www.quantamagazine.org/biology/”,”order”:3,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.3″:{“title”:”Computer Science”,”url”:”https://www.quantamagazine.org/computer-science/”,”order”:4,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.4″:{“title”:”Topics”,”url”:”https://www.quantamagazine.org/topics”,”order”:5,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.5″:{“title”:”Archive”,”url”:”https://www.quantamagazine.org/archive/”,”order”:6,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”main-menu”})”:{“items”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.0″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.1″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.2″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.3″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.4″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”main-menu”}).items.5″,”typename”:”MenuItem”}),”__typename”:”Menu”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.0″:{“title”:”Blog”,”url”:”https://www.quantamagazine.org/abstractions/”,”order”:1,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.1″:{“title”:”Q&A”,”url”:”https://www.quantamagazine.org/qa/”,”order”:2,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.2″:{“title”:”Columns”,”url”:”/tag/quantized”,”order”:3,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.3″:{“title”:”Puzzles”,”url”:”https://www.quantamagazine.org/puzzles/”,”order”:4,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.4″:{“title”:”Podcasts”,”url”:”/podcasts/”,”order”:5,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.5″:{“title”:”Videos”,”url”:”/videos”,”order”:6,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.6″:{“title”:”Multimedia”,”url”:”https://www.quantamagazine.org/multimedia/”,”order”:7,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.7″:{“title”:”About Quanta”,”url”:”https://www.quantamagazine.org/about/”,”order”:8,”__typename”:”MenuItem”},”$ROOT_QUERY.menu({“slug”:”secondary-menu”})”:{“items”:({“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.0″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.1″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.2″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.3″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.4″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.5″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.6″,”typename”:”MenuItem”},{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.menu({“slug”:”secondary-menu”}).items.7″,”typename”:”MenuItem”}),”__typename”:”Menu”},”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″})”:{“type”:”post”,”meta”:{“type”:”id”,”generated”:true,”id”:”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″}).meta”,”typename”:”PageData”},”data”:({“type”:”id”,”generated”:false,”id”:”Post:124409″,”typename”:”Post”}),”__typename”:”PostPageArchive”},”$ROOT_QUERY.getPostPageArchive({“slug”:”only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329″}).meta”:{“title”:”Only Computers Can Solve This Map-Coloring Problem From the 1800s | Quanta Magazine”,”max_num_pages”:0,”found_posts”:0,”extra_term”:””,”author”:{“type”:”id”,”generated”:false,”id”:”Author:null”,”typename”:”Author”},”tag”:{“type”:”id”,”generated”:false,”id”:”Term:null”,”typename”:”Term”},”category”:{“type”:”id”,”generated”:false,”id”:”Term:null”,”typename”:”Term”},”__typename”:”PageData”},”Author:null”:{“id”:null,”name”:null,”link”:null,”description”:null,”url”:null,”public_email”:null,”facebook”:null,”twitter”:null,”instagram”:null,”acf”:null,”__typename”:”Author”},”Term:null”:{“id”:null,”slug”:null,”name”:null,”link”:null,”description”:null,”image”:””,”__typename”:”Term”},”Post:124409″:{“id”:”124409″,”title”:”The Colorful Problem That Has Long Frustrated Mathematicians”,”excerpt”:”u003cp>The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.u003c/p>n”,”link”:” https://www.quantamagazine.org/?p=124409″,”date”:”2023-03-29T10:08:38″,”featured_media_image”:null,”authors”:({“type”:”id”,”generated”:true,”id”:”Post:124409.authors.0″,”typename”:”Author”}),”tags”:({“type”:”id”,”generated”:true,”id”:”Post:124409.tags.0″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”Post:124409.tags.1″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”Post:124409.tags.2″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”Post:124409.tags.3″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”Post:124409.tags.4″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”Post:124409.tags.5″,”typename”:”Term”}),”podcast”:null,”acf”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf”,”typename”:”ACFFields”},”__typename”:”Post”,”status”:”publish”,”content”:””,”categories”:({“type”:”id”,”generated”:false,”id”:”Term:188″,”typename”:”Term”}),”attachments”:null,”series_prev”:null,”series_next”:null,”next”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.next”,”typename”:”PostPageArchive”}},”Post:124409.authors.0″:{“name”:”David S. Richeson”,”link”:” theory”,”link”:” of science”,”link”:” Columns”,”link”:”https://www.quantamagazine.org/tag/quantized/”},”$Post:124409.acf”:{“featured_block_title”:””,”kicker”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.kicker”,”typename”:”Term”},”featured_image_default”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.featured_image_default”,”typename”:”Image”},”featured_image_square”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.featured_image_square”,”typename”:”Image”},”featured_image_full_width”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.featured_image_full_width”,”typename”:”Image”},”featured_image_gif”:false,”featured_video”:”false”,”full_page_interactive”:false,”podcast_publish_date”:””,”__typename”:”ACFFields”,”interactive_type”:null,”iframe_url”:null,”return_cursor”:null,”exclude_blurb”:null,”interactive_html”:null,”interactive_css”:null,”interactive_js”:null,”interactive_blurb”:null,”related_article”:null,”modules”:({“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.modules.0″,”typename”:”ACFImageComponent”},{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.modules.1″,”typename”:”ACFContent”}),”template”:”article”,”subtitle”:”The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.”,”title_layout”:”default”,”title_background_type”:null,”title_background_image”:null,”title_background_video”:null,”title_background_attribution”:null,”title_background_image_gif”:null,”title_overlay_enable”:null,”title_overlay_color”:null,”title_overlay_opacity”:null,”title_text_color”:null,”featured_image_attribution”:”u003cp>James O’Brian for Quanta Magazineu003c/p>n”,”featured_overlay_enable”:”false”,”featured_overlay_color”:null,”featured_overlay_opacity”:null,”series”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.series”,”typename”:”Term”},”intro_content”:null,”make_image_full_width”:null,”hide_ad_on_post”:false},”$Post:124409.acf.kicker”:{“name”:”Quantized Columns”,”link”:” Columnist”,”avatar”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.authors.0.acf.avatar”,”typename”:”Image”},”__typename”:”AuthorACF”},”$Post:124409.authors.0.acf.avatar”:{“alt”:””,”caption”:””,”url”:” O’Brian for Quanta Magazineu003c/p>n”,”caption”:”u003cp>Is it always possible to color any map using at most four colors?u003c/p>n”,”mobile_comp_caption”:””,”mobile_comp_attribution”:””,”sets”:({“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.modules.0.sets.0″,”typename”:”ImageSet”}),”__typename”:”ACFImageComponent”},”$Post:124409.acf.modules.0.sets.0″:{“settings”:””,”image”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.modules.0.sets.0.image”,”typename”:”Image”},”mobile_image”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.modules.0.sets.0.mobile_image”,”typename”:”Image”},”mobile_side_margins”:false,”mobile_width_constraint”:””,”mobile_caption”:””,”mobile_attribution”:””,”zoom_image”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.modules.0.sets.0.zoom_image”,”typename”:”Image”},”zoom_caption”:””,”zoom_attribution”:””,”mobile_zoom_image”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.acf.modules.0.sets.0.mobile_zoom_image”,”typename”:”Image”},”mobile_zoom_caption”:””,”mobile_zoom_attribution”:””,”external_link”:””,”__typename”:”ImageSet”},”$Post:124409.acf.modules.0.sets.0.image”:{“alt”:””,”caption”:””,”url”:” style=”font-weight: 400;”>One of the great episodes in the history of mathematics began on October 23, 1852. In a letter to Sir William Rowan Hamilton, Augustus De Morgan wrote, “A student of mine asked me today to give him a reason for a fact which I did not know was a fact — and do not yet.” To this day, that “fact” continues to enthrall and challenge scholars.u003c/p>nu003cp>u003cspan style=”font-weight: 400;”>The student was Frederick Guthrie, and the “fact” in question originally came from his brother, Francis. After looking at a map of British counties, he wondered whether it was always possible to color a map using four or fewer colors, while ensuring that regions sharing a border (more than a corner point) are different colors.u003c/span>u003c/p>nu003cp style=”font-weight: 400;”>It seemed as if this should always be possible. “The more I think of it the more evident it seems,” De Morgan wrote. Still, the problem didn’t excite Hamilton. He replied, “I am not likely to attempt your ‘u003ca href=” of colours’ very soon.” And De Morgan’s efforts to get others interested failed as well.u003c/p>nu003cdiv id=’component-642446887b28e’ class=””>u003cscript type=”text/template”>{“type”:”Image”,”id”:”component-642446887b28e”,”data”:{“id”:124434,”src”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”alt”:””,”class”:””,”width”:0,”height”:0,”mobileSrc”:{“ID”:124433,”id”:124433,”title”:”FOUR-COLOR_560-Mobile-2″,”filename”:”FOUR-COLOR_560-Mobile-2.svg”,”filesize”:37028,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-2-2\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-2-2″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:18:47″,”modified”:”2023-03-28 19:18:47″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2.svg”,”square_large-width”:1,”square_large-height”:1}},”zoomSrc”:false,”mobileZoomSrc”:false,”align”:”align=\”inline\””,”wrapper_width”:””,”caption”:”u003cp>It requires four colors to color West Virginia, Pennsylvania, Ohio, Kentucky, Virginia and Maryland \u2014 three for West Virginia\u2019s neighbors and a fourth for West Virginia itself.u003c\/p>\n”,”attribution”:”u003cp>Figures by Merrill Sherman\/Quanta Magazine; source: David S. Richesonu003c\/p>\n”,”variant”:”shortcode”,”size”:”default”,”disableZoom”:false,”disableMobileZoom”:false,”srcImage”:{“ID”:124434,”id”:124434,”title”:”FOUR-COLOR_560-Mobile-2″,”filename”:”FOUR-COLOR_560-Mobile-2-1.svg”,”filesize”:37028,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-2-3\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-2-3″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:19:15″,”modified”:”2023-03-28 19:19:15″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-2-1.svg”,”square_large-width”:1,”square_large-height”:1}},”largeForPrint”:false,”externalLink”:””,”original_resolution”:false}}u003c/script>u003c/div>nu003cp style=”font-weight: 400;”>The problem sat largely dormant until 1878, when Arthur Cayley asked members of the London Mathematical Society if anyone had found a proof. Soon after that, proofs started appearing. It was the first one, by the barrister Alfred Kempe in 1879, that turned out to be the most important. The proof was convincing, and it was accepted as correct for over a decade. Unfortunately, Kempe’s proof — like all the others that would appear for the next century — was flawed. Yet it was ingenious, and it contained key ideas that would appear in the eventual proof.u003c/p>nu003cp style=”font-weight: 400;”>To understand how Kempe and most mathematicians have looked at this problem, it helps to recognize that a map contains a lot of information irrelevant to the coloring problem, such as the shape, size and exact location of each region. All that matters is which regions share boundaries, although we do require all regions to be connected; Michigan, with its separate upper peninsula, doesn’t actually prevent the U.S. map from being four-colorable, but it could, mathematically.u003c/p>nu003cp style=”font-weight: 400;”>To focus on the information that matters, we can encode these relationships using a graph, also known as a network, where dots (vertices) are connected by lines (edges). Replace each region of the map with a vertex and connect the vertices of neighboring regions with an edge. If it helps, we can imagine that the vertices are the capital cities and the edges are roads joining them.u003c/p>nu003cp style=”font-weight: 400;”>In this way, the map coloring problem becomes a graph coloring problem: Color the vertices so neighbors are different colors. The minimum number of colors is called the chromatic number of the graph. We can ask about the chromatic number of any graph, but graphs that come from maps have special properties. These graphs are simple, meaning there are no edges starting and ending at the same vertex (called loops), and two vertices can only be joined by one edge. The graph is also planar, meaning it can be drawn so no edges cross.u003c/p>nu003cdiv id=’component-6424468881f2a’ class=””>u003cscript type=”text/template”>{“type”:”Image”,”id”:”component-6424468881f2a”,”data”:{“id”:124436,”src”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”alt”:””,”class”:””,”width”:0,”height”:0,”mobileSrc”:{“ID”:124435,”id”:124435,”title”:”FOUR-COLOR_560-Mobile copy-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-2-2.svg”,”filesize”:38148,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-2-3\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-2-3″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:19:37″,”modified”:”2023-03-28 19:19:37″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2.svg”,”square_large-width”:1,”square_large-height”:1}},”zoomSrc”:false,”mobileZoomSrc”:false,”align”:”align=\”inline\””,”wrapper_width”:””,”caption”:”u003cp>A map coloring problem can be transformed into a graph coloring problem.u003c\/p>\n”,”attribution”:””,”variant”:”shortcode”,”size”:”default”,”disableZoom”:false,”disableMobileZoom”:false,”srcImage”:{“ID”:124436,”id”:124436,”title”:”FOUR-COLOR_560-Mobile copy-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-2-3.svg”,”filesize”:38148,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-2-4\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-2-4″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:19:45″,”modified”:”2023-03-28 19:19:45″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-3.svg”,”square_large-width”:1,”square_large-height”:1}},”largeForPrint”:false,”externalLink”:””,”original_resolution”:false}}u003c/script>u003c/div>nu003cp style=”font-weight: 400;”>We can now restate Francis Guthrie’s problem: Prove that the chromatic number of every simple planar graph is at most four.u003c/p>nu003cp style=”font-weight: 400;”>Here’s a sketch of Kempe’s argument, described in modern terms using graphs rather than maps. He started by observing that a graph with one vertex — perhaps the map is a lone island — requires only one color. He then used a clever argument to build upward from there, arguing that it’s possible to use at most four colors to color a graph with two vertices, then three vertices and so on. Here’s how.u003c/p>nu003cp style=”font-weight: 400;”>Suppose we can color all simple planar graphs with u003cem>n u003c/em>vertices with at most four colors — this is trivial for u003cem>nu003c/em> less than 5u003cem> —u003c/em> and we are then handed one with u003cem>n u003c/em>+ 1 vertices. How can we show that it, too, will be colorable with at most four colors?u003c/p>nu003cp>u003cspan style=”font-weight: 400;”>First, Kempe showed, using a careful counting argument, that every simple planar graph has something in common: It must contain at least one vertex with at most five neighbors. Taking all the options into account, this means that every possible graph based on a map contains one of six special configurations of vertices.u003c/span>u003c/p>nu003cdiv id=’component-64244688884de’ class=””>u003cscript type=”text/template”>{“type”:”Image”,”id”:”component-64244688884de”,”data”:{“id”:124438,”src”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”alt”:””,”class”:””,”width”:0,”height”:0,”mobileSrc”:{“ID”:124437,”id”:124437,”title”:”FOUR-COLOR_560-Mobile copy 2-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”filesize”:6420,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-2-2-2\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-2-2-2″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:20:20″,”modified”:”2023-03-28 19:20:20″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-1.svg”,”square_large-width”:1,”square_large-height”:1}},”zoomSrc”:false,”mobileZoomSrc”:false,”align”:”align=\”inline\””,”wrapper_width”:””,”caption”:”u003cp>Although described using maps and not graphs, Alfred Kempe showed that every simple planar graph must have a vertex of one of these types.u003c\/p>\n”,”attribution”:””,”variant”:”shortcode”,”size”:”default”,”disableZoom”:false,”disableMobileZoom”:false,”srcImage”:{“ID”:124438,”id”:124438,”title”:”FOUR-COLOR_560-Mobile copy 2-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”filesize”:6420,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-2-2-3\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-2-2-3″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:20:29″,”modified”:”2023-03-28 19:20:29″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-2-2-2.svg”,”square_large-width”:1,”square_large-height”:1}},”largeForPrint”:false,”externalLink”:””,”original_resolution”:false}}u003c/script>u003c/div>nu003cp style=”font-weight: 400;”>If we remove this vertex, and all the edges that connect to it, we leave behind a graph with u003cem>nu003c/em> vertices — which we already know can be colored using four colors. We actually do so as the next step. Now, look at the vertices adjacent to the removed vertex. If they exhibit three or fewer colors, we can color the removed vertex one of the remaining colors, and we’re done: We’ve just shown that the graph with u003cem>nu003c/em> + 1 vertices can be colored with four colors. And if the adjacent vertices include all four colors, Kempe devised a clever method of recoloring certain vertices to free up a color for the removed vertex, again showing that the graph with u003cem>nu003c/em> + 1 vertices needs only four colors.u003c/p>nu003cp style=”font-weight: 400;”>In 1890, the mathematician Percy Heawood identified Kempe’s error. There was a special case in which Kempe’s clever method failed. Heawood remarked that although his own work appeared “destructive (rather) than constructive,” he showed that Kempe’s technique could prove that every map can be colored with five or fewer colors — not quite the original goal, but still impressive.u003c/p>nu003cp>u003cspan style=”font-weight: 400;”>Heawood also investigated maps drawn on more complicated surfaces. He proved that a map on a doughnut with u003cem>gu003c/em> holes may need as many as $latex \frac{\mathrm 1}{\mathrm 2} \left( 7+\sqrt{ 1+48g} \right) $ colors (where this value is rounded down to the nearest integer). So decorating an ordinary doughnut may require as many as seven colors of frosting. Yet, in what was becoming a pattern, his proof for general surfaces was incomplete, and we didn’t have a full proof until 1968.u003c/span>u003c/p>nu003cdiv id=’component-6424468890c4c’ class=””>u003cscript type=”text/template”>{“type”:”Image”,”id”:”component-6424468890c4c”,”data”:{“id”:null,”src”:null,”alt”:null,”class”:””,”width”:null,”height”:null,”mobileSrc”:{“ID”:124440,”id”:124440,”title”:”FOUR-COLOR_560-Mobile copy 3-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”filesize”:13409,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-3-2-3\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-3-2-3″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:21:03″,”modified”:”2023-03-28 19:21:03″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2-1.svg”,”square_large-width”:1,”square_large-height”:1}},”zoomSrc”:{“ID”:124439,”id”:124439,”title”:”FOUR-COLOR_560-Mobile copy 3-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-3-2.svg”,”filesize”:13409,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-3-2-2\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-3-2-2″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:20:55″,”modified”:”2023-03-28 19:20:55″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-3-2.svg”,”square_large-width”:1,”square_large-height”:1}},”mobileZoomSrc”:false,”align”:”align=\”inline\””,”wrapper_width”:””,”caption”:”u003cp>For this map on a donut, shown from both sides, each of the seven regions border the other six regions, so it requires seven colors.u003c\/p>\n”,”attribution”:””,”variant”:”shortcode”,”size”:”default”,”disableZoom”:false,”disableMobileZoom”:false,”srcImage”:false,”largeForPrint”:false,”externalLink”:””,”original_resolution”:false}}u003c/script>u003c/div>nu003cp style=”font-weight: 400;”>But even when Heawood’s theorem for general surfaces was proved, the four-color problem remained unsolved. Thanks to decades of hard work, though, a proof was in sight.u003c/p>nu003cp style=”font-weight: 400;”>At a conference in 1976, 124 years after Guthrie posed the problem, Wolfgang Haken announced a proof in collaboration with Kenneth Appel and with assistance from the graduate student John Koch. Reactions were mixed. “I had expected the audience to erupt with a great ovation,” u003ca href=” Don Albersu003c/a>, who was present at the talk. “Instead, they responded with polite applause!” It was because rather than producing a pencil-and-paper argument, the team relied heavily on a computer.u003c/p>nu003cp style=”font-weight: 400;”>They didn’t have a machine directly answer the question, since infinitely many planar graphs are possible, and a computer cannot check them all. However, much as Kempe proved that every graph contains one of six special configurations of vertices, Appel and Haken showed that every graph must have one of 1,936 special configurations. Proving the theorem amounted to showing that we need only four colors to color any graph containing those subgraphs. Breaking down Kempe’s six special cases into 1,936 sub-cases gave them more fine-grained control and made each case easier to check — though the total number was now far too large for a human to verify without assistance. In fact, completing the calculations required over 1,000 hours of computer time.u003c/p>nu003cdiv id=’component-64244688916e9′ class=”related-list”>u003cscript type=”text/template”>{“type”:”LinkList”,”id”:”component-64244688916e9″,”data”:{“title”:”Related:”,”class”:”related-list”,”links”:({“type”:”internal”,”link”:”https:\/\/www.quantamagazine.org\/mathematician-disproves-hedetniemis-graph-theory-conjecture-20190617\/”,”title”:”A 53-Year-Old Network Coloring Conjecture Is Disproved”},{“type”:”internal”,”link”:”https:\/\/www.quantamagazine.org\/the-scandalous-history-of-the-cubic-formula-20220630\/”,”title”:”The Sordid Past of the Cubic Formula”},{“type”:”internal”,”link”:”https:\/\/www.quantamagazine.org\/how-close-are-computers-to-automating-mathematical-reasoning-20200827\/”,”title”:”How Close Are Computers to Automating Mathematical Reasoning?”},{“type”:”internal”,”link”:”https:\/\/www.quantamagazine.org\/why-mathematicians-study-knots-20221031\/”,”title”:”Why Mathematicians Study Knots”})}}u003c/script>u003c/div>nu003cp style=”font-weight: 400;”>The mathematical community only grudgingly accepted the results, believing that a proof should be understandable and verifiable entirely by humans. While it was acceptable for computers to perform routine arithmetic, mathematicians were not prepared to cede logical reasoning to a computing device. This conservatism and reluctance to embrace time-saving advancements was not new. In the 17th century, there was similar outcry when some mathematicians used newfangled algebraic techniques to solve problems in geometry. Similar drama may play out again with u003ca href=” rise of machine learningu003c/a>: Will mathematicians accept a theorem discovered and proved by an opaque algorithm?u003c/p>nu003cp style=”font-weight: 400;”>The proof of the four-color problem was, of course, only the beginning of the computer revolution in mathematics. In 1998 Thomas Hales used a computer to prove the famous u003ca href=” of Johannes Kepler’su003c/a> that the most efficient way to stack spheres is the one routinely employed to stack oranges in a grocery store. And recently computers helped find “God’s number” — the maximum number of twists required to solve a Rubik’s cube (20 face turns or 26 if half turns count as two.)u003c/p>nu003cp style=”font-weight: 400;”>Although the four-color problem for maps is settled, many basic questions about graph coloring remain unanswered or are u003ca href=” now being resolvedu003c/a>.u003c/p>nu003cp style=”font-weight: 400;”>Heawood’s work with surfaces showed that we can ask colorability questions about nonplanar graphs. And in fact, the chromatic number of a particular graph does not depend on the surface on which the equivalent map is drawn. For instance, a graph in which every vertex is connected to every other vertex is called a complete graph, and the chromatic number of a complete graph with u003cem>n u003c/em>vertices is u003cem>nu003c/em>. So if a large graph contains a complete graph with u003cem>n u003c/em>vertices, then we know the large graph’s chromatic number is at least u003cem>nu003c/em>.u003c/p>nu003cdiv id=’component-6424468897bd6′ class=””>u003cscript type=”text/template”>{“type”:”Image”,”id”:”component-6424468897bd6″,”data”:{“id”:124442,”src”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”alt”:””,”class”:””,”width”:0,”height”:0,”mobileSrc”:{“ID”:124441,”id”:124441,”title”:”FOUR-COLOR_560-Mobile copy 5-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-5-2.svg”,”filesize”:5958,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-5-2-2\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-5-2-2″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:22:00″,”modified”:”2023-03-28 19:22:00″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2.svg”,”square_large-width”:1,”square_large-height”:1}},”zoomSrc”:false,”mobileZoomSrc”:false,”align”:”align=\”inline\””,”wrapper_width”:””,”caption”:”u003cp>A complete graph with u003ci>nu003c\/i> vertices has chromatic number u003ci>nu003c\/i>.u003c\/p>\n”,”attribution”:””,”variant”:”shortcode”,”size”:”default”,”disableZoom”:false,”disableMobileZoom”:false,”srcImage”:{“ID”:124442,”id”:124442,”title”:”FOUR-COLOR_560-Mobile copy 5-2″,”filename”:”FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”filesize”:5958,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-copy-5-2-3\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-copy-5-2-3″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:22:06″,”modified”:”2023-03-28 19:22:06″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-copy-5-2-1.svg”,”square_large-width”:1,”square_large-height”:1}},”largeForPrint”:false,”externalLink”:””,”original_resolution”:false}}u003c/script>u003c/div>nu003cp>This observation does not imply that if the chromatic number of a graph is u003ci>n, u003c/i>then it contains a complete graph with u003ci>n u003c/i>vertices. But in 1943, Hugo Hadwiger conjectured something very similar. He believed that if a graph with no loops has chromatic number u003ci>n, u003c/i>then it has an arrangement of vertices called a $latex K_n$ minor, where deleting some vertices and edges and grouping together others results in a complete graph with u003ci>n u003c/i>vertices. Rephrased, this conjecture states that if a graph does not have a $latex K_n$ minor, then it can be colored with fewer than u003ci>n u003c/i>colors. Hadwiger’s conjecture, one of the most important open problems in graph theory, generalizes the four-color theorem, since a planar graph cannot contain a $latex K_5$ minor.u003c/p>nu003cp style=”font-weight: 400;”>Although graph coloring started with a question in cartography, problems having nothing to do with maps or colors can also fit into the graph-coloring framework. For example, sudoku is a graph-coloring problem in disguise. View each cell as a vertex and the nine digits as the colors. Each vertex has 20 edges coming out of it — one to each cell in its row, in its column and in its 3-by-3 sub-square. This graph of 81 vertices and 810 edges starts with a partial coloring (the given clues). The object of the game is to color the rest of the vertices.u003c/p>nu003cdiv id=’component-64244688ad19d’ class=””>u003cscript type=”text/template”>{“type”:”Image”,”id”:”component-64244688ad19d”,”data”:{“id”:124444,”src”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”alt”:””,”class”:””,”width”:0,”height”:0,”mobileSrc”:{“ID”:124445,”id”:124445,”title”:”FOUR-COLOR_560-Mobile 6″,”filename”:”FOUR-COLOR_560-Mobile-6-1.svg”,”filesize”:38787,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-6-2\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-6-2″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:23:15″,”modified”:”2023-03-28 19:23:15″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6-1.svg”,”square_large-width”:1,”square_large-height”:1}},”zoomSrc”:false,”mobileZoomSrc”:false,”align”:”align=\”inline\””,”wrapper_width”:””,”caption”:”u003cp>Sudoku can be viewed as a graph coloring problem.u003c\/p>\n”,”attribution”:””,”variant”:”shortcode”,”size”:”default”,”disableZoom”:false,”disableMobileZoom”:false,”srcImage”:{“ID”:124444,”id”:124444,”title”:”FOUR-COLOR_560-Mobile 6″,”filename”:”FOUR-COLOR_560-Mobile-6.svg”,”filesize”:38787,”url”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”link”:”https:\/\/www.quantamagazine.org\/only-computers-can-solve-this-map-coloring-problem-from-the-1800s-20230329\/four-color_560-mobile-6\/”,”alt”:””,”author”:”51434″,”description”:””,”caption”:””,”name”:”four-color_560-mobile-6″,”status”:”inherit”,”uploaded_to”:124409,”date”:”2023-03-28 19:23:08″,”modified”:”2023-03-28 19:23:08″,”menu_order”:0,”mime_type”:”image\/svg+xml”,”type”:”image”,”subtype”:”svg+xml”,”icon”:”https:\/\/api.quantamagazine.org\/wp-includes\/images\/media\/default.png”,”width”:0,”height”:0,”sizes”:{“thumbnail”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”thumbnail-width”:1,”thumbnail-height”:1,”medium”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”medium-width”:1,”medium-height”:1,”medium_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”medium_large-width”:1,”medium_large-height”:1,”large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”large-width”:1,”large-height”:1,”1536×1536″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”1536×1536-width”:1,”1536×1536-height”:1,”2048×2048″:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”2048×2048-width”:1,”2048×2048-height”:1,”square_small”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”square_small-width”:1,”square_small-height”:1,”square_large”:”https:\/\/d2r55xnwy6nx47.cloudfront.net\/uploads\/2023\/03\/FOUR-COLOR_560-Mobile-6.svg”,”square_large-width”:1,”square_large-height”:1}},”largeForPrint”:false,”externalLink”:””,”original_resolution”:false}}u003c/script>u003c/div>nu003cp>Despite all the attention these coloring problems have received, we still do not have a proof of the original four-color theorem that a human can read. This is not due to lack of trying. Even today, new proofs appear, generate some enthusiasm and, like Kempe’s proof, are shown to contain errors.u003c/p>nu003cp style=”font-weight: 400;”>The mathematician Paul Erdős used to speak about “The Book” — an imaginary tome containing the most elegant proofs of every theorem. One wonders if The Book contains a human-readable proof of the four-color theorem, and if so, whether we will ever see it.u003c/p>n”,”fadein”:false,”__typename”:”ACFContent”},”$Post:124409.acf.series”:{“name”:null,”link”:null,”__typename”:”Term”},”$Post:124409.next.data.0″:{“title”:”Astronomers Dig Up the Stars That Birthed the Milky Way”,”link”:”https://www.quantamagazine.org/with-ai-astronomers-dig-up-the-stars-that-birthed-the-milky-way-20230328/”,”categories”:({“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0.categories.0″,”typename”:”Term”},{“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0.categories.1″,”typename”:”Term”}),”featured_media_image”:null,”acf”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0.acf”,”typename”:”ACFFields”},”__typename”:”Post”},”$Post:124409.next.data.0.categories.0″:{“slug”:”abstractions”,”__typename”:”Term”},”$Post:124409.next.data.0.categories.1″:{“slug”:”physics”,”__typename”:”Term”},”$Post:124409.next.data.0.acf”:{“template”:”article”,”featured_block_title”:””,”featured_image_gif”:false,”featured_image_default”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0.acf.featured_image_default”,”typename”:”Image”},”featured_image_full_width”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0.acf.featured_image_full_width”,”typename”:”Image”},”__typename”:”ACFFields”},”$Post:124409.next.data.0.acf.featured_image_default”:{“alt”:””,”caption”:””,”url”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-Default.webp”,”width”:520,”height”:292,”sizes”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0.acf.featured_image_default.sizes”,”typename”:”ImageSizes”},”__typename”:”Image”},”$Post:124409.next.data.0.acf.featured_image_default.sizes”:{“thumbnail”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-Default.webp”,”square_small”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-Default-160×160.webp”,”square_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-Default.webp”,”medium”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-Default.webp”,”medium_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-Default.webp”,”large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-Default.webp”,”__typename”:”ImageSizes”},”$Post:124409.next.data.0.acf.featured_image_full_width”:{“alt”:””,”caption”:””,”url”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-HP-scaled.webp”,”width”:2560,”height”:1084,”sizes”:{“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0.acf.featured_image_full_width.sizes”,”typename”:”ImageSizes”},”__typename”:”Image”},”$Post:124409.next.data.0.acf.featured_image_full_width.sizes”:{“thumbnail”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-HP-520×220.webp”,”square_small”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-HP-160×160.webp”,”square_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-HP-520×520.webp”,”medium”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-HP-1720×729.webp”,”medium_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-HP-768×325.webp”,”large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2023/03/ProtoMilkyWay-HWRix_MPIA-HP-scaled.webp”,”__typename”:”ImageSizes”},”$Post:124409.next”:{“data”:({“type”:”id”,”generated”:true,”id”:”$Post:124409.next.data.0″,”typename”:”Post”}),”__typename”:”PostPageArchive”}}n”,”settings”:{“socialLinks”:({“type”:”facebook”,”label”:”Facebook”,”url”:”https://www.facebook.com/QuantaNews”,”__typename”:”SocialMediaLink”},{“type”:”twitter”,”label”:”Twitter”,”url”:”https://twitter.com/QuantaMagazine”,”__typename”:”SocialMediaLink”},{“type”:”youtube”,”label”:”YouTube”,”url”:”https://www.youtube.com/c/QuantaScienceChannel”,”__typename”:”SocialMediaLink”},{“type”:”instagram”,”label”:”Instagram”,”url”:”https://instagram.com/quantamag”,”__typename”:”SocialMediaLink”},{“type”:”rss”,”label”:”RSS”,”url”:”https://api.quantamagazine.org/feed/”,”__typename”:”SocialMediaLink”}),”newsletterAction”:”https://quantamagazine.us1.list-manage.com/subscribe/post?u=0d6ddf7dc1a0b7297c8e06618&id=f0cb61321c”,”newsletterUrl”:”http://us1.campaign-archive2.com/home/?u=0d6ddf7dc1a0b7297c8e06618&id=f0cb61321c”,”sfNotice”:”An editorially independent publication supported by the Simons Foundation.”,”commentsHeader”:”
n”,”channels”:({“title”:”The Joy of Why”,”slug”:”the-joy-of-why”,”description”:”The mathematician and author Steven Strogatz interviews leading researchers about the great scientific and mathematical questions of our time.”,”featured_image”:{“alt”:””,”caption”:””,”url”:” Science Podcast”,”slug”:”quanta-podcast”,”description”:”Susan Valot narrates in-depth news episodes based on Quanta Magazine’s articles about mathematics, physics, biology and computer science. “,”featured_image”:{“alt”:”text reads Quanta Science Podcast”,”caption”:””,”url”:” reads Quanta Science Podcast”,”caption”:””,”url”:” Joy of x”,”slug”:”the-joy-of-x”,”description”:”The acclaimed mathematician and author Steven Strogatz interviews some of the world’s leading scientists about their lives and work.”,”featured_image”:{“alt”:””,”caption”:””,”url”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JoX_Spheres_1920x1080-1.jpg”,”width”:1920,”height”:1080,”sizes”:{“thumbnail”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JoX_Spheres_1920x1080-1-520×293.jpg”,”square_small”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JoX_Spheres_1920x1080-1-160×160.jpg”,”square_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JoX_Spheres_1920x1080-1-520×520.jpg”,”medium”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JoX_Spheres_1920x1080-1-1720×968.jpg”,”medium_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JoX_Spheres_1920x1080-1-768×432.jpg”,”large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JoX_Spheres_1920x1080-1.jpg”,”__typename”:”ImageSizes”},”__typename”:”Image”},”square_image”:{“alt”:””,”caption”:””,”url”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JofX_podcast_logo-NEW-600.jpg”,”width”:600,”height”:600,”sizes”:{“thumbnail”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JofX_podcast_logo-NEW-600-520×520.jpg”,”square_small”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JofX_podcast_logo-NEW-600-160×160.jpg”,”square_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JofX_podcast_logo-NEW-600-520×520.jpg”,”medium”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JofX_podcast_logo-NEW-600.jpg”,”medium_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JofX_podcast_logo-NEW-600.jpg”,”large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/03/JofX_podcast_logo-NEW-600.jpg”,”__typename”:”ImageSizes”},”__typename”:”Image”},”subscribe_itunes_link”:”https://podcasts.apple.com/us/podcast/the-joy-of-x/id1495067186″,”subscribe_spotify_link”:”https://open.spotify.com/show/5HcCtKPH5gnOjRiMtTdC07?si=lFzCzat9QfuPU3hWuYibxQ”,”subscribe_android_link”:”https://podcasts.google.com/feed/aHR0cHM6Ly9hcGkucXVhbnRhbWFnYXppbmUub3JnL2ZlZWQvdGhlLWpveS1vZi14Lw”,”subscribe_stitcher_link”:”https://www.stitcher.com/podcast/the-joy-of-x”,”__typename”:”Channel”}),”editors”:({“name”:”Bill Andrews – Senior CS Editor”,”__typename”:”Editor”},{“name”:”Ben Brubaker – Staff CS Writer”,”__typename”:”Editor”},{“name”:”Matt Carlstrom – Senior Engagement Editor”,”__typename”:”Editor”},{“name”:”Jordana Cepelewicz – Senior Math Writer”,”__typename”:”Editor”},{“name”:”Konstantin Kakaes – Senior Math Editor”,”__typename”:”Editor”},{“name”:”Thomas Lin – Editor in Chief”,”__typename”:”Editor”},{“name”:”Michael Moyer – Deputy Editor, Physics, Math, CS”,”__typename”:”Editor”},{“name”:”John Rennie – Deputy Editor, Biology, Podcasts”,”__typename”:”Editor”},{“name”:”Yasemin Saplakoglu – Staff Biology Writer”,”__typename”:”Editor”},{“name”:”Samuel Velasco – Art Director”,”__typename”:”Editor”},{“name”:”Natalie Wolchover – Senior Physics Editor”,”__typename”:”Editor”},{“name”:”Charlie Wood – Staff Physics Writer”,”__typename”:”Editor”}),”popularSearches”:({“term”:”math”,”label”:”Mathematics”,”__typename”:”PopularSearch”},{“term”:”physics”,”label”:”Physics”,”__typename”:”PopularSearch”},{“term”:”black holes”,”label”:”Black Holes”,”__typename”:”PopularSearch”},{“term”:”evolution”,”label”:”Evolution”,”__typename”:”PopularSearch”}),”searchTopics”:({“type”:”Tag”,”label”:”Podcasts”,”tag”:{“name”:”Quanta Podcast”,”slug”:”quanta-podcast”,”term_id”:”552″,”__typename”:”Term”},”category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”Tag”,”label”:”Columns”,”tag”:{“name”:”Quantized Columns”,”slug”:”quantized”,”term_id”:”551″,”__typename”:”Term”},”category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”Series”,”label”:”Series”,”tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”Category”,”label”:”Interviews”,”tag”:{“name”:”Q&A”,”slug”:”qa”,”term_id”:”567″,”__typename”:”Term”},”category”:{“name”:”Q&A”,”slug”:”qa”,”term_id”:”176″,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”Category”,”label”:”Multimedia”,”tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”category”:{“name”:”Multimedia”,”slug”:”multimedia”,”term_id”:”43″,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”Category”,”label”:”Puzzles”,”tag”:{“name”:”puzzles”,”slug”:”puzzles”,”term_id”:”542″,”__typename”:”Term”},”category”:{“name”:”Puzzles”,”slug”:”puzzles”,”term_id”:”546″,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”Category”,”label”:”Blog Posts”,”tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”category”:{“name”:”Abstractions blog”,”slug”:”abstractions”,”term_id”:”619″,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”news”,”label”:”News Articles”,”tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”__typename”:”SearchTopic”},{“type”:”videos”,”label”:”Videos”,”tag”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”category”:{“name”:null,”slug”:null,”term_id”:null,”__typename”:”Term”},”__typename”:”SearchTopic”}),”searchSections”:({“name”:”Mathematics”,”slug”:”mathematics”,”term_id”:”188″,”__typename”:”Term”},{“name”:”Physics”,”slug”:”physics”,”term_id”:”189″,”__typename”:”Term”},{“name”:”Biology”,”slug”:”biology”,”term_id”:”191″,”__typename”:”Term”},{“name”:”Computer Science”,”slug”:”computer-science”,”term_id”:”190″,”__typename”:”Term”}),”searchAuthors”:({“id”:”38171″,”name”:”Adam Becker”,”__typename”:”AuthorList”},{“id”:”28087″,”name”:”Adam Mann”,”__typename”:”AuthorList”},{“id”:”29794″,”name”:”Alex Kontorovich”,”__typename”:”AuthorList”},{“id”:”39302″,”name”:”Alexander Hellemans”,”__typename”:”AuthorList”},{“id”:”56″,”name”:”Alla Katsnelson”,”__typename”:”AuthorList”},{“id”:”47249″,”name”:”Allison Parshall”,”__typename”:”AuthorList”},{“id”:”29458″,”name”:”Allison Whitten”,”__typename”:”AuthorList”},{“id”:”73″,”name”:”Amanda Gefter”,”__typename”:”AuthorList”},{“id”:”39164″,”name”:”Ana Kova”,”__typename”:”AuthorList”},{“id”:”59″,”name”:”Andreas von Bubnoff”,”__typename”:”AuthorList”},{“id”:”8728″,”name”:”Anil Ananthaswamy”,”__typename”:”AuthorList”},{“id”:”11648″,”name”:”Ann Finkbeiner”,”__typename”:”AuthorList”},{“id”:”50172″,”name”:”Anna Gibbs”,”__typename”:”AuthorList”},{“id”:”42689″,”name”:”Annie Melchor”,”__typename”:”AuthorList”},{“id”:”95″,”name”:”Ariel Bleicher”,”__typename”:”AuthorList”},{“id”:”15493″,”name”:”Ashley Smart”,”__typename”:”AuthorList”},{“id”:”450″,”name”:”Ashley Yeager”,”__typename”:”AuthorList”},{“id”:”36490″,”name”:”Ben Brubaker”,”__typename”:”AuthorList”},{“id”:”16315″,”name”:”Bill Andrews”,”__typename”:”AuthorList”},{“id”:”2752″,”name”:”Bob Henderson”,”__typename”:”AuthorList”},{“id”:”15492″,”name”:”Brendan Z. Foster”,”__typename”:”AuthorList”},{“id”:”68″,”name”:”Brooke Borel”,”__typename”:”AuthorList”},{“id”:”62″,”name”:”Carl Zimmer”,”__typename”:”AuthorList”},{“id”:”13684″,”name”:”Caroline Lee”,”__typename”:”AuthorList”},{“id”:”13691″,”name”:”Caroline Lee”,”__typename”:”AuthorList”},{“id”:”50″,”name”:”Carrie Arnold”,”__typename”:”AuthorList”},{“id”:”15142″,”name”:”Chanda Prescod-Weinstein”,”__typename”:”AuthorList”},{“id”:”8084″,”name”:”Charlie Wood”,”__typename”:”AuthorList”},{“id”:”742″,”name”:”Christie Wilcox”,”__typename”:”AuthorList”},{“id”:”51630″,”name”:”Christopher W. Young”,”__typename”:”AuthorList”},{“id”:”11543″,”name”:”Claudia Dreifus”,”__typename”:”AuthorList”},{“id”:”57″,”name”:”Courtney Humphries”,”__typename”:”AuthorList”},{“id”:”7262″,”name”:”Dalmeet Singh Chawla”,”__typename”:”AuthorList”},{“id”:”70″,”name”:”Dan Falk”,”__typename”:”AuthorList”},{“id”:”19918″,”name”:”Dana Najjar”,”__typename”:”AuthorList”},{“id”:”13695″,”name”:”Daniel Garisto”,”__typename”:”AuthorList”},{“id”:”32676″,”name”:”Daniel S. Freed”,”__typename”:”AuthorList”},{“id”:”13724″,”name”:”David H. Freedman”,”__typename”:”AuthorList”},{“id”:”26310″,”name”:”David S. Richeson”,”__typename”:”AuthorList”},{“id”:”30207″,”name”:”David Tse”,”__typename”:”AuthorList”},{“id”:”19266″,”name”:”Devin Powell”,”__typename”:”AuthorList”},{“id”:”13251″,”name”:”Diana Kwon”,”__typename”:”AuthorList”},{“id”:”17000″,”name”:”Elena Renken”,”__typename”:”AuthorList”},{“id”:”17149″,”name”:”Elizabeth Landau”,”__typename”:”AuthorList”},{“id”:”5279″,”name”:”Elizabeth Preston”,”__typename”:”AuthorList”},{“id”:”58″,”name”:”Elizabeth Svoboda”,”__typename”:”AuthorList”},{“id”:”32612″,”name”:”Ellen Horne”,”__typename”:”AuthorList”},{“id”:”27534″,”name”:”Emily Buder”,”__typename”:”AuthorList”},{“id”:”25173″,”name”:”Emily Levesque”,”__typename”:”AuthorList”},{“id”:”64″,”name”:”Emily Singer”,”__typename”:”AuthorList”},{“id”:”47″,”name”:”Erica Klarreich”,”__typename”:”AuthorList”},{“id”:”14784″,”name”:”Erika K. Carlson”,”__typename”:”AuthorList”},{“id”:”98″,”name”:”Esther Landhuis”,”__typename”:”AuthorList”},{“id”:”5830″,”name”:”Eva Silverstein”,”__typename”:”AuthorList”},{“id”:”6793″,”name”:”Evelyn Lamb”,”__typename”:”AuthorList”},{“id”:”75″,”name”:”Ferris Jabr”,”__typename”:”AuthorList”},{“id”:”52″,”name”:”Frank Wilczek”,”__typename”:”AuthorList”},{“id”:”69″,”name”:”Gabriel Popkin”,”__typename”:”AuthorList”},{“id”:”77″,”name”:”George Musser”,”__typename”:”AuthorList”},{“id”:”19092″,”name”:”Grant Sanderson”,”__typename”:”AuthorList”},{“id”:”20557″,”name”:”Howard Lee”,”__typename”:”AuthorList”},{“id”:”66″,”name”:”Ingrid Daubechies”,”__typename”:”AuthorList”},{“id”:”46418″,”name”:”Ingrid Wickelgren”,”__typename”:”AuthorList”},{“id”:”85″,”name”:”Ivan Amato”,”__typename”:”AuthorList”},{“id”:”37141″,”name”:”Jake Buehler”,”__typename”:”AuthorList”},{“id”:”44758″,”name”:”James Dinneen”,”__typename”:”AuthorList”},{“id”:”49403″,”name”:”James R. Riordon”,”__typename”:”AuthorList”},{“id”:”12170″,”name”:”Janna Levin”,”__typename”:”AuthorList”},{“id”:”32″,”name”:”Jeanette Kazmierczak”,”__typename”:”AuthorList”},{“id”:”51″,”name”:”Jennifer Ouellette”,”__typename”:”AuthorList”},{“id”:”44787″,”name”:”Joanna Thompson”,”__typename”:”AuthorList”},{“id”:”50541″,”name”:”John M. Beggs”,”__typename”:”AuthorList”},{“id”:”72″,”name”:”John Pavlus”,”__typename”:”AuthorList”},{“id”:”16475″,”name”:”John Preskill”,”__typename”:”AuthorList”},{“id”:”91″,”name”:”John Rennie”,”__typename”:”AuthorList”},{“id”:”10351″,”name”:”Jonathan Lambert”,”__typename”:”AuthorList”},{“id”:”31716″,”name”:”Jonathan O’Callaghan”,”__typename”:”AuthorList”},{“id”:”1241″,”name”:”Jordana Cepelewicz”,”__typename”:”AuthorList”},{“id”:”8463″,”name”:”Joshua Roebke”,”__typename”:”AuthorList”},{“id”:”49″,”name”:”Joshua Sokol”,”__typename”:”AuthorList”},{“id”:”16815″,”name”:”jye”,”__typename”:”AuthorList”},{“id”:”67″,”name”:”K.C. Cole”,”__typename”:”AuthorList”},{“id”:”37462″,”name”:”Karmela Padavic-Callaghan”,”__typename”:”AuthorList”},{“id”:”87″,”name”:”Kat McGowan”,”__typename”:”AuthorList”},{“id”:”36139″,”name”:”Katarina Zimmer”,”__typename”:”AuthorList”},{“id”:”20556″,”name”:”Katherine Harmon Courage”,”__typename”:”AuthorList”},{“id”:”90″,”name”:”Katia Moskvitch”,”__typename”:”AuthorList”},{“id”:”39551″,”name”:”Katie McCormick”,”__typename”:”AuthorList”},{“id”:”27374″,”name”:”Kelsey Houston-Edwards”,”__typename”:”AuthorList”},{“id”:”40″,”name”:”Kevin Hartnett”,”__typename”:”AuthorList”},{“id”:”47633″,”name”:”Konstantin Kakaes”,”__typename”:”AuthorList”},{“id”:”45758″,”name”:”Kristina Armitage”,”__typename”:”AuthorList”},{“id”:”38413″,”name”:”Lakshmi Chandrasekaran”,”__typename”:”AuthorList”},{“id”:”12570″,”name”:”Laura Poppick”,”__typename”:”AuthorList”},{“id”:”38699″,”name”:”Leila Sloman”,”__typename”:”AuthorList”},{“id”:”23451″,”name”:”Liam Drew”,”__typename”:”AuthorList”},{“id”:”79″,”name”:”Liz Kruesi”,”__typename”:”AuthorList”},{“id”:”38″,”name”:”Lucy Reading-Ikkanda”,”__typename”:”AuthorList”},{“id”:”47180″,”name”:”Lyndie Chiou”,”__typename”:”AuthorList”},{“id”:”60″,”name”:”Maggie McKee”,”__typename”:”AuthorList”},{“id”:”2333″,”name”:”Mallory Locklear”,”__typename”:”AuthorList”},{“id”:”3569″,”name”:”Marcus Woo”,”__typename”:”AuthorList”},{“id”:”414″,”name”:”Mark Kim-Mulgrew”,”__typename”:”AuthorList”},{“id”:”50807″,”name”:”Marta Zaraska”,”__typename”:”AuthorList”},{“id”:”20495″,”name”:”Matt Carlstrom”,”__typename”:”AuthorList”},{“id”:”47830″,”name”:”Matt von Hippel”,”__typename”:”AuthorList”},{“id”:”17147″,”name”:”Matthew Hutson”,”__typename”:”AuthorList”},{“id”:”30953″,”name”:”Max G. Levy”,”__typename”:”AuthorList”},{“id”:”32437″,”name”:”Max Kozlov”,”__typename”:”AuthorList”},{“id”:”38705″,”name”:”mcho”,”__typename”:”AuthorList”},{“id”:”40613″,”name”:”Melanie Mitchell”,”__typename”:”AuthorList”},{“id”:”7186″,”name”:”Melinda Wenner Moyer”,”__typename”:”AuthorList”},{“id”:”14093″,”name”:”Michael Harris”,”__typename”:”AuthorList”},{“id”:”34″,”name”:”Michael Kranz”,”__typename”:”AuthorList”},{“id”:”23″,”name”:”Michael Moyer”,”__typename”:”AuthorList”},{“id”:”74″,”name”:”Michael Nielsen”,”__typename”:”AuthorList”},{“id”:”19093″,”name”:”Michele Bannister”,”__typename”:”AuthorList”},{“id”:”1472″,”name”:”Moira Chas”,”__typename”:”AuthorList”},{“id”:”6476″,”name”:”Monique Brouillette”,”__typename”:”AuthorList”},{“id”:”42264″,”name”:”Mordechai Rorvig”,”__typename”:”AuthorList”},{“id”:”10″,”name”:”Natalie Wolchover”,”__typename”:”AuthorList”},{“id”:”37605″,”name”:”Nick Thieme”,”__typename”:”AuthorList”},{“id”:”43298″,”name”:”Nicole Yunger Halpern”,”__typename”:”AuthorList”},{“id”:”37428″,”name”:”Nima Arkani-Hamed”,”__typename”:”AuthorList”},{“id”:”19962″,”name”:”Nola Taylor Redd”,”__typename”:”AuthorList”},{“id”:”51434″,”name”:”Nona McKenna”,”__typename”:”AuthorList”},{“id”:”24″,”name”:”Olena Shmahalo”,”__typename”:”AuthorList”},{“id”:”1816″,”name”:”Patrick Honner”,”__typename”:”AuthorList”},{“id”:”84″,”name”:”Peter Byrne”,”__typename”:”AuthorList”},{“id”:”55″,”name”:”Philip Ball”,”__typename”:”AuthorList”},{“id”:”50804″,”name”:”Polly Stryker”,”__typename”:”AuthorList”},{“id”:”31″,”name”:”Pradeep Mutalik”,”__typename”:”AuthorList”},{“id”:”24011″,”name”:”Puja Changoiwala”,”__typename”:”AuthorList”},{“id”:”100″,”name”:”Quanta Magazine”,”__typename”:”AuthorList”},{“id”:”2784″,”name”:”R. Douglas Fields”,”__typename”:”AuthorList”},{“id”:”26114″,”name”:”Rachel Crowell”,”__typename”:”AuthorList”},{“id”:”9412″,”name”:”Raleigh McElvery”,”__typename”:”AuthorList”},{“id”:”820″,”name”:”Ramin Skibba”,”__typename”:”AuthorList”},{“id”:”1666″,”name”:”Rebecca Boyle”,”__typename”:”AuthorList”},{“id”:”20950″,”name”:”Richard Masland”,”__typename”:”AuthorList”},{“id”:”48″,”name”:”Robbert Dijkgraaf”,”__typename”:”AuthorList”},{“id”:”80″,”name”:”Roberta Kwok”,”__typename”:”AuthorList”},{“id”:”15681″,”name”:”Robin George Andrews”,”__typename”:”AuthorList”},{“id”:”51187″,”name”:”Robin Lloyd”,”__typename”:”AuthorList”},{“id”:”24577″,”name”:”Rodrigo Pérez Ortega”,”__typename”:”AuthorList”},{“id”:”78″,”name”:”Sabine Hossenfelder”,”__typename”:”AuthorList”},{“id”:”23845″,”name”:”Samuel Velasco”,”__typename”:”AuthorList”},{“id”:”83″,”name”:”Sarah Lewin”,”__typename”:”AuthorList”},{“id”:”35441″,”name”:”Scott Aaronson”,”__typename”:”AuthorList”},{“id”:”76″,”name”:”Sean B. Carroll”,”__typename”:”AuthorList”},{“id”:”15680″,”name”:”Sean Carroll”,”__typename”:”AuthorList”},{“id”:”7239″,”name”:”Shannon Hall”,”__typename”:”AuthorList”},{“id”:”44197″,”name”:”Sheon Han”,”__typename”:”AuthorList”},{“id”:”65″,”name”:”Siobhan Roberts”,”__typename”:”AuthorList”},{“id”:”5944″,”name”:”Sophia Chen”,”__typename”:”AuthorList”},{“id”:”61″,”name”:”Steph Yin”,”__typename”:”AuthorList”},{“id”:”63″,”name”:”Stephanie Bucklin”,”__typename”:”AuthorList”},{“id”:”26311″,”name”:”Stephanie DeMarco”,”__typename”:”AuthorList”},{“id”:”71″,”name”:”Stephen Ornes”,”__typename”:”AuthorList”},{“id”:”17148″,”name”:”Steve Nadis”,”__typename”:”AuthorList”},{“id”:”13356″,”name”:”Steven Strogatz”,”__typename”:”AuthorList”},{“id”:”17150″,”name”:”Susan D’Agostino”,”__typename”:”AuthorList”},{“id”:”39768″,”name”:”Tamar Lichter Blanks”,”__typename”:”AuthorList”},{“id”:”2960″,”name”:”Tara C. Smith”,”__typename”:”AuthorList”},{“id”:”14785″,”name”:”Thomas Lewton”,”__typename”:”AuthorList”},{“id”:”3″,”name”:”Thomas Lin”,”__typename”:”AuthorList”},{“id”:”54″,”name”:”Tim Vernimmen”,”__typename”:”AuthorList”},{“id”:”88″,”name”:”Tom Siegfried”,”__typename”:”AuthorList”},{“id”:”12964″,”name”:”Vanessa Schipani”,”__typename”:”AuthorList”},{“id”:”53″,”name”:”Veronique Greenwood”,”__typename”:”AuthorList”},{“id”:”86″,”name”:”Virginia Hughes”,”__typename”:”AuthorList”},{“id”:”3244″,”name”:”Viviane Callier”,”__typename”:”AuthorList”},{“id”:”89″,”name”:”Wynne Parry”,”__typename”:”AuthorList”},{“id”:”15913″,”name”:”XiaoZhi Lim”,”__typename”:”AuthorList”},{“id”:”42263″,”name”:”Yasemin Saplakoglu”,”__typename”:”AuthorList”},{“id”:”45757″,”name”:”Zack Savitsky”,”__typename”:”AuthorList”}),”adBehavior”:”everywhere”,”adUrl”:”https://www.simonsfoundation.org/”,”adImageHome”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/08/HP-Design-G.png”,”adImageArticle”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/08/Article-Design-G.png”,”adImageTablet”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/08/Newsletter-Design-G.png”,”adImageMobile”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2022/08/HP-Design-G.png”,”trackingScripts”:”rnrnrnrnrnrnrnrn”},”theme”:{“page”:{“accent”:”#ff8600″,”text”:”#1a1a1a”,”background”:”white”},”header”:{“type”:”default”,”gradient”:{“color”:”white”},”solid”:{“primary”:”#1a1a1a”,”secondary”:”#999999″,”hover”:”#ff8600″},”transparent”:{“primary”:”white”,”secondary”:”white”,”hover”:”#ff8600″}}},”redirect”:null,”fallbackImage”:{“alt”:””,”caption”:””,”url”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2017/04/default.gif”,”width”:1200,”height”:600,”sizes”:{“thumbnail”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2017/04/default-520×260.gif”,”square_small”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2017/04/default-160×160.gif”,”square_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2017/04/default-520×520.gif”,”medium”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2017/04/default.gif”,”medium_large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2017/04/default-768×384.gif”,”large”:”https://d2r55xnwy6nx47.cloudfront.net/uploads/2017/04/default.gif”,”__typename”:”ImageSizes”},”__typename”:”Image”}},”modals”:{“loginModal”:false,”signUpModal”:false,”forgotPasswordModal”:false,”resetPasswordModal”:false,”lightboxModal”:false,”callback”:null,”props”:null},”podcast”:{“id”:null,”playing”:false,”duration”:0,”currentTime”:0},”user”:{“loggedIn”:false,”savedArticleIDs”:(),”userEmail”:””,”editor”:false},”comments”:{“open”:false},”cookies”:{“acceptedCookie”:false}},
env: {
APP_URL: ‘
NODE_ENV: ‘production’,
WP_URL: ‘
HAS_GOOGLE_ID: true,
HAS_FACEBOOK_ID: true,
},
}
