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