{"id":3301,"date":"2021-07-31T05:53:00","date_gmt":"2021-07-31T08:53:00","guid":{"rendered":"https:\/\/www.blogs.unicamp.br\/zero\/?p=3301"},"modified":"2022-05-23T17:52:16","modified_gmt":"2022-05-23T20:52:16","slug":"crochet-and-the-two-color-theorem","status":"publish","type":"post","link":"https:\/\/www.blogs.unicamp.br\/zero\/3301\/","title":{"rendered":"Crochet and the two-color theorem"},"content":{"rendered":"\n<p>The entire math community is familiar with the famous 4 Color Theorem. Its statement states that any map, drawn on the plane, can be painted in 4 colors without neighboring regions having the same colors.<\/p>\n\n\n\n<p>But there is a more humble theorem, not as robust as the previous one, but still very interesting called the &#8220;two-color theorem&#8221;. Cool, but what does this have to do with crochet?<\/p>\n\n\n\n<p>Let&#8217;s imagine a crochet used to make flat surfaces like rugs, and with well-defined color regions. As the figure below:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img fetchpriority=\"high\" decoding=\"async\" width=\"819\" height=\"1024\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/219896604_125586426417861_2542671193780710329_n-819x1024.jpg\" alt=\"\" class=\"wp-image-3279\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/219896604_125586426417861_2542671193780710329_n-819x1024.jpg 819w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/219896604_125586426417861_2542671193780710329_n-240x300.jpg 240w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/219896604_125586426417861_2542671193780710329_n-768x960.jpg 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/219896604_125586426417861_2542671193780710329_n.jpg 1080w\" sizes=\"(max-width: 819px) 100vw, 819px\" \/><figcaption>Image taken from <a href=\"https:\/\/www.instagram.com\/croche.para.aprender._\/\" target=\"_blank\" rel=\"noreferrer noopener\"><strong>instagram.com\/croche.para.aprender._\/<\/strong><\/a><\/figcaption><\/figure><\/div>\n\n\n\n<p>We can imagine the color pattern of this rug following a structure similar to this:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"760\" height=\"382\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-1.jpg\" alt=\"\" class=\"wp-image-3280\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-1.jpg 760w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-1-300x151.jpg 300w\" sizes=\"(max-width: 760px) 100vw, 760px\" \/><\/figure><\/div>\n\n\n\n<p>We can easily, with two colors, color all its regions, without neighboring regions having the same color, as shown below with the colors red and blue:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img decoding=\"async\" width=\"760\" height=\"382\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-21.jpg\" alt=\"\" class=\"wp-image-3281\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-21.jpg 760w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-21-300x151.jpg 300w\" sizes=\"(max-width: 760px) 100vw, 760px\" \/><\/figure><\/div>\n\n\n\n<p>It is also easy to find rugs that cannot be colored with just 2 colors, without neighboring regions having the same color, as in the example below:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1013\" height=\"1024\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n-1013x1024.jpg\" alt=\"\" class=\"wp-image-3282\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n-1013x1024.jpg 1013w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n-297x300.jpg 297w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n-768x777.jpg 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n-24x24.jpg 24w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n-48x48.jpg 48w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n-96x96.jpg 96w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/223659326_935037733719793_5704530131679347174_n.jpg 1080w\" sizes=\"(max-width: 1013px) 100vw, 1013px\" \/><figcaption>Image taken from <a href=\"https:\/\/www.instagram.com\/croche.para.aprender._\/\" target=\"_blank\" rel=\"noreferrer noopener\"><strong>instagram.com\/croche.para.aprender._\/<\/strong><\/a><\/figcaption><\/figure><\/div>\n\n\n\n<p>If we generalize this mat, we will have something like this:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"457\" height=\"457\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-3.jpg\" alt=\"\" class=\"wp-image-3283\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-3.jpg 457w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-3-300x300.jpg 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-3-150x150.jpg 150w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-3-24x24.jpg 24w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-3-48x48.jpg 48w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-3-96x96.jpg 96w\" sizes=\"(max-width: 457px) 100vw, 457px\" \/><\/figure><\/div>\n\n\n\n<p>To see that it&#8217;s impossible to color with just two colors without neighboring regions having the same color, look at the center square. If we paint it blue. The two regions adjacent to it should be painted red. But these regions are adjacent to each other, so they would be neighboring regions of the same color.<\/p>\n\n\n\n<p>You might be thinking, anyway, there are maps\/carpets that can be painted with 2 colors and others that cannot, and nobody knows if it will be possible until they try\u2026 Wrong! This is where our not-so-famous, but important, two-color theorem comes in! It ensures that any map\/carpet drawn only by interlocking closed curves can be painted with only two colors, without neighboring regions having the same colors. Below I have a little video showing some cases:<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-4-3 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe title=\"2-color theorem\" width=\"800\" height=\"600\" src=\"https:\/\/www.youtube.com\/embed\/GLrRKwSzhAA?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<p>The inspiration for this post came at the exact moment I saw the following crochet mats:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"1024\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-1024x1024.jpg\" alt=\"\" class=\"wp-image-3284\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-1024x1024.jpg 1024w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-300x300.jpg 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-150x150.jpg 150w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-768x768.jpg 768w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-24x24.jpg 24w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-48x48.jpg 48w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1-96x96.jpg 96w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/228752202_995604561196082_2883244310109165848_n-1.jpg 1080w\" sizes=\"(max-width: 1024px) 100vw, 1024px\" \/><figcaption>Image taken from <a href=\"https:\/\/www.instagram.com\/croche.para.aprender._\/\" target=\"_blank\" rel=\"noreferrer noopener\"><strong>instagram.com\/croche.para.aprender._\/<\/strong><\/a><\/figcaption><\/figure><\/div>\n\n\n\n<p>At the time, I realized that they could be generalized as interlocking closed curves:<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"325\" height=\"325\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-4.png\" alt=\"\" class=\"wp-image-3288\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-4.png 325w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-4-300x300.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-4-150x150.png 150w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-4-24x24.png 24w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-4-48x48.png 48w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/generalizacao-4-96x96.png 96w\" sizes=\"(max-width: 325px) 100vw, 325px\" \/><\/figure><\/div>\n\n\n\n<p>So, trying beforehand, I already knew that it was possible to color these regions with at most two colors! Now I will make this coloring with blue and red to show that it is indeed possible!<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"633\" height=\"628\" src=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/2021-07-30-225734_1366x768_scrot.png\" alt=\"\" class=\"wp-image-3286\" srcset=\"https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/2021-07-30-225734_1366x768_scrot.png 633w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/2021-07-30-225734_1366x768_scrot-300x298.png 300w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/2021-07-30-225734_1366x768_scrot-150x150.png 150w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/2021-07-30-225734_1366x768_scrot-24x24.png 24w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/2021-07-30-225734_1366x768_scrot-48x48.png 48w, https:\/\/www.blogs.unicamp.br\/zero\/wp-content\/uploads\/sites\/187\/2021\/07\/2021-07-30-225734_1366x768_scrot-96x96.png 96w\" sizes=\"(max-width: 633px) 100vw, 633px\" \/><\/figure><\/div>\n\n\n\n<p>I hope you enjoyed this text \ud83d\ude42<\/p>\n\n\n\n<p class=\"has-text-align-center\">Cover image taken from <a href=\"https:\/\/www.instagram.com\/croche.para.aprender._\/\" target=\"_blank\" rel=\"noreferrer noopener\"><strong>instagram.com\/croche.para.aprender._\/<\/strong><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The entire math community is familiar with the famous 4 Color Theorem. Its statement states that any map, drawn on<\/p>\n","protected":false},"author":434,"featured_media":3277,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"colormag_page_container_layout":"default_layout","colormag_page_sidebar_layout":"default_layout","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"pgc_sgb_lightbox_settings":"","_vp_format_video_url":"","_vp_image_focal_point":[],"footnotes":""},"categories":[1221],"tags":[],"class_list":["post-3301","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-v-6-ed-2"],"_links":{"self":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/3301","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/users\/434"}],"replies":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/comments?post=3301"}],"version-history":[{"count":2,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/3301\/revisions"}],"predecessor-version":[{"id":3973,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/posts\/3301\/revisions\/3973"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/media\/3277"}],"wp:attachment":[{"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/media?parent=3301"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/categories?post=3301"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/zero\/wp-json\/wp\/v2\/tags?post=3301"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}