- Видео 147
- Просмотров 2 243 403
evima lab
Япония
Добавлен 23 ноя 2020
Somewhere between math and (competitive) programming
AtCoder Beginner Contest 370 A-F in 4 Minutes [English Subtitles]
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。
コンテストに取り組まずにいきなりこの動画を見てもたぶん大丈夫です。
コンテストサイト:atcoder.jp/contests/abc370
動的計画法の説明:ruclips.net/video/oB3L8yyHsFY/видео.html
競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD
0:00 A
0:37 B
1:15 C
2:03 D
2:54 E
3:38 F
コード
A atcoder.jp/contests/abc370/submissions/57493871
B atcoder.jp/contests/abc370/submissions/57494024
C atcoder.jp/contests/abc370/submissions/57494093
D atcoder.jp/contests/abc370/submissions/57494492
E atcoder.jp/contests/abc370/submissions/57494809
F atcoder.jp/contests/abc370/submissions/57495302
音楽:MusMus
===
X: evima0
コンテストに取り組まずにいきなりこの動画を見てもたぶん大丈夫です。
コンテストサイト:atcoder.jp/contests/abc370
動的計画法の説明:ruclips.net/video/oB3L8yyHsFY/видео.html
競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD
0:00 A
0:37 B
1:15 C
2:03 D
2:54 E
3:38 F
コード
A atcoder.jp/contests/abc370/submissions/57493871
B atcoder.jp/contests/abc370/submissions/57494024
C atcoder.jp/contests/abc370/submissions/57494093
D atcoder.jp/contests/abc370/submissions/57494492
E atcoder.jp/contests/abc370/submissions/57494809
F atcoder.jp/contests/abc370/submissions/57495302
音楽:MusMus
===
X: evima0
Просмотров: 2 980
Видео
5-Color Theorem Revised [English Subtitles]
Просмотров 12 тыс.2 часа назад
意の単純平面グラフが5-リスト彩色可能であることを証明します。3彩色可能だが4-リスト彩色可能でない平面グラフの例も示します。 参考文献 N. ROBERTSON, D. P. SANDERS, P. SEYMOUR & R. THOMAS: The four-colour theorem, J. Combinatorial Theory, Ser. B 70 (1997), 2-44. M. Aigner and G. M. Ziegler, Proofs from THE BOOK, 6th ed., Springer, Berlin, 2018. 0:00 イントロ 0:35 準備 2:13 6彩色 4:51 リスト彩色 6:10 4-リスト彩色 7:58 5-リスト彩色 音楽:MusMus X: x.com/evima0
AtCoder Beginner Contest 369 A-F in 3 Minutes [English Subtitles]
Просмотров 6 тыс.16 часов назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc369 動的計画法の説明:ruclips.net/video/oB3L8yyHsFY/видео.html 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:39 B 1:09 C 1:47 D 2:30 E 3:09 F コード A atcoder.jp/contests/abc369/submissions/57262602 A2 atcoder.jp/contests/abc369/submissions/57267824 B atcoder.jp/contests/abc369/...
AtCoder Beginner Contest 368 A-D+F in 3 Minutes [English Subtitles]
Просмотров 10 тыс.14 дней назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc368 深さ優先探索の説明:ruclips.net/video/0_9heBS7Flg/видео.html 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:32 B 0:59 C 1:39 D 2:10 F コード A (Python) atcoder.jp/contests/abc368/submissions/57024586 A (C ) atcoder.jp/contests/abc368/submissions/57094186 B (Python) atcoder.jp/...
Can You Connect The Points With Two Non-Intersecting Lines? [English Subtitles]
Просмотров 31 тыс.14 дней назад
線は正方形の内側にしか引けません。 参考資料:medium.com/p/6e33f05494de 0:00 問題 0:31 解答? 1:53 弧状連結 2:27 結論 音楽: MusMus X: x.com/evima0
AtCoder Beginner Contest 367 A-E in 3 Minutes [English Subtitles]
Просмотров 8 тыс.21 день назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc367 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:26 B 0:58 C 1:28 D 2:18 E コード A (Python) atcoder.jp/contests/abc367/submissions/56699667 A (C ) atcoder.jp/contests/abc367/submissions/56834641 B (Python) atcoder.jp/contests/abc367/submissions/56699693 B (C ) atcoder...
Is π^π^π^π an Integer? [English Subtitles]
Просмотров 51 тыс.21 день назад
π^(π^(π^π))が整数でないことを確認しようとします。 0:00 イントロ 0:21 π^π^π^πの計算 2:03 超越数 3:08 結論 音楽: MusMus X: x.com/evima0
AtCoder Beginner Contest 366 A-E in 3 Minutes [English Subtitles]
Просмотров 7 тыс.28 дней назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc366 Pythonで2次元配列を90°回すことについて:ruclips.net/user/shortsbTWHRbCzzQA 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:26 B 0:53 C 1:31 D 2:11 E コード A (Python) atcoder.jp/contests/abc366/submissions/56512242 A (C ) atcoder.jp/contests/abc366/submissions/56576393 B (Python) at...
20 Prisoners and 12 Boxes [English Subtitles]
Просмотров 34 тыс.28 дней назад
組合せ論のパズルです。 参考文献: Béla Bollobás, The Art of Mathematics - Take Two: Tea Time in Cambridge, Cambridge University Press, 2022. 0:00 問題提起 2:18 解答 音楽: MusMus X: x.com/evima0
AtCoder Beginner Contest 365 A-E in 3 Minutes
Просмотров 7 тыс.Месяц назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc365 動的計画法の説明:ruclips.net/video/oB3L8yyHsFY/видео.html 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:26 B 0:48 C 1:48 D 2:44 E コード A (Python) atcoder.jp/contests/abc365/submissions/56230897 A (C ) atcoder.jp/contests/abc365/submissions/56310934 B (Python) atcoder.jp/c...
AtCoder Beginner Contest 364 A-F in 3 Minutes [English Subtitles]
Просмотров 6 тыс.Месяц назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc364 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:28 B 0:51 C 1:26 D 2:12 E 2:54 F コード A (Python) atcoder.jp/contests/abc364/submissions/55991929 A (C ) atcoder.jp/contests/abc364/submissions/56062552 B (Python) atcoder.jp/contests/abc364/submissions/55996517 B (C ) ...
Can a Bigger Box Fit into a Smaller Box? [English Subtitles]
Просмотров 32 тыс.Месяц назад
直方体Xが直方体Yに含まれているとき、Xの「縦 横 高さ」がYのそれを超えることがあるか判定します。 参考文献: Béla Bollobás, The Art of Mathematics: Coffee Time in Memphis, Cambridge University Press, 2006. 0:00 問題提起 0:44 解答 音楽: MusMus X: x.com/evima0
AtCoder Beginner Contest 363 A-F in 3 Minutes [English Subtitles]
Просмотров 6 тыс.Месяц назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc363 幅優先探索の説明:ruclips.net/video/0_9heBS7Flg/видео.html 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:27 B 1:01 C 1:49 D 2:23 E 2:52 F コード A (Python) atcoder.jp/contests/abc363/submissions/55749767 A (C ) atcoder.jp/contests/abc363/submissions/55764553 B (Python) atcod...
AtCoder Beginner Contest 362 A-E+G in 3 Minutes [English Subtitles]
Просмотров 6 тыс.Месяц назад
とあるプログラミングコンテスト(競技プログラミング)の高速解説です。 コンテストに取り組まずにいきなりこの動画を見ても多分大丈夫です。 コンテストサイト:atcoder.jp/contests/abc362 幅優先探索の説明:ruclips.net/video/0_9heBS7Flg/видео.html 競プロ初心者向け動画のプレイリスト:ruclips.net/p/PLAYMgc8c_QezzZAEcnhI_Awo1QHWxE6FD 0:00 A 0:24 B 0:47 C 1:29 D 2:12 E 2:45 G コード A (Python) atcoder.jp/contests/abc362/submissions/55494761 A (C ) atcoder.jp/contests/abc362/submissions/55578414 B (Python) atcod...
Does 0.999… equal 1? [English Subtitles]
Просмотров 26 тыс.Месяц назад
「0.999…」を定義し、それが1に等しいことを証明します。極限・無限級数などは使いません。前提知識は文字式・累乗の概念と基本的な不等式操作のみです。 (参考資料) en.wikipedia.org/wiki/0.999... 0:00 イントロ 0:17 直感的な説明 1:50 厳密な証明 X: x.com/evima0
AtCoder Beginner Contest 361 A-F in 3 Minutes [English Subtitles]
Просмотров 8 тыс.2 месяца назад
AtCoder Beginner Contest 361 A-F in 3 Minutes [English Subtitles]
What Computers Can Never Do [English Subtitles]
Просмотров 22 тыс.2 месяца назад
What Computers Can Never Do [English Subtitles]
How to Find the Majority Vote Winner in an Election with 10 Billion Candidates
Просмотров 28 тыс.2 месяца назад
How to Find the Majority Vote Winner in an Election with 10 Billion Candidates
AtCoder Beginner Contest 360 A-F in 3 Minutes [English Subtitles]
Просмотров 8 тыс.2 месяца назад
AtCoder Beginner Contest 360 A-F in 3 Minutes [English Subtitles]
Which is Bigger: Fukasetsu Fukasetsuten or Graham's Number? [English Subtitles]
Просмотров 58 тыс.2 месяца назад
Which is Bigger: Fukasetsu Fukasetsuten or Graham's Number? [English Subtitles]
AtCoder Beginner Contest 359 A-G in 4 Minutes [English Subtitles]
Просмотров 9 тыс.2 месяца назад
AtCoder Beginner Contest 359 A-G in 4 Minutes [English Subtitles]
What's 1.5 Factorial? [English Subtitles]
Просмотров 139 тыс.2 месяца назад
What's 1.5 Factorial? [English Subtitles]
AtCoder Beginner Contest 358 A-G in 4 Minutes [English Subtitles]
Просмотров 9 тыс.2 месяца назад
AtCoder Beginner Contest 358 A-G in 4 Minutes [English Subtitles]
Randomly Dividing a Pizza into N Pieces and Eating About 1/3 [English Subtitles]
Просмотров 51 тыс.2 месяца назад
Randomly Dividing a Pizza into N Pieces and Eating About 1/3 [English Subtitles]
AtCoder Beginner Contest 357 A-F in 3 Minutes
Просмотров 8 тыс.2 месяца назад
AtCoder Beginner Contest 357 A-F in 3 Minutes
Weird Problem of Dividing a Rectangle into Rectangles [English Subtitles]
Просмотров 17 тыс.3 месяца назад
Weird Problem of Dividing a Rectangle into Rectangles [English Subtitles]
AtCoder Beginner Contest 356 A-F in 4 minutes [English Subtitles]
Просмотров 8 тыс.3 месяца назад
AtCoder Beginner Contest 356 A-F in 4 minutes [English Subtitles]
Geometric Proof that √2 is Irrational [English Subtitles]
Просмотров 39 тыс.3 месяца назад
Geometric Proof that √2 is Irrational [English Subtitles]
Which is Bigger: 2^(100!) or (2^100)! [English Subtitles]
Просмотров 85 тыс.3 месяца назад
Which is Bigger: 2^(100!) or (2^100)! [English Subtitles]
What is the 2 in V - E + F = 2? [English Subtitles]
Просмотров 20 тыс.3 месяца назад
What is the 2 in V - E F = 2? [English Subtitles]
リスト彩色の方が難しいというのが直感的でなかったですが、リストとグラフを用意する側がいくらでも意地悪できるということですかね
F問題を見てevimaさんのピザの動画を思い出した
F二分探索はともかくダブリングは思いつかなかった
D問題をpythonでそのままシミュレーションしたらもちろんTLEでした。3完。
Bの問題の意味を理解するのに凄い時間かかった... AとBのみ正解で、Cは例文では成功するのに提出で不正解でした 単純にSとTを比較して、Sの方の文字順が後なら優先して変更。Sの方の文字順が先なら後回しで変更。 これを先頭の方から修正加える様にしてたのですが、んー、なんで上手くいかないんだろ? 解説みても分からなかったので、もっと検証して理解進めます! 解説ありがとうございました
Cは動画中の入力 === abc cat === で失敗する可能性がそれなりにあると思いますので、よければお試しください。 (答えは以下です。) 3 aac aat cat
@@evimalab 回答ありがとうございます! 提案されてる例で理解しました! 後回しの方は、文字の後ろの方から修正かけないといけなかったのですね... 問題を理解するのが、まだまだ慣れてないのでもっと過去問で勉強します
I attempted to solve D in python during the contest and kept on getting wrong answer... Turns out it was just an indentiation issue causing a block of code to not be run all the time. I submitted after the contest is done and got AC :')
「√2分の砂時計ってなに?」「実用性がないとダメか?」っていう返しが天才というかドラマっぽくて好き
2:24 制限時間は4秒なのに'2s'のままになってますね....
面白かった~ 5完でした Fはダブリングだと楽だったんですね~ 次の行き先を二分探索で探していたら大変なことに
Dそれで良かったんだ〜!(列/行ごとにUnionFind持たせてleaderに端の座標を持たせて破壊時にマージ)
それでもRubyで1.3sにできたので満足
c問題 ①sのi文字目がtのi文字目より辞書順で後ならリスト1にiを追加 ②tのi文字目がsのi文字目より辞書順で後ならリスト2にiを追加 ③リスト2を逆順にしたものをリスト1の後ろに追加 ④③で作ったリストの順に文字を変えてAnswerリストに追加 ⑤Answerリストの要素の個数と中身を出力 でAC出たけど、全探索でよかったのね。
自分もこれでやりました 貪欲おもしろいですよね
全く同じです。初学者で逆に全探索のやり方が分からなかった。 リスト1はmazukotti リスト2はmazumushi っていうめちゃ長いリスト名だったけど。
この速さは流石 ある意味解いた直後に見るための動画たちだったわけか
Please give optimised approach of C What I did: Ran a loop and for every iteration I checked if the character of a is greater than corresponding character of b , if yes then i will replace it with character of b hence making it equal . After running this loop we have to make to change the characters remaining (those ones where char at a was less than char at b) For I sorted the remaing characters from b . then according to that order i replaced every character . It worked pretty well for given test cases but not accepted idk why pls help this is my code (in java). import java.util.*; public class Main{ public static void main(String [] args) { Scanner sc= new Scanner(System.in); String a=sc.next(); String b=sc.next(); char [] ac= a.toCharArray(); char [] bc= b.toCharArray(); ArrayList<String> list = new ArrayList<>(); TreeMap<Character,Integer> map= new TreeMap<>(); int n=ac.length; int count=0; for(int i=0;i<n;i++) { if (ac[i] > bc[i]) { ac[i] = bc[i]; list.add(new String(ac)); count++; } else if (ac[i] < bc[i]) { map.put(bc[i],i); } } for (Map.Entry<Character, Integer> entry : map.entrySet()) { ac[entry.getValue()]= entry.getKey(); list.add(new String(ac)); count++; } System.out.println(count); for(String s:list) { System.out.println(s); } } }
Even i did same also it was my first contest at Atcoder problems were good.
Your code produced a wrong answer for the case used in the video. [Input] abc cat [Output from your code] 3 aac cac cat
void solve() { string s,t; cin>>s>>t; vector<string> v; string st=s; if(s==t) { cout<<0<<endl; return; } stack<ll> s1; queue<ll> q; for(ll i=0; i<sz(s); i++) { if(s[i]!=t[i]) { if(s[i]>t[i]) q.push(i); else s1.push(i); } } while(!q.empty()) { ll ind=q.front(); q.pop(); if(v.empty()) { st[ind]=t[ind]; v.pb(st); } else { string temp=v.back(); temp[ind]=t[ind]; v.pb(temp); } } while(!s1.empty()) { ll ind=s1.top(); s1.pop(); if(v.empty()) { st[ind]=t[ind]; v.pb(st); } else { string temp=v.back(); temp[ind]=t[ind]; v.pb(temp); } } cout<<sz(v)<<endl; for(ll i=0; i<sz(v); i++) { cout<<v[i]<<endl;; } } what i did was first store all the index of string s in queue where charater at that index is greater than char at that index of string t and than store all index in stack where char at s is smaller than char at t and first fix from the queue and than stack because we want smallest among them
@@pranavbhalerao308 same lol
@@evimalab oh yes mb
Dみて二次元配列で解けそうと思ってやったら、25,26でTLE出て絶望したわ
Same, Got TLE on last two. ;-;
コンテスト終わったらすぐ投稿してくれるのありがたい
B問題を理解するのにめっちゃ時間かかってしまった...
D問題、制限時間は説明内では4sと言っているのに表示が2sになっていますよ。
c問題全探索なのはわかったけどどう探索していけばいいかわからなった
それなぁ 😭
4完、最近本当にだめだ、、、
THAANNKKSSSS EVIMA LAB
Noのパターンを無視してA問題めっちゃ迷った。 最初XORで書いたけどダメだった… B問題 何とかクリアしたけど少し考え方がめんどかったかも
1
こういう難しい問題を解く時の、「この問題とこの問題は同じとみなせる」みたいな判断をどうやってするのかが知りたい
同チャンネルの動画でπが有理数の証明は云々言ってたけど,やっぱり無理数か あれはじゃあただのミスプリか,びっくりした
π^π^π^π=(具体的整数) の真偽を判定する機構とか考えられないんかね
宝くじ当てれてよかったねみたいな気分になる証明
センター試験は塗り絵だと主張した方による塗り絵の解説だ!
5^27と8*(10^18)のところ、両辺を5^18で割って 5^9と2^21→5^3と2^7→125と128という風にもできますね。
5色定理の証明も普通に難しいな 思いつける気しない
数学者に憧れるけど、こういう証明を見ると絶対に勝てない天才ばっかで嫉妬もしちゃう
多分この証明も、数学者が色々と試行錯誤して苦労の末に見つけたものだと思いますけどね (5色定理が証明されたのは4色問題の提起から30年以上後のはずです)
k-リスト彩色可能>k-彩色可能なの不思議だ
バカだから3回見てやっと理解した 勝手に「全部の頂点に同じリストを与えるのが一番塗り分けが難しいに決まってるじゃん」と思い込んでたけど実際はそうじゃないんだな ガチガチにリストを指定できるんだから当たり前か
サムネイルとタイトルは静かな美しさがあるが、PCから出る音はピロピロピロピーではなく、ッチ...フォオオオオンだと思う。あ、いや、何度もPCのSE使ってるから、何度も起動音出すと変になるか。 でもピロピロピロピーはクドいなあ。どんなSEを選出すれば良いんだろう。ピロピロピロピーのピロだけ、ピだけにするとか?
2彩色可能だが4-リスト彩色可能でない平面グラフって存在するんですかね?
題材はどこから見つけてるのですか?
何がなんだか分からなかったけど、「縛られると強くなる」ことだけは分かった。
いや、これはただの舐めプですよ。 本来なら縛りを強くすると証明は難しくなります。 (簡単に言えば「pが真ならばqは真である」においてqを証明すれば良いところを、わざわざpに手を出してるイメージ。すなわち牛刀をもって鶏を割く。)
@@user-dq3ht9st5hそうとも限りませんが、まあ基本は難しくなりますね
「縛られると強くなる」というのは、証明しやすくなるという訳ではなく、命題としてより一般化されているということですね。 命題として強くなるので証明は厳しくなると言えるのですが、一般化することで必要な法則が見えやすくなるので、証明法としてはよく用いられますね。
3彩色可能だが4-リスト彩色可能でない平面グラフの証明がどうも腑に落ちません。 7:10 からの説明では、先に上端と下端のノードの色を決めた際に残りのグラフについて4-リスト彩色が不可能なだけのように感じます。 4-リスト彩色可能でないことの直接的な証明は彩色不可能なリストを彩色の前に与えることであって、一部であっても彩色後に彩色不可能なリストを与えても意味がないと思います。 7:10 の例について実際に彩色不可能なリストを一つでも与えることはできますか?
7:34 を見てください。(これは彩色前です。)
@@evimalab その部分の説明では、7:42でいう「上下を先に決める」(つまり彩色)をしてから残りのグラフについて彩色不可能なリストがあることを証明しているだけだと思います。16個のパターンを並べて結合しても上端と下端のノードの色をそれぞれ{5,6,7,8}{9,10,11,12}から選んで着色したのちの残りのグラフは4-リスト彩色が不可能であることを証明しているだけではありませんか?
7:34の「割り当てる」は彩色することではなく、リストの構成を説明しています。 すなわち、7:34にはサブグラフが3個しか写っていませんが、実際には16個あり、全130頂点へのリストをここで与えているつもりです。 左から3番目のサブグラフ(写っていません)に与えるリストは一番左のサブグラフの9をすべて11に変えたもの、 左から4番目のサブグラフに与えるリストは一番左のサブグラフの9をすべて12に変えたもの、 左から5番目のサブグラフに与えるリストは一番左のサブグラフの5を6に変えたもの、 左から6番目のサブグラフに与えるリストは一番左のサブグラフの5を6、9を10に変えたもの、……です。
> 16個のパターンを並べて結合しても上端と下端のノードの色をそれぞれ{5,6,7,8}{9,10,11,12}から選んで着色したのちの残りのグラフは4-リスト彩色が不可能であることを証明しているだけではありませんか? それは130頂点のグラフ全体が4-リスト彩色不可能であることの十分条件です。 (これに反対でしたら、7:34 の130個のリストから1色ずつ選んで塗り分ける方法を教えてくださいませんか。)
@@evimalab 理解しました。証明は正しく私の理解が誤りでした。お手数おかけしてすみませんでした。グラフの構造を勘違いしてまったのが原因です。丁寧なご回答本当にありがとうございました。
面白い
11:52の機能法の仮定で塗れる理由がいまいちわからん…直接機能法の仮定使える?
はい、直接使えます。とりあえず元論文を示しておきます。www.sciencedirect.com/science/article/pii/S0095895684710628/pdf?md5=91b2a411870487696702b2e4d7f3cbe0&pid=1-s2.0-S0095895684710628-main.pdf
最of高
色リストは「この頂点を次に塗るとき使える色の集合」という意味で使っていると思います 9:22 において内側の頂点の色リストの大きさは5以上としていますが、実際には塗った2つの頂点に隣接する内側の頂点の色リストの大きさは3以上となるので、仮定はむしろ弱くなっています それによって、 11:42 において新たに外周となった頂点の色リストの大きさが3以上にならないので仮定が使えず、この証明は成り立っていないと思います
元論文を示しておきます。www.sciencedirect.com/science/article/pii/S0095895684710628/pdf?md5=91b2a411870487696702b2e4d7f3cbe0&pid=1-s2.0-S0095895684710628-main.pdf 色リストの意味を誤解されていると思います。(「次に」は不要です。)
これすごいなぁ
帰納法による証明は、美術館の動画や結婚定理の動画のおかげですんなり理解できた 過去動画の復習にもなって最高
パッと考えただけではただの彩色よりリスト彩色の方が簡単そうに思えるけど、リスト彩色の方が強い命題ってことは簡単に分かるんだよな… このもどかしさはなんだろう
地図にも穴はあるんだよなあ…
縛られているフリー素材が存在するのがすごいよ...
11:53 この文すごいこと言ってるなぁ、、、
ちなみに実際の地図には「飛び地」とやらがある=線がクロスしてしまうので四色で塗るのは無理なものもありますね
和歌山県か
これって、飛び地とその県の本土を同じ色で塗らないといけない場合のみ、って解釈で合ってますでしょうか…?
@@user-mu8du8jv8p ですね
@@user-mu8du8jv8pもし飛び地と本土が同じ色で無ければ、飛び地と本土を全く別のものと考えられ、そうすればただの地図ちなります。なので、その解釈で合っています。
@@user-nekinoarune そう言われたら確かにそうだ…飛び地を新しい県だと思えばいいのか…
5:20「k−リスト彩色可能」の定義では、何種類の色を使用できるかは指定しないのですか? 「色がn種類ならば、どんな色リストでも塗り分け可能=n色k−リスト彩色可能」みたいな。
一応書いておきますが どんなに種類を増やしてもリスト彩色のほうが強い定理です 途中のリスト彩色のほうがムズイ話でコピーをもっと増やせば無理ゲーに出来ますしね
@@zouo-from-Taikonotatsujin 7:13「コピーをもっと増やせば無理ゲーにできる」というのは、具体的にどういうことですか?
指定しません。最大で k × v 色使用可能ということになります。
@@user-dq3ht9st5h たしかに動画の場合だと13色以上使えれば彩色できる可能性がありますが それでも6:35の形のグラフをもっと追加すれば結局動画のように上下どう選んでも彩色不可にできると思います
これ結構不思議でした おもしろい〜