1947年5月1日,内蒙古自治区政府宣告成立,( )为自治区政府主席。 A: 乌兰夫 B: 赛福鼎.艾则孜 C: 韦国清 D: 阿沛.阿旺晋美

在党和国家的培养下，一大批少数民族干部相继走上高级领导岗位，涌现了一批以 等为代表的少数民族高级领导干部。 A: 乌兰夫 B: 韦国清 C: 阿沛·阿旺晋美 D: 赛福鼎·艾则孜

西藏自古以来就是中国的领土。下列对西藏和平解放的史实表述正确的是（） A: 1950年，达赖代表西藏地方政府到北京中央人民政府谈判 B: 1951年，西藏地方政府派出阿沛·阿旺晋美为首席代表的代表团到北京同中央人民政府谈判 C: 西藏地方政府和中央人民政府谈判达成了和平解放西藏的协议 D: 1951年9月，人民解放军先遣队进驻拉萨，受到西藏地方政府和市民的热烈欢迎

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