珞珈山水BBS -- 单文区文章阅读

搜索

单文区文章阅读 [返回]
发信人: stochasticer (~.~), 信区: Math 标题: Re: 据说科大教授证明了四色猜想？发信站: 珞珈山水BBS站 (Tue Mar 18 18:30:09 2008), 转信貌似是有传这个事情，不知道结果如何。待明日吧~ 如果是用依靠计算机太多来证明的话，意义似乎要打折扣了，就像之前国外那几个用计算机把所有的可能都列出来... 以下均为zz，不代表本人观点！ 2008年3月19日, 陈贤富博士将在中国科学技术大学首次报告四色猜想的理论证明! 陈贤富博士经过多年潜心研究，终于运用数学工具，理论证明了著名的简单平面图之"格思里四色猜想"(这是"4可染色"问题).并在此基础上将四色定理推广到任意图的色数研究，提出了基于k阶不可归约肯普链团的"k色猜想"("k色"==>指的是图的色数,比"k可染色 "问题难度高), 提出并证明了面向一般简单连通图的"新四色定理"/"新五色定理"(无可嵌入平面的条件限制)。 1852年，英国格思里提出了著名的四色猜想。150多年来，围绕四色猜想的研究产生了不少新思维和交叉学科方向，推动了数学和计算机学科相关学科的发展，但在理论上一直未能解决四色猜想的严格数学证明问题。陈贤富：1963年生，安徽怀宁人，高中就读于怀宁县高河中学,1978年高中一年级提前考入浙江大学电机工程系，1988年和1996年获中国科大信号与信息处理学科硕士/博士学位，1997-1999年在中国科大分子生物学学科做博士后,曾获中国博士后科学基金\自然科学基金资助和安徽省科技进步二等奖,是中国神经网络学会委员。硬件方面,曾承担"微机视觉系统"\"多功能电视制播系统"\"医学图象处理系统"等设计和调试工作.理论和算法研究方面,曾修正和改进Holland模式理论,提出显性遗传操作方法, 并在经典TSP问题遗传优化和Ramsey问题机器求解等方面有所研究. 目前主要研究领域：复杂性科学与计算智能。业余爱好: 桥牌(曾多次获中国科大桥牌赛团体冠军和双人赛冠军)和数学背景： 2006年4月,正在主讲"神经网络"的科大信息学院陈贤富老师突然被自己在黑板上随便画的 5 阶Hopfield联想记忆模型"惊"了片刻.为何5 阶Hopfield联想记忆模型(K5)具有奇特的、"立体的美感"?! 被这一瞬间的灵感触发, 联想起著名的四色问题, 陈贤富博士针对任意简单连通图的k染色问题展开了持续的思索和研究, 终于提出了基于不可约肯普链团的k色猜想, 并于最近彻底攻克"格思里四色猜想"的数学证明问题. 此外,在机器证明方面,陈贤富博士也提出了一个将人类卓越的归纳推理能力与计算机高速的计算能力相结合的证明四色猜想的新方法。基本思路是让机器证明一个规模相当小的染色特例问题（在个人电脑上可以简单方便地验证），再运用数学归纳法，将机器证明的特例归纳推广到一般情形。真可谓"殊途同归,一通百达!" 【在 kiwi (kiwi) 的大作中提到: 】 : 拜…… -- IQ已封 ※ 来源:·珞珈山水BBS站 bbs.whu.edu.cn·[FROM: 222.20.195.77]
[返回单文区目录]

单文区文章阅读 [返回]

发信人: stochasticer (~.~), 信区: Math
标  题: Re: 据说科大教授证明了四色猜想？
发信站: 珞珈山水BBS站 (Tue Mar 18 18:30:09 2008), 转信

貌似是有传这个事情，不知道结果如何。待明日吧~ 如果是用依靠计算机太多来证明的
话，意义似乎要打折扣了，就像之前国外那几个用计算机把所有的可能都列出来...

以下均为zz，不代表本人观点！

2008年3月19日, 陈贤富博士将在中国科学技术大学首次报告四色猜想的理论证明!

陈贤富博士经过多年潜心研究，终于运用数学工具，理论证明了著名的简单平面图之"格
思里四色猜想"(这是"4可染色"问题).并在此基础上将四色定理推广到任意图的色数研究
，提出了基于k阶不可归约肯普链团的"k色猜想"("k色"==>指的是图的色数,比"k可染色
"问题难度高), 提出并证明了面向一般简单连通图的"新四色定理"/"新五色定理"(无可
嵌入平面的条件限制)。

1852年，英国格思里提出了著名的四色猜想。150多年来，围绕四色猜想的研究产生了不
少新思维和交叉学科方向，推动了数学和计算机学科相关学科的发展，但在理论上一直
未能解决四色猜想的严格数学证明问题。

陈贤富：1963年生，安徽怀宁人，高中就读于怀宁县高河中学,1978年高中一年级提前

考入浙江大学电机工程系，1988年和1996年获中国科大信号与信息处理学科硕士/博士学

位，1997-1999年在中国科大分子生物学学科做博士后,曾获中国博士后科学基金\自然科
学

基金资助和安徽省科技进步二等奖,是中国神经网络学会委员。



    硬件方面,曾承担"微机视觉系统"\"多功能电视制播系统"\"医学图象处理系统"等设
计

和调试工作.理论和算法研究方面,曾修正和改进Holland模式理论,提出显性遗传操作方
法,

并在经典TSP问题遗传优化和Ramsey问题机器求解等方面有所研究.

    目前主要研究领域：复杂性科学与计算智能。

    业余爱好: 桥牌(曾多次获中国科大桥牌赛团体冠军和双人赛冠军)和数学

背景：

2006年4月,正在主讲"神经网络"的科大信息学院陈贤富老师突然被自己在黑板上随便画
的 5 阶Hopfield联想记忆模型"惊"了片刻.为何5 阶Hopfield联想记忆模型(K5)具有奇
特的、"立体的美感"?! 被这一瞬间的灵感触发, 联想起著名的四色问题, 陈贤富博士针
对任意简单连通图的k染色问题展开了持续的思索和研究, 终于提出了基于不可约肯普链
团的k色猜想, 并于最近彻底攻克"格思里四色猜想"的数学证明问题. 此外,在机器证明
方面,陈贤富博士也提出了一个将人类卓越的归纳推理能力与计算机高速的计算能力相结
合的证明四色猜想的新方法。基本思路是让机器证明一个规模相当小的染色特例问题（
在个人电脑上可以简单方便地验证），再运用数学归纳法，将机器证明的特例归纳推广
到一般情形。真可谓"殊途同归,一通百达!"

【在 kiwi (kiwi) 的大作中提到: 】
: 拜……

--
IQ已封

※ 来源:·珞珈山水BBS站 bbs.whu.edu.cn·[FROM: 222.20.195.77]

[返回单文区目录]