沃夫冈·哈肯

沃夫冈·哈肯（德语：Wolfgang Haken，1928年6月21日－）是一位德国数学家，主要研究为拓扑学，尤其是三维流形方面。1976年，他与伊利诺伊大学的同事凯尼斯·阿佩尔一道完成了著名数学定理：四色定理的最终证明。他们证明了：如果在平面上划出一些邻接的有限区域，那么在合适的条件下，必定可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样。

哈肯的工作还包括引入了如哈肯流形（英语：Haken manifolds）、内色－哈肯有限性等重要概念。他的大部分工作都有算法方面的内容，也是对算法拓扑（英语：algorithmic topology）有重要影响的人之一。他在这一领域的一个重要贡献是提出了验证纽结能否解开的算法。

1979年，哈肯因证明了四色定理而被美国数学学会授予富尔克森奖^[1]。

生平

哈肯出生于德国柏林，在基尔大学学习数学、哲学与物理学。1953年获得博士学位。

1954年至1962年，哈肯在慕尼黑的西门子公司的研发部门从事微波技术方面的研发工作。在此期间，他仍旧进行着数学方面的研究，并在验证纽结是否可解的算法方面有不少发现。伊利诺伊大学因此邀请他为客座教授。1965年，他成为了全职教授。1990年，哈肯被法兰克福大学授予荣誉博士头衔。

1967年，研究四色问题的数学家亨利·希尔为了利用电子计算机解决四色问题而访问美国，并认识了沃夫冈·哈肯。哈肯在1948年曾经旁听过希尔提出不可避免集的课程，之后对四色定理产生了持续的兴趣。两人通过信件交流合力作出了很多进展，为最终解决四色问题铺平了道路。1971年，阿佩尔也开始在哈肯的介绍下研究四色问题。然而当时哈肯对解决四色问题的前途感到悲观，因为寻找并验证合适的不可避免可约构形集实在过于复杂，即便借助计算机也需要过多的时间^[2]^:193。

1975年，他们得到了当时还是博士学生的约翰·科赫（英语：John Koch）的支持，后者帮助他们提供了可约性验证算法工作上的帮助。1976年3月，哈肯和阿佩尔终于得到了一个由1936个构形组成的不可避免集，对应的放电过程由487条规则构成^[3]^:26。同时伊利诺伊大学的主电脑也更换成运算速度更高的IBM 360，为计算节省了大量时间。经过电脑1200小时的验证，他们终于在6月得出：1936个构形都是可约构形。这代表着四色定理最终的解决^[4]^:35。这时候他们的几个竞争对手如阿莱尔、斯瓦特等的工作也将近尾声。

1976年6月22日，哈肯和阿佩尔首次在美国数学协会于多伦多大学召开的美国数学学会夏季会议公布了他们的结果。不久，伊利诺伊大学数学系的邮戳上加上了“四色足够”（FOUR COLORS SUFFICE）的一句话，以庆祝四色猜想得到解决^[5]^[3]^:24。9月，美国数学学会的公告专栏上刊登了两人证明四色定理的消息^[6]。

家庭

哈肯家中有六个儿子。长子亚民·哈肯是逻辑学家，哥哥赫曼·哈肯（英语：Hermann Haken）是著名物理学家，以激光理论和协同学理论方面的研究闻名。

参见

解结问题

参考来源

^ Delbert Ray Fulkerson Prize （页面存档备份，存于互联网档案馆）, American Mathematical Society. Accessed May 29, 2011
^ Alexander Soifer. The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators. Springer. 2009 [6 March 2013]. ISBN 978-0-387-74642-5 （英语）.
^ ^3.0 ^3.1 Gary Chartrand, Ping Zhang. Chromatic Graph Theory. CRC Press. 2008年. ISBN 9781584888017 （英语）.
^ Rudolf Fritsch, Gerda Fritsch 著, Julie Peschke 译. The Four-Color Theorem : History, Topological Foundations, and Idea of proof. New York Berlin Heidelberg: Springer-Verlag. ISBN 0-387-98497-6 （英语）.
^ Postmarks Used by Department of Mathematics University of Illinois at Urbana-Champaign (PDF). [2013-03-04]. （原始内容 (PDF)存档于2013-10-30）.
^ K. Appel, W. Haken. Research Announcement : Every planar map is four colorable. Bull. Amer. Math. Soc. 1976年9月, 82 (5): 711–712 [2013-03-04]. （原始内容存档于2013-07-27）.

（英文）Haken, W. "Theorie der Normalflachen." Acta Math. 105, 245-375, 1961.
（英文）Haken, Armin, The intractability of resolution, Theoretical Computer Science, 1985, 39: 297–308, doi:10.1016/0304-3975(85)90144-6
（英文）Appel, Kenneth; Haken, Wolfgang, Every Planar Map is Four Colorable, AMS: xv, 1989, ISBN 0-8218-5103-9

外部链接

[1] Delbert Ray Fulkerson Prize （页面存档备份，存于互联网档案馆）, American Mathematical Society. Accessed May 29, 2011

[soifer-2] Alexander Soifer. The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators. Springer. 2009 [6 March 2013]. ISBN 978-0-387-74642-5 （英语）.

[gcpz-3] 3.0 ^3.1 Gary Chartrand, Ping Zhang. Chromatic Graph Theory. CRC Press. 2008年. ISBN 9781584888017 （英语）.

[Fritsch-4] Rudolf Fritsch, Gerda Fritsch 著, Julie Peschke 译. The Four-Color Theorem : History, Topological Foundations, and Idea of proof. New York Berlin Heidelberg: Springer-Verlag. ISBN 0-387-98497-6 （英语）.

[5] Postmarks Used by Department of Mathematics University of Illinois at Urbana-Champaign (PDF). [2013-03-04]. （原始内容 (PDF)存档于2013-10-30）.

[6] K. Appel, W. Haken. Research Announcement : Every planar map is four colorable. Bull. Amer. Math. Soc. 1976年9月, 82 (5): 711–712 [2013-03-04]. （原始内容存档于2013-07-27）.

[1]

[2]

[3]

[4]

[5]

[6]