Спасибо за видео. Понятно и ёмко. Но нашел две ошибки в рассуждениях. Первая - про формулу Эйлера для тора (не всегда она выполняется). Вторая - скорее, оговорка, про существование вершины с количеством рёбер из неё, не большим 5. UPD. И третья неточность - в первоначальной формулировке критериев планарности графа. Не обязательно содержать именно подграф из двух этих запрещённых графов, чтобы быть не-планарным. Можно содержать _минор_, который является одним из этих подграфов.
Спасибо за видео. Понятно и ёмко. Но нашел две ошибки в рассуждениях. Первая - про формулу Эйлера для тора (не всегда она выполняется). Вторая - скорее, оговорка, про существование вершины с количеством рёбер из неё, не большим 5.
UPD. И третья неточность - в первоначальной формулировке критериев планарности графа. Не обязательно содержать именно подграф из двух этих запрещённых графов, чтобы быть не-планарным. Можно содержать _минор_, который является одним из этих подграфов.