Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Sign up for free
Menu
Search
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Pricing
Search
Sign in
Sign up for free
5色定理
Search
Sponsored
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
TechmathProject
July 03, 2023
Science
870
1
Share
Embed
Copy iframe code
Copy JS code
Copy link
Start on current slide
5色定理
てくますゼミ 2023.06 ミニ講座
TechmathProject
July 03, 2023
More Decks by TechmathProject
See All by TechmathProject
統計学入門講座 第5回スライド
techmathproject
0
210
統計学入門講座 第6回スライド
techmathproject
0
200
統計学入門講座 第7回スライド
techmathproject
0
220
統計学入門講座 第8回スライド
techmathproject
0
210
統計学入門講座 第4回スライド
techmathproject
0
460
統計学入門講座 第3回スライド
techmathproject
0
340
統計学入門講座 第2回スライド
techmathproject
0
480
統計学入門講座 第1回スライド
techmathproject
0
930
線形代数学入門講座 第1回スライド
techmathproject
0
580
Other Decks in Science
See All in Science
[Relay webinaire eBIS actu n°16] Sélection pour la vitalité des jeunes bovins allaitants et laitiers
institutdelelevage
PRO
0
150
勾配流から乖離した学習ダイナミクス
hanbao
1
1.1k
[NLP2026 参加報告会] AI for Science まとめ / NLP2026
lychee1223
0
2k
20260722【JAWS-UG東京 ランチタイムLT会 #37④】AWS Well-Architectedフレームワークに沿った回答をするAIエージェントを作ってみた
nozakijcom
1
150
Note agro-climatique et prairies - Numéro 7
institutdelelevage
PRO
0
550
20260410_SystemsThinking
takusamar
1
160
AI bij literatuuronderzoek in de wetenschap
voginip
0
260
Leitner Inauguration Lecture Chalmers University of Technology
xleitix
0
380
データベース05: SQL(2/3) 結合質問
trycycle
PRO
0
1.4k
AI(人工知能)の過去・現在・未来 ~AIは人類を越えるのか~
tagtag
PRO
0
170
データベース01: データベースを使わない世界
trycycle
PRO
1
1.5k
JSAI2026企画セッションKS-14 インタビュー集『⼈⼯知能と哲学と四つの問い』が提起する⼈⼯知能のこれからの課題 趣旨説明 / JSAI2026 Special Session: A Collection of Interviews, “Artificial Intelligence, Philosophy, and Four Questions”
ykiyota
0
460
Featured
See All Featured
Being A Developer After 40
akosma
92
590k
We Have a Design System, Now What?
morganepeng
55
8.4k
The SEO identity crisis: Don't let AI make you average
varn
0
580
YesSQL, Process and Tooling at Scale
rocio
174
15k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
9
1.6k
Ruling the World: When Life Gets Gamed
codingconduct
0
390
30 Presentation Tips
portentint
PRO
1
420
Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs
techseoconnect
PRO
0
690
The Illustrated Children's Guide to Kubernetes
chrisshort
51
53k
Exploring the relationship between traditional SERPs and Gen AI search
raygrieselhuber
PRO
4
4.3k
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
360
31k
How STYLIGHT went responsive
nonsquared
100
6.3k
Transcript
5色定理
地図に色を塗ろう! ルール 2つの領域が境界線でとなり合う場合は別の色で塗る。 できるだけ少ない色で塗りきってみよう。
地図に色を塗ろう! ルール 2つの領域が境界線でとなり合う場合は別の色で塗る。 できるだけ少ない色で塗りきってみよう。
地図に色を塗ろう! どんな地図でも塗りきれるようにするには、何色あればいいだろうか? 実は、4色あれば塗りきれるということが知られている! それは「4色定理」と呼ばれていて、証明はとても難しい…… 5色あれば塗りきれるという「5色定理」の証明はちょうどいい難しさなので、 5色定理の証明に挑戦しよう!
①地図をグラフに対応させる グラフとは、頂点と辺でできた図のこと。 領域を頂点に対応させて、領域がとなり合っているときに対応する頂点を辺で結ぶ。 地図が5色以下で塗りきれることは、グラフの頂点が5色以下で塗りきれることと同じ。 このグラフは1つのかたまりになっていて(連結であるという)、 辺どうしが途中で交差しないように平面に描けていて(平面グラフという)、 2頂点を2つ以上の辺が結んでいたり,辺の両端が同じ頂点を結んでいたりしない(単純であるという)。
②オイラーの多面体定理 連結な平面グラフは、頂点の数を𝑉,辺の数を𝐸,領域の数を𝐹としたとき、次をみたす。 𝑉 − 𝐸 + 𝐹 = 2 凸多面体で成り立つオイラーの多面体定理は、連結平面グラフのことばに置き換えることができる。
③価数5以下の頂点がある 価数とは、その頂点を端点にしている辺の数のこと。 このグラフに価数5以下の頂点がなかったとしたら…… 辺は頂点ごとに6つ以上あり、2回ずつ重複して数えているので、 2𝐸 ≧ 6𝑉 単純なグラフなので、辺は領域ごとに3つ以上あり、2回ずつ重複して数えているので、 2𝐸 ≧
3𝐹 𝑉 − 𝐸 + 𝐹 ≦ 1 3 𝐸 − 𝐸 + 2 3 𝐸 = 0 となり、オイラーの多面体定理に反してしまう。 よって、このグラフには価数5以下の頂点がある。
④価数5以下の頂点に色を与える 5色以下で塗りきれることを頂点の数に関する数学的帰納法で示そう。 頂点が1個のとき、1色で塗りきれる。 頂点が𝑘個のグラフなら5色で塗りきれると仮定すると…… 頂点が𝑘 + 1個のグラフを考えると、③から価数5以下の頂点があるので𝑣としよう。 𝑣と𝑣を端点にもつ辺を取り除いたグラフは頂点が𝑘個なので5色で塗りきっておく。 (1)𝑣にとなり合う頂点が4色以下で塗られているなら、𝑣を使われていない色で塗ることができる。 𝑣
𝑣 「頂点1つで成り立つ」,「頂点𝑘個で成り立つなら𝑘 + 1個でも成り立つ」を示して、 ドミノ倒しのように頂点いくつでも成り立つことを示す方法。
④価数5以下の頂点に色を与える (2)𝑣にとなり合う頂点が異なる5色で塗られているなら…… 𝑣の価数が5であり、5頂点を時計回りに𝑣1 ,…,𝑣5 として、それらの色を𝑐1 ,…,𝑐5 としよう。 (ⅰ)𝑐1 と𝑐3 で塗られた頂点とそれらを結ぶ辺だけを見たとき、
𝑣1 と𝑣3 が1かたまりになっていないなら、 𝑣3 が含まれているかたまりの𝑐1 と𝑐3 を逆転させた塗り方を考えると、 𝑣を𝑐3 で塗ることができるようになる。 (ⅱ)𝑣1 と𝑣3 が1かたまりになっているなら、 𝑐2 と𝑐4 で塗られた頂点とそれらを結ぶ辺だけを見ると、 𝑣1 と𝑣3 のかたまりを越えることができず、 𝑣2 と𝑣4 は1かたまりにならないので、 𝑣4 が含まれているかたまりの𝑐2 と𝑐4 を逆転させた塗り方を考えると、𝑣を𝑐4 で塗ることができるようになる。 よって、頂点が𝑘 + 1個のグラフも5色で塗りきれる。 数学的帰納法により、頂点がいくつのグラフでも5色で塗りきれる。 𝑣 𝑣1 𝑣2 𝑣3 𝑣4 𝑣5 𝑣 𝑣1 𝑣2 𝑣3 𝑣4 𝑣5 𝑣 𝑣1 𝑣2 𝑣3 𝑣4 𝑣5 (ⅰ) (ⅱ)