# The Doodle Theorem

Subscribe!

My latest posts can be found here:
Previous blog posts:

# The Doodle Theorem

The Doodle Theorem says:

 Any map drawn with a single pen stroke that returns to its starting point can be two-coloured.

Here's one proof.

Take a planar graph that's been drawn with a single pen stroke that returns to its starting point.

• As we draw the graph, for every vertex we must arrive, then depart.

• Except for the vertex where we start and end, but we can think of the final arrival as matched with the initial departure.

• As a result, every vertex must have an even number of edges.

• In the dual, a circuit around a vertex of the original will have an even number of edges,

• ... because edges in the dual cross edges in the original.

• Consider two circuits that share edges but do not cross. When combined into a single cycle, the length of the resulting cycle is the sum of the two lengths, minus twice the number of edges in the shared section.

• By combining the individual cycles in the dual around vertices of the original map, we can now see that every cycle in the dual is of even length.

Now we use the theorem that says:

• A graph is bipartite if and only if every circuit is even.

We'll come back to that in a minute.

 An Euler Cycle is a tour of all the edges of a graph, visiting vertices as often as necessary, but traversing every edge exactly once, and returning to our starting position.
So given all that, we now have that the dual is bipartite, and that means both it and the original map can be bi-coloured!

So we're done - a planar graph with an Euler Cycle (see side box) can be bi-coloured.

Well, nearly done. We still have to show that last step.

 Theorem: A graph is bipartite if and only if Every circuit is even. Proof: It's enough to prove this for each component, so we may assume that the graph is connected. Pick any vertex $a$ and put it in $A.$ Repeatedly pick a vertex $v$ in $A$ and put its neighbours in $B,$ or pick a vertex in $B$ and put its neighbours in $A.$ If a vertex is put both in $A$ and in $B$ (for the first time), that gives us an odd cycle. If this never happens, then the sets $A$ and $B$ form a partition of the vertices of the graph into two independent sets; in other words, it is a bipartite graph. And we really are done.

 <<<< Prev <<<< Be Careful What You Say : >>>> Next >>>> Graph Three Colouring ...

I've decided no longer to include comments directly via the Disqus (or any other) system. Instead, I'd be more than delighted to get emails from people who wish to make comments or engage in discussion. Comments will then be integrated into the page as and when they are appropriate.

If the number of emails/comments gets too large to handle then I might return to a semi-automated system. That's looking increasingly unlikely.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.5901663899421692, "perplexity": 338.7964267551945}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2021-31/segments/1627046155458.35/warc/CC-MAIN-20210805063730-20210805093730-00372.warc.gz"}