信息时代的数学.pptVIP

第9章 信息时代的数学 1936年，英国数学家图灵（1912~1954）在研究可计算性时提出理想计算机理论——图灵机。图灵机原本是对于“可计算性”数学概念的一种定义方法，但它却成为今天计算机运转方式的基本理论设想。 这台计算机包括1.9万个真空管，有30吨重，现存在华盛顿的史 密斯研究所。这一时期，还生产了许多类似的高速数值计算的计算机，并且有了自动程序控制的功能。但同时期类似的计算 机时常因电子管烧坏而停机检修。更为严重的是，其程序是 “外插型”而非“储存型”。为了进行几分钟的运算，计算机的准 备程序往往要花费几小时，这就使得采用电子管而获得的速度 被大大抵消 　　　　国际计算机界普遍认为冯·诺依曼体系结构的提出及其实现是现代电子计算机基本完善的重要标志。上述三个方面的改进最终于1949年在英国剑桥大学完成。 闻名遐迩的“微软” 不是多项式时间算法的算法被称之为“指数时间算法”。当一个算法处理长度为n的输入数据时，若需要2n（或3n, nn, n!）步，它就是一个指数时间算法。 “有效”算法规定为需要多项式时间的算法。而将需要指数时间的算法规定为“非有效”算法。这种划分方法只是“理论”的划分方法，它与实际应用还有一定的区别。对于相对大的n，后者总是大于前者 吴文俊（1919~） 9.4 四色猜想的机器证明 德国数学家希尔的“放电法”－－四色猜想的机器证明的突破（1950年） 2、艰苦的尝试（1972~1974 ） “好构形”的图上进行放电过程的计算机检验工作修订计算程序和放电过程 3、最后的冲刺（1976） 利用三部计算机运转了一千多个小时，分析了两千多个构形的可约性，并通过人工分析了约一万个带正电顶点的邻近区域，终于用不可避免组的证法证明了四色问题。在证明过程中，放电过程经过500多次的修改设计，计算机检验了2000多个构形并证明了1482个构形的可约性。  9.5 分形几何 9.5.1 不规则图形与病态函数 如图，用细线表示的六个周围国家在对偶图形中就构成有六个顶点、六条边的一条回路。 边界回路称为构形的环。图中的构形（画成对偶形式）称为“六环”构形，它的环有六个顶点，是由包围了原构形的六个国家组成的环。 在对偶图中，“构形”是三角形的剖分（每个面都是三角形），，它由一组顶点加上连接这些点的所有边组成， 2、“放电法”－－研究不可避免组的关键技术，而不可避免组在更加复杂的形式下它成为证明四色定理的中心要素 将平面网络的每个顶点配置一个电荷：如果我们对每个次数为k（即有k个邻国）的顶点指定6－k这个数（电荷量），则顶点次数为5的就带有1个正电荷，次数6的顶点不带电荷；次数为7的顶点带电荷－1，依此类推。再由肯普的研究结论可知，整个网络的电荷的和恰为12。这就表明每个平面三角剖分网络的这个电荷之和恒为正值。 移动网络中的正电荷，使正电荷从某些带正电的（五级）顶点移动到带负电的顶点，并且使全系统中的电荷不增不减。虽然这些移动不改变电荷的总和，但带正电的顶点却是可以变的；例如某些五次顶点可能失去全部正电荷（放电），而某些大顶点可能得到的电太多，结果变为正电荷顶点（充电）。 “放电”的目的，是想找出一个明确的过程来精确描述怎样移动电荷才能保证所剩下的每个带正电的顶点一定属于可约构形。于是经过“放电”使每个三角剖分必有电荷为正的顶点，用这种放电方法得到的构形必然是“不可避免”的。如果这些构形又都是可约的，则四色猜想就被证明了。 　这样，四色猜想的证明就需要解决两个问题：找出放电过程，同时证明它所产生的不可避免构形是可约的。 　希尔自1936年开始研究四色问题，于1950年认识到只有借助能处理巨量数据的计算机装置，才能解决四色问题。他提出的地图的平面网络、放电法，为编制可约性的计算机的证明程序 提供了技术准备 美国数学教授阿佩尔与黑肯的工作（20世纪七十年代）－－完成四色猜想的机器证明 1、面临的问题 　　　　其一，可约构形的任何一个不可避免组都可能含有很大的构形（邻国环含有多至十八个顶点） ，计算机所需的时间、存储量的迅速增加 ，造成技术工具的困难， 检查14点环的构形所需要的平均时间只有25分钟，那么检验18点环的构形所需要的平均时间就会超过100个小时，并且计算机所需的存储量也大大超过当时的任何一种计算机的存储量。 其二，没人知道恰好需要多少个可约构形来形成一个不可避免组，这个数目似乎可能大到几千。 从计算时间来说，假如要想证明18点环的构形可约，在有足够存储的计算机上需要100个小时。那么，当不可避免组