Теорема о четырех красках - простая задача с непростым решением // Vital Math

Поділитися
Вставка
  • Опубліковано 13 тра 2024
  • Теорема о четырех красках! Первая теорема с компьютерным доказательством!
    Задача с очень простой формулировкой, но очень непростым решением. 120 лет теорему не могли доказать, но даже сейчас, через 50 лет после доказательства, продолжают искать новые решения! Как все-таки раскрасить любую карту в 4 или 5 цветов? Что мешало доказать теорему? Чем помог компьютер? И какая сенсация произошла в 2022 году? #vitalmath
    Что внутри:
    00:00 Глава 1. Необычная теорема
    01:44 Глава 2. Как появилась теорема о 4х красках
    06:30 Глава 3. В чем сложность задачи?
    07:18 Глава 4. Подход к доказательству
    12:07 Глава 5. Доказательство для 6 цветов (и 5 тоже)
    14:59 Глава 6. Дополнительная сложность для 4х цветов
    16:50 Глава 7. Доакзательство теоремы о 4х красках
    20:41 Глава 8. Значение теоремы о 4х красках
    22:50 Три вывода
    [01] Краткая история www.maa.org/external_archive/....
    [02] Полный обзор nrich.maths.org/6291
    [03] Доказательство без компьютера arxiv.org/pdf/2212.09835.pdf
    [04] Некорректное доказательство arxiv.org/ftp/arxiv/papers/09...
    [05] Новое доказательство arxiv.org/pdf/2212.09835.pdf
    [06] Доказательство для частного случая arxiv.org/abs/1711.00934
    [07] Понятные видео с иллюстрациями • Graph Theory 6: Simple...
    [08] Простая иллюстрация и много карт math.illinois.edu/system/file...
    [09] Ещё одна полная история www.researchgate.net/publicat...
    [10] Источники оригинальных писем и публикаций assets.press.princeton.edu/cha...
    [11] Книга Пойа «Как решать задачу» www.vixri.ru/d/P%20O%20J%20A%2...
    [12] Доказательство Хакена и Аппеля - статья 2 projecteuclid.org/journals/il...
    [13] Доказательство Хакена и Аппеля - статья 1 projecteuclid.org/journals/il...
    [14] Доказательство Великой Теоремы Ферма scienzamedia.uniroma2.it/~eal/...
    [15] Доказательство Робертсона www.ams.org/journals/era/1996...
    [16] Доказательство без компьютера arxiv.org/ftp/arxiv/papers/09...
    [17] Ещё одно доказательство без компьютера www.researchgate.net/publicat...
    Что ещё посмотреть:
    Как быстро вычислить любую цифру числа π - • Как быстро вычислить л...
    Задача об упаковке шаров - • Задача об упаковке шар...

