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

Теорема о четырех красках! Первая теорема с компьютерным доказательством! Задача с очень простой формулировкой, но очень непростым решением. 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] Краткая история #:~:text=What makes the four color,not help you at all.