作为2020线上智博会重要论坛和今年网络安全宣传周的重磅活动之一,9月14日,“2020数据安全高峰论坛”在荣昌区安陶小镇举办。论坛邀请了众多院士、专家、学者代表,采取线上线下相结合的形式,以主题报告、专题演讲、圆桌讨论等方式进行深入探讨,为数字经济发展保驾护航。
北京大学教授、博士生导师许进在论坛上作了题为《四色猜想的数学证明》的主题报告。许进长期从事理论计算机与算法研究,先后主持国家自然科学基金重点项目、重大国际合作项目、国家重点研发计划等数十项。
对平面图是否可只用四种颜色进行染色这一困惑了人类168年的问题,许进介绍了四色猜想的起源与发展简史,给出了证明四色猜想的4个关键突破点:扩缩运算系统、2-色不变圈极大平面图、 从四色猜想到2-色不变圈极大平面图问题的转化以及破圈定理,这四个突破点缺一不可。
针对图染色问题,许进教授三十年来从各种角度对此展开研究,原因是很多问题都可以直接转化为图染色问题。例如困惑当前生命科学的世界难题蛋白质结构预测,许进教授将它转化为图染色,并给出了基于生物计算的实现方案;生活中常见的列车调度问题、固定工序问题,也均可直接转化为图染色问题。
许进教授认为数学是推动科技进步发展的主要推动力。图染色问题和数据信息安全问题是可以互相转化的,在本次数据安全高峰论坛中王小云院士在主题报告中提到的RSA密钥体系也是可以形象地转化图染色问题;郑志峰专家在“民法典如何为数据安全保驾护航”的主题演讲中提到的法律的制定和保护受到大量约束条件,这就是一个标准的图论问题。
他认为,目前数据安全要解决的难点,从数据分析来讲,来自整个当今科学界困惑人类科学发展一个重要的难点之一——NP完全问题。图染色问题就是一个最典型的NP完全问题,随着问题规模的增大,所需要的运算量指数爆炸,使得电子计算机无法在有效时间内解决。
许进表示,四色猜想图染色问题的解决应用性极强,其意味着算法的突破,这对人工智能起决定性的意义,在推动数据安全保护能力建设及网络安全产业发展中起到关键性作用。
重庆网络广播电视台记者金红梅