Три домика, три колодца и 12 миллионов графов
Есть старая головоломка: три домика, три колодца, и от каждого домика надо протоптать тропинку к каждому колодцу так, чтобы тропинки нигде не пересекались. Восемь тропинок ложатся легко, девятая не ложится никак. Почему так, доказывается в несколько строк. Дальше интереснее: как программа проверяет планарность за линейное время, как убедиться, что она не врёт, и что показали замеры формата, который я дописал в эталонную библиотеку. Читать далее