简介:四色问题又称四色猜想,是世界近代三大数学难题之一.1976年两位美国数学家Appel与Haken借助计算机给出了一个证明.时至今日,四色问题的正确性早已得到数学界所承认.但是围绕它的非计算机证明,在近几十年来涌现出了各种不同的研究成果.一方面丰富了图论的内容,另一方面又促进了图的染色理论的发展.本文从研究四色问题的意义出发;揭示了四色问题所隐藏的深刻规律,在此基础上提出了一个比四色问题更具有广泛意义的理论构想.主要目地为四色问题的非计算机证明提供一个研究方向.
简介:当我听到您于2015年10月24日因病逝世的噩耗时,一瞬间心中充满了悲伤。禁不住的眼泪随着西雅图的秋雨模糊了眼前的一切。几天后我放下手上所有的工作飞回了上海,和您做最后的告别。11月6日参加完您的追悼会,我的脑子里很长一段时间都是空荡荡的,您那亲切而富有感染力的笑容不停地展现在我眼前。当我不得不相信您正在远离这么多爱戴您的学生、亲人和朋友时,点点滴滴的往事汇集在一起、越来越清晰地浮现,所有的一切犹如发生在昨天。我看到了那个在黑板上为我梳理有限元方法计算结构的无限耐心的学者;看到了那个在我第一次出国前,和李大潜先生一同带我到西餐厅,教我使用刀叉的亲切的老人;看到了那个在中山公园的石凳
简介:本文通过使用变量重排的方法,改变了多项式环中理想的Groebner基的计算过程,得到不同的过程的计算效率也不同,因此通过这种方法应该能够找出减少计算Groebner基时间的方法.
简介:讨论了在半群代数k[A]中,如何利用Gause-Jordan消元法去构造半群代数的理想的良序基,进而得到理想的良性基-Groebner-基.