1976年にケネス・アッペル(KennethAppel)とヴォルフガング・ハーケン(WolfgangHaken)は、ヘーシュ(HeinrichHeesch)により考案された「放電」と呼ばれる手続きを改良し、コンピュータを利用して約2000個の（後に1400個あまりに整理された）可約な配置からなる不可避集合を見出し、四色定理を「証明」するに至った。
1976年，阿佩尔（KennethAppel）和沃夫冈·哈肯（WolfgangHaken）借助计算机给出了一个证明，此方法按某些性质将所有地图分为1936类并利用计算机一一验证了它们可以用四种颜色染色。