数学上著名的 “ 四色问题 ”, 早在 1840 年就提出来了。即在平面或球面上画地图 , 为了用不同的颜色将邻近的地区区别开来 , 只要四种颜色就能满足要求。但要证明四色定理 , 需要分析 2 千多个组合图形 , 进行 21 亿次判断。由于运算次数太多 , 这一命题长期得不到证明而成为数学上的一个难题。直到 1976 年美国数学家阿沛哈肯用高速电子计算机对所有的组合图形逐一进行验证 , 共运算了 1200 小时 , 至此 , 这个命题才得到了证明从而成为定理。请问,这个实例是应用了哪种推理方法?