Изменения

Подобными операциями Аппелем и Хакеном было получено <tex>487</tex> неизбежных конфигураций. Некоторые из них являются сводимыми, а другие требуют механической проверки возможности <tex>4</tex>-раскраски. С помощью избавления от сводимых конфигураций и еще ряда эвристик Аппель и Хакен получили <tex>1482</tex> конфигурации, раскрашиванием которых и занимался компьютер.

== Примeчания ==