于内存不足，只能验证12环以下的构形。而希尔找出的不可避免集含有的大构形可以达到14环甚至更多，计算机的能力并不足以快速完成可约性的验证。当时美国的计算机技术领先于欧洲，因此希尔希望能够借助美国的大型计算机来证明四色定理。1967年，美国纽约布鲁克海文国家实验室（BNL）应用数学院院长邀请希尔来美国访问，并允许他使用当时世界上最快的计算机CDC 6600。其后几年，希尔两度到美国寻求大型计算机的使用机会。这段时间中，将程序用FORTRAN进行重写。抱着在德国最终解决四色问题的希望，希尔回到德国，但令他失