КОМЕНТАРІ • 595

  • @andreytsyganov7321
    @andreytsyganov7321 Рік тому +613

    Надо просто написать эту теорему в аудитории на доске, оставить, какой-нибудь прилежный ученик решит, что это домашнее задание, и уже к следующему занятию принесёт готовое решение и вуаля!

    • @Vitaly_Ryzhmanov
      @Vitaly_Ryzhmanov Рік тому +81

      Думаешь, второй раз проканает?

    • @wooodser
      @wooodser Рік тому +83

      Не советую. На проверку такого ДЗ может уйти несколько месяцев.)

    • @viyacheslav.
      @viyacheslav. Рік тому +11

      Так это же просто, есть четыре стороны - верх, низ, право, лево. Вот и краски надо 4.

    • @andreytsyganov7321
      @andreytsyganov7321 Рік тому +4

      @@viyacheslav. А если количество сторон >4?

    • @viyacheslav.
      @viyacheslav. Рік тому +2

      @@andreytsyganov7321 Других нету, есть у, -у, х, -х. Посмотрите на график.

  • @sherbakovs
    @sherbakovs Рік тому +16

    Спасибо за хорошее и понятное изложение задачи.
    На 10-26 ошибка в иллюстрациях F+E-V , которая тут же сама исправилась на F-E+V. Хорошо бы было сообщить вначале, что V E F - это вершина vertex (V), ребро edge (E), грань face (F).

  • @user-iw4xj4mn1t
    @user-iw4xj4mn1t Рік тому +296

    Математика - наука, специализирующаяся выдумывании и последующем решении проблем

    • @dimache2295
      @dimache2295 Рік тому +33

      Если бы не математика, вы бы сейчас не на ютубчике отвисали, а коровам хвосты крутили

    • @user-iw4xj4mn1t
      @user-iw4xj4mn1t Рік тому +17

      @@dimache2295 Ну и ахуенно, ну а вообще я говорил про современную математику(именно иследовательскую), которая уже очень далеко от чего-то практичного

    • @dimache2295
      @dimache2295 Рік тому +16

      @@user-iw4xj4mn1t на данный момент - возможно, но кто знает, может все это пригодится через сотни лет? История знает много примеров подобного.

    • @andrewyudin1161
      @andrewyudin1161 Рік тому +10

      ​@@user-iw4xj4mn1t много чего сначала было только в теории, и уже потом (иногда сильно позже) переходило в практическую область. глупости пишете ж. а "ахуенно крутить коровам хвосты" можно и сейчас. становитесь отшельником, стройте хижину. без света, вайфая, интернета, без централизованного отопления/воды/канализации/газа - и наслаждайтесь. только другим не мешайте (впрочем вас тогда в комментариях уже и не будет - и это хорошо) 😎😏

    • @user-iw4xj4mn1t
      @user-iw4xj4mn1t Рік тому +6

      @@andrewyudin1161 Странный вы человек, если думаете что для кручения хвоста коровам надо становиться отшельником и жить как в средневековье, сейчас видимо никто этим не занимается а молоко на заводах печатают)

  • @yaustal9472
    @yaustal9472 Рік тому +69

    Спасибо за контент! Поделился с мамой, друзьями, девушкой и котом. Ждём видос про формулу Эйлера

    • @VitalMath
      @VitalMath  Рік тому +13

      Спасибо! Коту точно понравится)

  • @mfol2374
    @mfol2374 Рік тому +55

    Да, было б интересно узнать о математике в машинном и особенно глубоком обучении. По сути это ведь нахождения локальных минимумов в функциями от нескольких [тысяч, миллионов, миллиардов] переменных. Интересно как это изучается с точки зрения классичекского мат анализа и что привносит обратно в чистую математику.

  • @Boban__Velike
    @Boban__Velike Рік тому +174

    Я не могу понять, почему так мало просмотров. Ведь это действительно интересные вещи, которые полезно изучать.

    • @alexvmw
      @alexvmw Рік тому +11

      Это сложный контент. У меня 2 высших и IQ сильно выше среднего, и то мне сложно усвоить. Ну не математик я ) Остальным еще сложнее. Математика - не для всех.

    • @liudmylasurzh8616
      @liudmylasurzh8616 Рік тому +5

      Потому что это интеллектуальное наслаждение, и для его получения необходимы определенные рецепторы😊.

    • @user-wo6xc3kr6m
      @user-wo6xc3kr6m Рік тому +2

      Потому что много ошибок. И в графике и в речевом сопровождении.

    • @SirPatrik
      @SirPatrik Рік тому +1

      Интеллектуальное вырождение (

    • @wonderful2122
      @wonderful2122 Рік тому +4

      Как минимум название ролика не привлекает, пока не посмотрел на название канала не понял, что про математику, а подобное сильно влияет на рядового пользователя.
      Хотя, математический контент в целом особой популярностью не пользуется, да и есть много английских каналов-аналогов, где, зачастую, можно увидеть прекрасный контент.

  • @user-oi3iv7oo4z
    @user-oi3iv7oo4z Рік тому +31

    Ну вот, ура, 10К! Поздравляю, Виталий. Наконец-то дело двинулось, да ещё как активно, по 500, по 800 в день. Хорошо, что не сложили руки: помню ваше депрессивное видео, где каналу 2 года. Вы заслужили это, а на самом деле, заслужили ещё большего, вперёд за серебряной кнопкой! Очень болею за ваш канал!

  • @Boban__Velike
    @Boban__Velike Рік тому +7

    Очень интересно! Спасибо большое, нашёл канал через энтропию и сейчас уже посмотрел половину роликов. Всё очень нравится!

  • @user-rm7mt9wr1u
    @user-rm7mt9wr1u Рік тому +6

    В книге Холла «теория графов» есть очень красивое доказательства . Практичность этой теоремы связан с количествами слоев при создании микросхем

  • @Znadaked
    @Znadaked Рік тому +2

    Очень интересный канал. С нетерпением жду новых видео!

  • @nafilin
    @nafilin Рік тому +46

    Есть забавный рассказ Мартина Гарднера "Остров пяти красок". Я с этой темой впервые в детстве по нему ознакомился :)

    • @votmoinick
      @votmoinick Рік тому +2

      Да да да. Точно. Спасибо) надо перечитать

    • @user-ky5ie9yg5l
      @user-ky5ie9yg5l 5 місяців тому

      Я тоже припоминаю. Классно, спасибо большое!@@votmoinick

    • @user-rd3lj4gn4s
      @user-rd3lj4gn4s 4 місяці тому

      А пчему «пяти красок», когда тут говорится о четырёх красках?

    • @user-tv6tu1qd9m
      @user-tv6tu1qd9m 4 місяці тому

      да-да. "Квант" --- наше все!

  • @user-ts4gt5fp1s
    @user-ts4gt5fp1s Рік тому +32

    Когда учился на физтехе, пытался заниматься этой задачей используя теорию узлов, но быстро забил)

  • @bonareal7556
    @bonareal7556 Рік тому +7

    Респект и уважуха тебе за этот познавательный ролик!

  • @fedman4050
    @fedman4050 Рік тому +25

    7:53 можно узнать почему зелёная точка в центре не соединена с жёлтой точкой? Хотя на карте эти две области пересекаются

    • @DiVO4271
      @DiVO4271 Рік тому +11

      Тот, кто готовил видеоряд малеха затупил.

  • @user-jn3jh9by5d
    @user-jn3jh9by5d Рік тому +8

    Очень жаль, что так мало просмотров и лайков, а ведь контент очень годный

  • @mifiliya1233
    @mifiliya1233 Рік тому +2

    Спасибо. Жду видео о машинном обучении!

  • @cenagfa
    @cenagfa Рік тому

    Увлекательно, качественно, полезно
    Хороший монтаж и четкое разделение повествования на главы, не зря потратил время, а это главное.

  • @user-sj9br2fh4n
    @user-sj9br2fh4n Рік тому +3

    🤝💞🌼 Увлекательно и полезно. Благодарю.

  • @hedgehogsch.7270
    @hedgehogsch.7270 Рік тому +6

    7:46 Не хватает одного ребра в графе

    • @VitalMath
      @VitalMath  Рік тому +3

      Точно!

    • @1CHINESE1
      @1CHINESE1 Рік тому +1

      Искал этот коммент. Сам в графах не разбираюсь, но думал что мне пора в дурку.

  • @krzysztofpukicz3252
    @krzysztofpukicz3252 Рік тому +79

    Снимай ещё) Математика это круто) Годного математического контента на русском языке очень мало.

  • @normal3734
    @normal3734 Рік тому +4

    Спасибо за ролик! Кстати, ту статью (с некомпьютерным доказательством) в итоге тоже заброковали. Ждем новых попыток!)

  • @endlessvd
    @endlessvd Рік тому +23

    Если для плоскости достаточно 4 красок, то для нашего 3D пространства будет достаточно 6 красок для того, чтобы произвольные области объема одинаковых красок не контактировали друг с другом, правила такие же, разные цвета, если граница имеет площадь больше 0 (то есть на 1 измерение меньше пространства).
    Это буквально обобщение этой теоремы на ещё одно измерение. (Для 4D было бы достаточно 8 красок, а для 1D 2 красок хватит, хотя там было бы просто чередование 2 красок на прямой).
    Я считаю, этот интересный факт можно было бы упомянуть в видео

    • @Kroner108
      @Kroner108 Рік тому +1

      А если в nD (n=3,...) пространстве есть дырки как в случаи плоскости?

    • @endlessvd
      @endlessvd Рік тому +5

      @@Kroner108 Да, в 4 мерном пространстве можно свернуть 3 мерное наше пространство в Тор с некоторым количеством отверстий, в этом случае вероятно будет похожая формула, как в видео для свернутой плоскости в Тор. Но эту формулу я не могу назвать, надо считать математически.

    • @AlexDmity
      @AlexDmity Рік тому +1

      Произвольные области объëма это про выпуклые? Потому что если нет, закрасить такие области объëма невозможно

    • @Manyearsago
      @Manyearsago Рік тому +3

      Откуда эти цифры? 4 - 2д, 6 - 3д, 8 - 4д?
      Это из каких-то исследований?

    • @Kroner108
      @Kroner108 Рік тому

      @@Manyearsago 1д - 2 - тривиальный случай, 2д - 4 - об этом ролик, остальные тоже вызывают вопросы...

  • @user-de8nb8fn6s
    @user-de8nb8fn6s Рік тому

    Большое спасибо, очень интересно!

  • @fedozzxoxotyn
    @fedozzxoxotyn Рік тому +2

    Классный канал! Мне нравится как рассказывает и показывает автор. Но рекомендую смотреть его на 1.5 скорости))

  • @glaknotfound0301
    @glaknotfound0301 Рік тому +11

    на 10:22 неправильная формула (перепутаны знаки), при этом на 10:28 нормально

  • @end1mell
    @end1mell Рік тому +1

    Спасибо за видео

  • @user-ed4jb3in8p
    @user-ed4jb3in8p 4 місяці тому +2

    Блеск!!!!
    Ведущему благодарность!
    Впервые слушаю о математике с удовольствием!!!
    Я знал, что это "интересно".., но что настолько! Круче детектива.🤷‍♂️

  • @praetorian7279
    @praetorian7279 Рік тому

    Спасибо , что делаешь годный контент !!! Привет с мехмата!!!

  • @DallasFindli
    @DallasFindli Рік тому +8

    7:44 "Если области имеют не нулевую границу, то соединим их точки", ну зелёная область и жёлтая область имеют не нулевую границу, но мы их почему то не соединили, почему?

    • @smileborsh9780
      @smileborsh9780 Рік тому +1

      Вероятно, невнимательность при монтаже.

  • @user-fq8ut7wr5o
    @user-fq8ut7wr5o Рік тому +2

    Замечательный выпуск на интересную тему! Посмотрел с удовольствием! Развития вашему каналу, и миллион подписчиков!!!!!

  • @Vladislav.1992
    @Vladislav.1992 Рік тому +1

    Виталя ты очень крутой отвечаю!!! Это пушечный контент! Смотрю каждый день.

  • @basedpolitic
    @basedpolitic Рік тому

    Очень интересный ролик, емко и интересно рассказано о теореме, истории и доказательстве. Со времен когда в школе решал олимпиадные задачи, не было так интересно слушать доказательство какой-то теоремы.

  • @AmneziaAztec
    @AmneziaAztec Рік тому +2

    я, как посмотревший видео комментатор, не могу не прокомментировать видео после просмотра, т. к. непреодолимое желание оставить комментарий под видео возникло сразу после просмотра.
    большое спасибо за популяризаторство такой важной (но скучной для моего склада ума) науки! желаю обресть всеобщую любовь и известность))

  • @Mark_Sher_
    @Mark_Sher_ Рік тому +4

    Очень нужный и полезный формат подачи материала про математику! За много лет я такое вижу впервые, поэтому обязательно продолжайте развитие канала.
    Хочу попросить Вас сделать материал о том как Грэм, решая похожую задачу о раскраске граней в кубах в многомерных пространствах (за точность формулировки задачи не ручаюсь, поскольку нигде не нашёл её понятного описания) досчитал до своего фантастически огромного Числа Грэма, которое даже попало в книгу рекордов Гинесса. Но хочу обратить внимание: меня интересует не столько сама задача, сколько то не поддающееся никакому осмыслению обычным человеческим разумом огромное число, до которого досчитал Грэм. Я вкратце поясню о чём идёт речь. Если Вы в курсе можете дальше не читать.
    Расширяя линейку всем известных арифметических операций (сложение, умножение, возведение в степень ... а дальше что ?) для записи сверх больших и огромных чисел Кнут придумал свою "стрелочную" нотацию:
    1) a | b - это означает просто 'а' в степени 'b' (вертикальная чёрточка заменяет стрелочку вверх, поскольку её нет на клавиатуре)
    2) a || b = a | a | ...(b раз)... | a. Это превращается в башню: 'а' в степени 'а' в степени 'а' ... и так 'b' раз.
    3) a ||| b = a || a || ...(b раз)... || a. И так далее.
    Если заменить переменные 'а' и 'b' числом 3:
    3 | 3 = 3^3 = 27 (значк ^ - это возведение в степень)
    3 || 3 = 3^3^3 = (приблизительно) 7,6 триллиона !! (примечание: операции многократного возведения в степень выполняются справа налево).
    3 ||| 3 = 3^3 ...(7,6 триллиона раз)... ^3. Это настолько огромное число, что у него даже есть название 'ТриТри'. Это башня из троек, которая с Земли достанет до Марса!!! Это число заведомо больше всего что нам известно из больших чисел. Например, кол-во Планковских объёмов (это самый маленький объем известный науке намного намного меньше электрона) в обозреваемой телескопами вселенной, или числа Гуголплекс, причём больше в фантастическое кол-во раз. Но ... это число даже не начало на долгом пути к числу Грэма. Мы видим как быстро растёт эта функция при добавлении каждой следующей стрелочки: 27; 7,6 трил; башня из 7,6 триллиона троек! Грэм ввёл число 3 |||| 3 = g1 и назвал его "первое гигантское число". При попытке его осмыслить у меня в голове перегорают предохранители и дым идёт из ушей. Но у Грэма это только НАЧАЛО ! Дальше Грэм прибавлял уже не по 1 стрелочке, а ввёл число g2 в которое бахнул сразу такое кол-во стрелочек (а мы помним, что каждая из них ведёт к фантастическому росту), что обычному человеку впору просто сойти с ума при попытке это осмыслить и оно равняется умопомрачительному:
    g2 = 3 ||||| ...(g1 стрелочка)... ||||| 3. Потом было число:
    g3 = 3 ||||| ...(g2 стрелочек) ...||||| 3. Потом было:
    g4 = 3 ||||| ...(g3)... ||||| 3 и так далее ажж до Числа Грэма равное G(64) !!!!!
    Я ещё раз хочу подчеркнуть: мне совершенно непонятно как живой человек со своим обычным НЕ СВЕРХЕСТЕСТВЕННЫМ разумом (не ИИ, не супер компьютер с сотнями тысяч процессоров или супер квантовый компьютер, или внеземной разум) смог до этого додуматься ???

    • @user-fi8lx4zz4o
      @user-fi8lx4zz4o 4 місяці тому

      Любой средний "Математик" даже не заметит ваш комментарий.
      Потому что он бесполезный.

    • @Mark_Sher_
      @Mark_Sher_ 4 місяці тому

      @@user-fi8lx4zz4o В каком смысле "бесполезный" ? Мой комент НЕ ЯВЛЯЕТСЯ теоремой, леммой, аксиомой, каким-нибудь строгим определением или ещё более строгим доказательством теоремы. 🤷‍♂️

  • @maximstrakh1984
    @maximstrakh1984 Рік тому +10

    Большинство ваших видео очень интересные, спасибо!
    Расскажите ещё о Диаграмме Вороного, пожалуйста! мне кажется, очень близкая тема :-)
    Было бы очень интересно еще увидеть от вас видео на тему Цвета, про цветовой круг (треугольник), или может быть что-то из оптики. Мне кажется там тоже достаточно математики.
    п.с.: я - гуманитарий, точней художник), математику вообще с трудом понимаю, но интересны подобные темы.
    п.п.с.: и да, больше подписчиков и просмотров каналу!

    • @VitalMath
      @VitalMath  Рік тому +3

      Хорошие темы - нужно подумать) Спасибо, что смотрите)

    • @_Yes_.
      @_Yes_. Рік тому

      @@vinivinia3333 что ты подразумеваешь под определением "минимальная фигура"

    • @vinivinia3333
      @vinivinia3333 Рік тому

      @@_Yes_. я подумал немного дольше, и понял что ерунду написал, не обращай внимания.

    • @_Yes_.
      @_Yes_. Рік тому

      @@vinivinia3333 ладно

  • @Dimich20m
    @Dimich20m Рік тому +2

    Отличная тема и очень Крутая подача, но звук бы немного лучше….
    Все равно спасибо большое, по-больше такого контента

  • @essentia9
    @essentia9 4 дні тому

    Спасибо за труд и наглядные примеры 👍

  • @vasiliyanisimov4443
    @vasiliyanisimov4443 Рік тому

    Вот взял и подписался на канал..доходчиво и понятно..:)

  • @SergioSergio2011
    @SergioSergio2011 4 місяці тому

    Витали! Вы большой молодец!

  • @antongoncharsky2827
    @antongoncharsky2827 Рік тому +1

    Отлично. Про машинное обучение было бы интересно посмотреть.

  • @user-oi3iv7oo4z
    @user-oi3iv7oo4z Рік тому +2

    Рад наблюдать рост числа ваших, Виталий, подписчиков!

  • @BL-lb2hi
    @BL-lb2hi 4 місяці тому +2

    вот именно нейронка - это изначально чёрный ящик
    а что она там сама себе доказывает - это ещё более чёрный ящик
    мы на пороге чего то пугающего
    к математике это точно отношения не имеет, но дико интересно чем закончится ))

  • @user-mu7zw7kj9l
    @user-mu7zw7kj9l Рік тому +8

    Практическое приложение: достаточно набора из всего 4 ручек, чтобы раскрасить контурную карту со странами мира

    • @f.linezkij
      @f.linezkij 9 місяців тому

      Или ручку с 4мя выдвижными стержнями))

  • @user-kf5yl9xj9t
    @user-kf5yl9xj9t Рік тому

    Очень интересно было слушать. Жаль, что ты не разобрал решение 2022-го года. Но это итак большой труд. Успеха тебе!
    P.S.: по ходу видео услышал две оговорки. Хоть и на видеоряде все было хорошо, но резало слух.

  • @alexeydyakonov8210
    @alexeydyakonov8210 Рік тому +7

    Прямо как в живописи - теория цвета.
    Спасибо! Отличный материал.

  • @user-ds4ic1wr1v
    @user-ds4ic1wr1v Рік тому

    Здорово ! Когда то слышал что нашли формулу двойного маятника с помощью программы генератора случайных функций .

  • @sanyochekcastellano997
    @sanyochekcastellano997 Рік тому

    было бы интересно послушать про машинное обучение

  • @frez_x
    @frez_x 4 місяці тому +1

    16:12
    Якщо взяти формулу для тори і виконати наступні дії:
    Уявити тор з нулем отворів, що відповідно площині, або й рівне площині, то формула буде справедлива для площини і має рішення в 4 фарби. Рішення простіше ніж здається🤔

    • @German_1984
      @German_1984 4 місяці тому

      Тор без отверстий это сфера, а не плоскость.

  • @user-ib4ee1qd2t
    @user-ib4ee1qd2t Рік тому

    чел ты красава мне нравятся твои видео снимай ещё

  • @canniballissimo
    @canniballissimo Рік тому +6

    Теперь я тоже думаю об этой задаче, разные варианты стыков в голове крутятся. Ну ты дал!

  • @websystema
    @websystema 6 місяців тому

    Супер видео

  • @86Natta
    @86Natta Рік тому +2

    Если задача про раскраску - то все области одним цветом, а границы другим (стандартная обычная обводка контуров черным как вариант, а сами области контрастным желтым или белым) - в итоге достаточно 2 краски.
    Тут же задача больше похожа про нарезанные цветные кусочки. Типа взяли несколько наборов, каждый покрашен своим цветом. Раскидали как попало один из наборов. И теперь нужно сделать так, чтобы кусочки с одинаковым цветом не пересекались, меняя один из кусочков на точно такой же, но уже другим цветом. Сколько минимальных наборов цветов достаточно, чтобы одноцветные кусочки не пересекались.
    А теперь банально кидаем на землю три кусочка из разных наборов, так чтобы они все пересекались друг с другом и фотографируем сверху получившийся результат. Как добавить к этому безобразию на полу четвертый, так чтобы он пересекал все три предыдущих ( если не пересекает, то другой цвет не нужен) и чтобы не перекрывал предыдущие пересечения полностью (если перекроет одно из пересечений - два куска перестанут быть соседями, а значит могут быть одним цветом) - вывод, такое место есть только 1 - пересечение всех трех областей и размер соответственно такой, чтобы не закрыть ни одно пересечение полностью. Получаем 4 цвета с пересечениями, фотографируем сверху. Теперь к этому нужно добавить еще 1 кусок, который будет пересекаться со всеми 4 цветами, не закроет ни одно из уже существующих пересечений. Единственный способ такое проделать - подобрать кусочек, который будет меньше 4-ого центрального, словно с щупальцами дотягиваться до остальных 3 цветов. Таким образом разрезая 4-ый на несколько частей, что не катит, каждую из разрезанных частей можно заменить более мелким куском, отделившегося цвета. Вы просто не сможете добавить кусок 5 цвета, чтобы он пересекал все предыдущие, не "разрезая" ни один.

    • @dimache2295
      @dimache2295 Рік тому

      У меня был точно такой же ход мыслей! Но достаточно ли этих рассуждений, чтобы считать теорему доказанной?

    • @user-jb2lr8oe4l
      @user-jb2lr8oe4l Рік тому

      можно ещё проще
      1) множество графов, в которых все точки соединены друг с другом и рёбра не пересекаются состоит из графов с количеством вершин [1,2,3,4]
      2) любой планарный граф можно представить как набор графов из пункта 1
      3) минимальное количество красок что бы покрасить планарный граф из 4 вершин - 4

    • @dimache2295
      @dimache2295 Рік тому

      @@user-jb2lr8oe4l все так, но 3 пункт надо еще доказать

    • @user-jb2lr8oe4l
      @user-jb2lr8oe4l Рік тому

      @@dimache2295 от обратного, рассмотрим планарный граф из 4 вершин, в котором всё вершины соединены между собой. Рассмотрим 1, 2, 3 и 4 цвета, 1, 2 и 3 не подходят. Следовательно минимальное количество цветов для такого графа 4.

    • @dimache2295
      @dimache2295 Рік тому

      @@user-jb2lr8oe4l вам надо диссертацию об этом писать )

  • @_ts_skyld5352
    @_ts_skyld5352 Рік тому +2

    Почему на 8:08 бирюзовая и жёлтая вершины графа не соединены? На рисунках слева явно есть ненулевая граница между этими областями

  • @hoopengo2289
    @hoopengo2289 4 місяці тому

    я еще не досмотрел видео и незнаю решения, но я подумал что ты максимальное число фигур сопрекасающихся друг с другом в двух мерном измерении это 4, нельзя нарисовать 5, а в одномерном это 2, думаю можно предположить что в 3-х мерном ответ будет 6, 8 или 16. Вообщем прикольно было поразмышлять насчет этой задачки, спасибо за видео)

  • @NikitokDeskat
    @NikitokDeskat Рік тому +1

    Занудства ради - конкретно с картами стран/регионов всё же может случиться ситуация, когда 4 цветов недостаточно. Из-за стран/регионов, имеющих анклавы, которые должны быть раскрашены так же, как основная часть.
    Например гипотетическая ситуация: есть 5 стран (можно и больше), каждой принадлежит большая основная территория и по городу внутри территории каждой другой страны. Если 2 страны будут иметь одинаковый цвет, то внутри обеих будет анклав такого же цвета.

    • @user-zs8wh7nk8v
      @user-zs8wh7nk8v Рік тому

      Ну это тут вообще не при чем. Мы берём карту, а дальше забываем что она там значит в географим и начинаем красить.

  • @user-my8zt9lo7p
    @user-my8zt9lo7p Рік тому

    10:20 несоответствие слов (знаков сложения и принятым условным обозначениям) Е и V нужно местами поменять

  • @eprstsrpe
    @eprstsrpe Рік тому +3

    Виталий, в будущих ролика рассмотрите формулу расчета Эло. Интересно!

  • @njs4724
    @njs4724 10 місяців тому +1

    Я помню как мне нравилось в детстве раскрашивать карты и я часто думал о минимальном наборе красок. Но конечно даже представить себе не мог, что математики об этом думают столетие

  • @mrasasin243
    @mrasasin243 Рік тому +8

    про машинное обучение было бы прикольно, но в частности про обучение с подкреплением!

  • @cyberdron
    @cyberdron Рік тому

    Голосую за ролик про машинное обучение

  • @kremjam
    @kremjam Рік тому

    КАКОЙ ЖЕ КЛАССНЫЙ КАНАЛ

  • @Voicemix
    @Voicemix Рік тому

    Хочу видео про метод Ферми

  • @Almashina
    @Almashina Рік тому

    я думаю, что Ваш канал охрененен

  • @rustix3
    @rustix3 Рік тому +2

    22:31 Я не понял гипотезу Коллатца, как получить 1 из нечетного если мы всегда умножаем на 3 и прибавдяем 1, для позитивных чисел это ведь только будет удалять от 1.

  • @user-ev9bp9rf9k
    @user-ev9bp9rf9k Рік тому

    Классная футболка!

  • @Skelanadr
    @Skelanadr Рік тому

    Попробую с административной карты Словении (улыбка с безнадёжностью)

  • @mrhope1270
    @mrhope1270 Рік тому +3

    Как правило, найденное интуитивное решение плохо поддаётся формализации. Т.е. любое творчество не технологично. Тут возникает тревожный вопрос об осуществимости создания ИИ и воспроизведения некоторых технологий прошлого, которые могут быть утрачены навсегда.

  • @linaslapenas5888
    @linaslapenas5888 Рік тому +2

    У Вас интересные видео, НО С ОШИБКАМИ, увы... Вот и в этом, на 8:08 нету связи между зеленым и желтым кружками... 😐

  • @brachistochronos9011
    @brachistochronos9011 Рік тому +1

    Ну, картографам не пригодилась, однако бесполезной реорему не назовешь. Например, так называемый register allocation в компиляторах - суть раскраска плоского графа. И знание о том, что вычисление можно разложить на 4 регистра весьма полезно :)
    Не исключаю, что теорема и в других областях может иметь весьма конкретное применение. Мало ли где еще бывает ресурс ограничен...

    • @TheGeodezer
      @TheGeodezer Рік тому

      Используют и в картографии

  • @alexanderivanov899
    @alexanderivanov899 4 місяці тому +1

    А есть алгоритм заполнения?

  • @YbisZX
    @YbisZX Рік тому +2

    @Vital Math Так почему нельзя формулу Хивота для тора применить? Если число дырок =0, то это же сфера, эквивалентная плоскости! И получается 4.

    • @dimache2295
      @dimache2295 Рік тому

      Абсолютно верно!

  • @anotherpain9120
    @anotherpain9120 Рік тому

    Интересно все

  • @user-wg8ip8wi1e
    @user-wg8ip8wi1e Рік тому

    А есть задача про минимальную раскраску областей в пространстве?(точнее хочу спросить поставлена ли такая задача, и решена ли)

    • @marinemage6605
      @marinemage6605 Рік тому

      Для любого n трёхмерное пространство можно разбить на области так, что n цветов для его правильной раскраски будет недостаточно...

  • @user-yl7kv5zs5d
    @user-yl7kv5zs5d Рік тому +2

    10:25 Почему у тебя в формуле Эйлера + и - меняются местами?

  • @meta671games
    @meta671games Рік тому

    Классный видос, но я это уже прошел в вузе, так что ограничусь лайком и комментом

  • @cheshirecat2023
    @cheshirecat2023 Рік тому

    допустим, прямогульная область с соотношением сторон 1:2, если разделить его пополам, так сто бы получилось две области с соотношением сторон 1:4, и одну из этих областей, делим на 4ре области(квадрата) с соотношением сторон 1:1

    • @cheshirecat2023
      @cheshirecat2023 Рік тому

      а если эту фигуру заключить внутрь область большего размера? как Ватикан выходит

  • @user-gm7rd8xp9b
    @user-gm7rd8xp9b Рік тому

    Тоже мне бином Ньютона. Я в школе одной шариковой ручкой раскрашивал контурные карты.

  • @YOUMILK1001
    @YOUMILK1001 4 місяці тому

    Здравствуйте , а подскажите пожалуйста ссылку на аксиому , что граф не может содержать больше 6 вершин( удалённых точек на лучах) Почему лучей из общей точки не может быть больше 5? 7-7-8????
    ua-cam.com/video/urijBOcw4us/v-deo.html ....
    спасибо!

  • @Mathematician_7
    @Mathematician_7 Місяць тому

    18:26 --- приятная отсылка к доказательству гипотезы Пуанкаре - теоремы Перельмана для искушенных слушателей. Приятно удивил факт о новом чисто математическом доказательстве теоремы о красках (отдельное Спасибо за то, что дали ссылку на данную работу), так верно ли оно, ещё не выяснили?

  • @BasilleLebedeff
    @BasilleLebedeff Рік тому

    7:43
    Желтая область имеет ненулевую границу с центральной зелёной. Чините картинку.

  • @user-hy7rz1jr4i
    @user-hy7rz1jr4i Рік тому

    Объясните, почему на 7:39 зелёная и желтая точка не соединяются?

  • @nikitasvorin9504
    @nikitasvorin9504 Рік тому

    можно теорему для тора применить на сфере, взяв количество отверстий за 0?

    • @dimache2295
      @dimache2295 Рік тому

      Конечно, будет также 4 цвета

    • @welran
      @welran Рік тому

      Доказательство формулы Хивуда не работает при количестве дырок равное нулю. Поэтому хоть она и верна при g=0 ей нельзя доказать теорему на сфере.

  • @R6nken
    @R6nken Рік тому

    0:19 а что это за красное пятнышко посреди Якутии? Видать, не любую всё же карту можно в 4 цвета раскрасить? Или я что-то не так понимаю?

  • @mrnikitaBOSS
    @mrnikitaBOSS Рік тому

    Какие цвета будем использовать для покраски карт?

    • @user-zs8wh7nk8v
      @user-zs8wh7nk8v Рік тому

      Индиго, золотой, багряный, изумрудный

  • @eiiiera1dfury858
    @eiiiera1dfury858 3 місяці тому

    Шикарный контент)

  • @ievgen.official
    @ievgen.official Рік тому

    Я так понял в условии одни области не могут полностью быть внутри других. Как Лесото внутри ЮАР. правильно?

    • @afkshar
      @afkshar Рік тому +1

      Лесото можно покрасить в любой цвет кроме цвета ЮАР

  • @drakondra
    @drakondra 3 місяці тому +2

    Создатели контурных карт могут в 2. Причем второй это цвет бумаги

  • @Bla-_-Blah
    @Bla-_-Blah Рік тому +10

    19:02
    Как художник, напишу, что интересно узнать конкретно про рисунки нейронных сетей. Смотрю все видео об этом, и ваше лишним не будет)

  • @rustix3
    @rustix3 Рік тому +2

    7:43 Граф неправильный. Сине-зеленая фигура в центре также граничит с желтой фигурой, но на графе соответствующего соединения нет.

  • @user-ms9vw4go4r
    @user-ms9vw4go4r 4 місяці тому

    А в n-мерном пространстве может быть схожая теорема?

  • @seeknord
    @seeknord 4 місяці тому

    В студентах вывел формулу для количества красок для карты в n-мерном пространстве (с границами «стран» размерности n-1), но забыл (

  • @yukanuken4689
    @yukanuken4689 Рік тому

    Неожидал тут гайдов по HOI4

  • @fukuro.nuclear
    @fukuro.nuclear Рік тому

    А зачем на 10:22 в формуле Эйлера сделали ошибку?

  • @alexandergudoshnikov2397
    @alexandergudoshnikov2397 Рік тому

    Я Вас уважаю.

  • @sergey_r
    @sergey_r Рік тому

    В формуле Эйлера на 10:27 ошибка, на 10:28 уже правильно, словами тоже правильно озвучено.

  • @user-zz7qg5cx4g
    @user-zz7qg5cx4g Рік тому

    А есть программа, которая автоматически раскрашивает области карты в 4/больше цветов?

  • @redsn1per
    @redsn1per Рік тому

    Очень интересное видео. Если бы было на 10 минут короче - было бы вообще круто

  • @nicklaich
    @nicklaich Рік тому +1

    Только вот проблема, в реальных картах есть области - анклавы, которые являются отдельными областями, могут быть в любом месте, но при этом должны иметь цвет основного района.

    • @Micro-Moo
      @Micro-Moo Рік тому

      И в чём здесь проблема?

    • @welran
      @welran Рік тому +1

      Это не проблема. Реальные карты никто не раскрашивает в 4 цвета, если это не группировка стран по четырем признакам.

    • @TheGeodezer
      @TheGeodezer Рік тому

      @@welran расскрашивают

  • @vanmaanenst
    @vanmaanenst Рік тому +2

    спасибо за интересное и познавательное видео! очень рад видеть новые математические видео, каналы на русском языке. удачи вам в развитии!

  • @Senjozai
    @Senjozai 4 місяці тому

    Добрый день. Вопрос а можете пожалуйста объяснить в чем сложность доказательства?
    Если мы все интерпритируем в графы то:
    А) Любая точка соедененная с другой точкой обязанна быть отличного цвета, при отсутсвии соеденения можно красить в один цвет.
    Б) В графах не должны пересекаться линии т.к. в таком случае на карте появляются наложения одной территории на другую.
    Соответсвенно нужно выяснить какое максимальное число точек может существовать на плоскости, которые можно соеденить между собой не создавая пересечений линий.
    Ответ: 4.
    Т.к. при уже пяти точках для того чтобы соединить их между собой образуются пересечения. Если же соеденять без пересечений то не соедененные напрямую точки можно красить в разный цвет.
    Соответсвенно достаточно 4-х цветов для того чтобы закрасить все точки.
    Можете просто нарисовать на листочке бумаги 4 и 5 точек и попробовать соединить все со всеми.
    Буду благодарен за ответ. Очень интересно Ваше мнение.