题    目：子图覆盖与整数流

主讲人：范更华 教授

单    位：福州大学离散数学研究中心

时    间：2024年12月5日 11:00

地    点：公司南阶梯教室

摘    要：若图G的一组子图包含了G的所有边，则称G被这组子图覆盖。1976年，数学史上有着重要影响的四色问题在计算机的帮助下被解决了，这是数学发展史上的一个标志性事件，开启了使用计算机解决数学问题的时代。数学家寻求四色定理的纯推理证明仍在继续。四色问题的一个等价形式是：无割边的平面图可被两个偶子图覆盖（偶图：每个点与偶数条边关联）。整数流理论是Tutte为解决四色问题而创立的，它试图在更大的框架内考虑四色问题，将平面图的着色问题转化为一般图整数流问题的特殊情形。我们将简要介绍与四色问题、整数流理论相关的若干图论著名问题，同时简述图论在芯片设计EDA软件中的某些应用。

简    介：范更华，福州大学教授。1988年获加拿大滑铁卢大学博士学位。入选中国科学院1996年度“百人计划”从美国亚利桑那州立大学回国工作。范更华主要从事图论基础理论及其应用研究，致力于图论在芯片设计EDA软件中的应用。获1998年度国家杰出青年科学基金资助、2005年度国家自然科学二等奖（独立完成人）、2022年度教育部自然科学一等奖（第一完成人）；曾任福州大学副董事长、中国数学会组合数学与图论专业委员会主任、全国组合数学与图论研究会理事长、中国运筹学会副理事长；现任福州大学离散数学及其应用教育部重点实验室主任、福建省数学会理事长。自1997年起，一直担任国际图论界权威期刊《Journal of Graph Theory》执行主编（Managing Editor）。（邀请人：王涛）