构形可约性过于缓慢，数学家开始考虑使用当时新出现的计算机作为辅助，以提高验证的效率。构造出放电法的同时，借助于计算机来验证构形可约性的工作也飞速进展。希尔在的帮助下在1965年设计了第一个算法来验证构形的可约性。他们使用的是Algol 60语言，在德国汉诺威技术学院计算机中心的一台CDC 1504A电脑上首次运行。1967年前，由于内存不足，只能验证12环以下的构形。而希尔找出的不可避免集含有的大构形可以达到14环甚至更多，计算机的能力并不足以快速完成可约性的验证。当时美国的计算机技术领先于欧洲，因此希