evima lab
evima lab
  • Видео 147
  • Просмотров 2 243 403
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
Просмотров: 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]

Комментарии

  • @sssi3067
    @sssi3067 2 часа назад

    リスト彩色の方が難しいというのが直感的でなかったですが、リストとグラフを用意する側がいくらでも意地悪できるということですかね

  • @user-mj5sk4lu1t
    @user-mj5sk4lu1t 4 часа назад

    F問題を見てevimaさんのピザの動画を思い出した

  • @A0ikun1818
    @A0ikun1818 6 часов назад

    F二分探索はともかくダブリングは思いつかなかった

  • @user-wf5sk3xz5x
    @user-wf5sk3xz5x 6 часов назад

    D問題をpythonでそのままシミュレーションしたらもちろんTLEでした。3完。

  • @_kyou8182
    @_kyou8182 6 часов назад

    Bの問題の意味を理解するのに凄い時間かかった... AとBのみ正解で、Cは例文では成功するのに提出で不正解でした 単純にSとTを比較して、Sの方の文字順が後なら優先して変更。Sの方の文字順が先なら後回しで変更。 これを先頭の方から修正加える様にしてたのですが、んー、なんで上手くいかないんだろ? 解説みても分からなかったので、もっと検証して理解進めます! 解説ありがとうございました

    • @evimalab
      @evimalab 6 часов назад

      Cは動画中の入力 === abc cat === で失敗する可能性がそれなりにあると思いますので、よければお試しください。 (答えは以下です。) 3 aac aat cat

    • @_kyou8182
      @_kyou8182 5 часов назад

      ​@@evimalab 回答ありがとうございます! 提案されてる例で理解しました! 後回しの方は、文字の後ろの方から修正かけないといけなかったのですね... 問題を理解するのが、まだまだ慣れてないのでもっと過去問で勉強します

  • @Pukimaxim
    @Pukimaxim 6 часов назад

    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 :')

  • @GC-ne6yo
    @GC-ne6yo 6 часов назад

    「√2分の砂時計ってなに?」「実用性がないとダメか?」っていう返しが天才というかドラマっぽくて好き

  • @HelloingBoi-pk4io
    @HelloingBoi-pk4io 6 часов назад

    2:24 制限時間は4秒なのに'2s'のままになってますね....

  • @JD-is8yg
    @JD-is8yg 6 часов назад

    面白かった~ 5完でした Fはダブリングだと楽だったんですね~ 次の行き先を二分探索で探していたら大変なことに

  • @sevenc-nanashi
    @sevenc-nanashi 6 часов назад

    Dそれで良かったんだ〜!(列/行ごとにUnionFind持たせてleaderに端の座標を持たせて破壊時にマージ)

    • @sevenc-nanashi
      @sevenc-nanashi 6 часов назад

      それでもRubyで1.3sにできたので満足

  • @TCzvrAw3o7H
    @TCzvrAw3o7H 6 часов назад

    c問題 ①sのi文字目がtのi文字目より辞書順で後ならリスト1にiを追加 ②tのi文字目がsのi文字目より辞書順で後ならリスト2にiを追加 ③リスト2を逆順にしたものをリスト1の後ろに追加 ④③で作ったリストの順に文字を変えてAnswerリストに追加 ⑤Answerリストの要素の個数と中身を出力 でAC出たけど、全探索でよかったのね。

    • @JD-is8yg
      @JD-is8yg 6 часов назад

      自分もこれでやりました 貪欲おもしろいですよね

    • @user-wf5sk3xz5x
      @user-wf5sk3xz5x 6 часов назад

      全く同じです。初学者で逆に全探索のやり方が分からなかった。 リスト1はmazukotti リスト2はmazumushi っていうめちゃ長いリスト名だったけど。

  • @takumamori7092
    @takumamori7092 6 часов назад

    この速さは流石 ある意味解いた直後に見るための動画たちだったわけか

  • @mr.victory.
    @mr.victory. 6 часов назад

    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); } } }

    • @pranavbhalerao308
      @pranavbhalerao308 6 часов назад

      Even i did same also it was my first contest at Atcoder problems were good.

    • @evimalab
      @evimalab 6 часов назад

      Your code produced a wrong answer for the case used in the video. [Input] abc cat [Output from your code] 3 aac cac cat

    • @rocketxd9915
      @rocketxd9915 6 часов назад

      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

    • @mr.victory.
      @mr.victory. 5 часов назад

      @@pranavbhalerao308 same lol

    • @mr.victory.
      @mr.victory. 5 часов назад

      @@evimalab oh yes mb

  • @user-ru3yy1uj2p
    @user-ru3yy1uj2p 6 часов назад

    Dみて二次元配列で解けそうと思ってやったら、25,26でTLE出て絶望したわ

  • @teasnon
    @teasnon 6 часов назад

    コンテスト終わったらすぐ投稿してくれるのありがたい

  • @user-ik6wz8dy9z
    @user-ik6wz8dy9z 6 часов назад

    B問題を理解するのにめっちゃ時間かかってしまった...

  • @sakamiyari
    @sakamiyari 6 часов назад

    D問題、制限時間は説明内では4sと言っているのに表示が2sになっていますよ。

  • @user-ke6os3dv8x
    @user-ke6os3dv8x 6 часов назад

    c問題全探索なのはわかったけどどう探索していけばいいかわからなった

  • @user-cj1jx1cv5s
    @user-cj1jx1cv5s 6 часов назад

    4完、最近本当にだめだ、、、

  • @anowlwithinternet9125
    @anowlwithinternet9125 6 часов назад

    THAANNKKSSSS EVIMA LAB

  • @user-um3ox7gq3z
    @user-um3ox7gq3z 6 часов назад

    Noのパターンを無視してA問題めっちゃ迷った。 最初XORで書いたけどダメだった… B問題 何とかクリアしたけど少し考え方がめんどかったかも

  • @autolambda
    @autolambda 6 часов назад

    1

  • @cilin1665
    @cilin1665 8 часов назад

    こういう難しい問題を解く時の、「この問題とこの問題は同じとみなせる」みたいな判断をどうやってするのかが知りたい

  • @GC-ne6yo
    @GC-ne6yo 8 часов назад

    同チャンネルの動画でπが有理数の証明は云々言ってたけど,やっぱり無理数か あれはじゃあただのミスプリか,びっくりした

  • @user-uz5km9rl3z
    @user-uz5km9rl3z 10 часов назад

    π^π^π^π=(具体的整数) の真偽を判定する機構とか考えられないんかね

  • @user-uz5km9rl3z
    @user-uz5km9rl3z 10 часов назад

    宝くじ当てれてよかったねみたいな気分になる証明

  • @user-ky2ch1gs2x
    @user-ky2ch1gs2x 12 часов назад

    センター試験は塗り絵だと主張した方による塗り絵の解説だ!

  • @user-ky2ch1gs2x
    @user-ky2ch1gs2x 12 часов назад

    5^27と8*(10^18)のところ、両辺を5^18で割って 5^9と2^21→5^3と2^7→125と128という風にもできますね。

  • @ossss2985
    @ossss2985 15 часов назад

    5色定理の証明も普通に難しいな 思いつける気しない

  • @user-fl2cw5zy4n
    @user-fl2cw5zy4n 16 часов назад

    数学者に憧れるけど、こういう証明を見ると絶対に勝てない天才ばっかで嫉妬もしちゃう

    • @moja-z4m
      @moja-z4m 16 часов назад

      多分この証明も、数学者が色々と試行錯誤して苦労の末に見つけたものだと思いますけどね (5色定理が証明されたのは4色問題の提起から30年以上後のはずです)

  • @magurofly
    @magurofly 18 часов назад

    k-リスト彩色可能>k-彩色可能なの不思議だ

  • @user-rl9if2wv8z
    @user-rl9if2wv8z 18 часов назад

    バカだから3回見てやっと理解した 勝手に「全部の頂点に同じリストを与えるのが一番塗り分けが難しいに決まってるじゃん」と思い込んでたけど実際はそうじゃないんだな ガチガチにリストを指定できるんだから当たり前か

  • @Bowgenun
    @Bowgenun 19 часов назад

    サムネイルとタイトルは静かな美しさがあるが、PCから出る音はピロピロピロピーではなく、ッチ...フォオオオオンだと思う。あ、いや、何度もPCのSE使ってるから、何度も起動音出すと変になるか。 でもピロピロピロピーはクドいなあ。どんなSEを選出すれば良いんだろう。ピロピロピロピーのピロだけ、ピだけにするとか?

  • @AT-er1gn
    @AT-er1gn 19 часов назад

    2彩色可能だが4-リスト彩色可能でない平面グラフって存在するんですかね?

  • @yypoq.9121
    @yypoq.9121 День назад

    題材はどこから見つけてるのですか?

  • @tomorrow-s_bag
    @tomorrow-s_bag День назад

    何がなんだか分からなかったけど、「縛られると強くなる」ことだけは分かった。

    • @user-dq3ht9st5h
      @user-dq3ht9st5h 10 часов назад

      いや、これはただの舐めプですよ。 本来なら縛りを強くすると証明は難しくなります。 (簡単に言えば「pが真ならばqは真である」においてqを証明すれば良いところを、わざわざpに手を出してるイメージ。すなわち牛刀をもって鶏を割く。)

    • @Tempura_Soba
      @Tempura_Soba 9 часов назад

      ​@@user-dq3ht9st5hそうとも限りませんが、まあ基本は難しくなりますね

    • @MS-gq4gx
      @MS-gq4gx 6 часов назад

      「縛られると強くなる」というのは、証明しやすくなるという訳ではなく、命題としてより一般化されているということですね。 命題として強くなるので証明は厳しくなると言えるのですが、一般化することで必要な法則が見えやすくなるので、証明法としてはよく用いられますね。

  • @user-ve8hw8fd2m
    @user-ve8hw8fd2m День назад

    3彩色可能だが4-リスト彩色可能でない平面グラフの証明がどうも腑に落ちません。 7:10 からの説明では、先に上端と下端のノードの色を決めた際に残りのグラフについて4-リスト彩色が不可能なだけのように感じます。 4-リスト彩色可能でないことの直接的な証明は彩色不可能なリストを彩色の前に与えることであって、一部であっても彩色後に彩色不可能なリストを与えても意味がないと思います。 7:10 の例について実際に彩色不可能なリストを一つでも与えることはできますか?

    • @evimalab
      @evimalab День назад

      7:34 を見てください。(これは彩色前です。)

    • @user-ve8hw8fd2m
      @user-ve8hw8fd2m День назад

      @@evimalab その部分の説明では、7:42でいう「上下を先に決める」(つまり彩色)をしてから残りのグラフについて彩色不可能なリストがあることを証明しているだけだと思います。16個のパターンを並べて結合しても上端と下端のノードの色をそれぞれ{5,6,7,8}{9,10,11,12}から選んで着色したのちの残りのグラフは4-リスト彩色が不可能であることを証明しているだけではありませんか?

    • @evimalab
      @evimalab День назад

      7:34の「割り当てる」は彩色することではなく、リストの構成を説明しています。 すなわち、7:34にはサブグラフが3個しか写っていませんが、実際には16個あり、全130頂点へのリストをここで与えているつもりです。 左から3番目のサブグラフ(写っていません)に与えるリストは一番左のサブグラフの9をすべて11に変えたもの、 左から4番目のサブグラフに与えるリストは一番左のサブグラフの9をすべて12に変えたもの、 左から5番目のサブグラフに与えるリストは一番左のサブグラフの5を6に変えたもの、 左から6番目のサブグラフに与えるリストは一番左のサブグラフの5を6、9を10に変えたもの、……です。

    • @evimalab
      @evimalab День назад

      > 16個のパターンを並べて結合しても上端と下端のノードの色をそれぞれ{5,6,7,8}{9,10,11,12}から選んで着色したのちの残りのグラフは4-リスト彩色が不可能であることを証明しているだけではありませんか? それは130頂点のグラフ全体が4-リスト彩色不可能であることの十分条件です。 (これに反対でしたら、7:34 の130個のリストから1色ずつ選んで塗り分ける方法を教えてくださいませんか。)

    • @user-ve8hw8fd2m
      @user-ve8hw8fd2m День назад

      @@evimalab 理解しました。証明は正しく私の理解が誤りでした。お手数おかけしてすみませんでした。グラフの構造を勘違いしてまったのが原因です。丁寧なご回答本当にありがとうございました。

  • @user-zm1vq5ob1k
    @user-zm1vq5ob1k День назад

    面白い

  • @user-jb3ly7yr6p
    @user-jb3ly7yr6p День назад

    11:52の機能法の仮定で塗れる理由がいまいちわからん…直接機能法の仮定使える?

    • @evimalab
      @evimalab День назад

      はい、直接使えます。とりあえず元論文を示しておきます。www.sciencedirect.com/science/article/pii/S0095895684710628/pdf?md5=91b2a411870487696702b2e4d7f3cbe0&pid=1-s2.0-S0095895684710628-main.pdf

  • @user-uz5km9rl3z
    @user-uz5km9rl3z День назад

    最of高

  • @user-yt8me4uc7g
    @user-yt8me4uc7g День назад

    色リストは「この頂点を次に塗るとき使える色の集合」という意味で使っていると思います 9:22 において内側の頂点の色リストの大きさは5以上としていますが、実際には塗った2つの頂点に隣接する内側の頂点の色リストの大きさは3以上となるので、仮定はむしろ弱くなっています それによって、 11:42 において新たに外周となった頂点の色リストの大きさが3以上にならないので仮定が使えず、この証明は成り立っていないと思います

    • @evimalab
      @evimalab День назад

      元論文を示しておきます。www.sciencedirect.com/science/article/pii/S0095895684710628/pdf?md5=91b2a411870487696702b2e4d7f3cbe0&pid=1-s2.0-S0095895684710628-main.pdf 色リストの意味を誤解されていると思います。(「次に」は不要です。)

  • @aluminum_X0
    @aluminum_X0 День назад

    これすごいなぁ

  • @user-shiny_doublade
    @user-shiny_doublade День назад

    帰納法による証明は、美術館の動画や結婚定理の動画のおかげですんなり理解できた 過去動画の復習にもなって最高

  • @watabe7969
    @watabe7969 День назад

    パッと考えただけではただの彩色よりリスト彩色の方が簡単そうに思えるけど、リスト彩色の方が強い命題ってことは簡単に分かるんだよな… このもどかしさはなんだろう

  • @matsuokenshirou
    @matsuokenshirou День назад

    地図にも穴はあるんだよなあ…

  • @wswsan
    @wswsan День назад

    縛られているフリー素材が存在するのがすごいよ...

  • @zouo-from-Taikonotatsujin
    @zouo-from-Taikonotatsujin День назад

    11:53 この文すごいこと言ってるなぁ、、、

  • @user-jimen
    @user-jimen День назад

    ちなみに実際の地図には「飛び地」とやらがある=線がクロスしてしまうので四色で塗るのは無理なものもありますね

    • @torisann-torisann
      @torisann-torisann 22 часа назад

      和歌山県か

    • @user-mu8du8jv8p
      @user-mu8du8jv8p 16 часов назад

      これって、飛び地とその県の本土を同じ色で塗らないといけない場合のみ、って解釈で合ってますでしょうか…?

    • @user-jimen
      @user-jimen 14 часов назад

      @@user-mu8du8jv8p ですね

    • @user-nekinoarune
      @user-nekinoarune 9 часов назад

      ⁠​⁠@@user-mu8du8jv8pもし飛び地と本土が同じ色で無ければ、飛び地と本土を全く別のものと考えられ、そうすればただの地図ちなります。なので、その解釈で合っています。

    • @user-mu8du8jv8p
      @user-mu8du8jv8p 9 часов назад

      @@user-nekinoarune そう言われたら確かにそうだ…飛び地を新しい県だと思えばいいのか…

  • @user-dq3ht9st5h
    @user-dq3ht9st5h День назад

    5:20「k−リスト彩色可能」の定義では、何種類の色を使用できるかは指定しないのですか? 「色がn種類ならば、どんな色リストでも塗り分け可能=n色k−リスト彩色可能」みたいな。

    • @zouo-from-Taikonotatsujin
      @zouo-from-Taikonotatsujin День назад

      一応書いておきますが どんなに種類を増やしてもリスト彩色のほうが強い定理です 途中のリスト彩色のほうがムズイ話でコピーをもっと増やせば無理ゲーに出来ますしね

    • @user-dq3ht9st5h
      @user-dq3ht9st5h День назад

      @@zouo-from-Taikonotatsujin 7:13「コピーをもっと増やせば無理ゲーにできる」というのは、具体的にどういうことですか?

    • @evimalab
      @evimalab День назад

      指定しません。最大で k × v 色使用可能ということになります。

    • @zouo-from-Taikonotatsujin
      @zouo-from-Taikonotatsujin 21 час назад

      ​@@user-dq3ht9st5h たしかに動画の場合だと13色以上使えれば彩色できる可能性がありますが それでも6:35の形のグラフをもっと追加すれば結局動画のように上下どう選んでも彩色不可にできると思います

  • @JD-is8yg
    @JD-is8yg День назад

    これ結構不思議でした おもしろい〜