12月27日下午，澳大利亚格里菲斯大学苏开乐应邀到我院进行访问交流，为我院师生作了题为“Iterated Cligue Reduction in Vertex Weighted Coloring for Large Sparse Graphs”的专题讲座，计控学院科研骨干教师和部分在校研究生参加。

在专题讲座中，苏开乐介绍了一种基于最大团枚举的简化算法，该算法利用一定比例的最大团来获得下限，并以此执行简化。该算法在团采样和图约简之间交替进行，并包含三个连续的过程：团缩减、边界缩减以及后续缩减。实验结果表明，与当前的方法相比，该方法在多个大型基准图中返回了明显更小的子图。此外，苏开乐评估了该算法的影响因素以及一些实际特性。

在专题讲座的最后，苏开乐与我院师生进行了积极互动，现场气氛热烈。通过深入浅出地讲解和与师生们的互动交流，苏开乐不仅分享了前沿的科研成果，还鼓励大家积极投身科研实践，探索未知领域。

专家介绍：苏开乐，博士，现任澳大利亚格里菲斯大学教授，清华大学逻辑研究中心兼职教授，南京信息工程大学人工智能学院名誉院长。主要研究领域:人工智能逻辑与算法。曾任中山大学(1999-2007)北京大学(2007-2014)教授博导。2005年入选教育部“新世纪人才支持计划”，2007 年获国家自然科学基金“杰出青年基金”项目，2013 年入选国家“百千万”人才工程国家级人选，获“国家有突出贡献中青年专家”称号，享受国务院特殊津贴。获得 AiML 2002(法国图卢兹)最佳论文奖，SAT Challenge 2012:Best Sequential Solver (Random Track)奖，共发表了30多篇中国计算学会(CCF)推荐A类论文，包括顶级会议 AAAI(15篇),IJCAI(10篇),顶级期刊Artificial Intelligence, Information and Computation, IEEETrans.on Computers和IEEE Trans.on Software Engineering 等。目前兼任国家一级学报《软件学报》《计算机研究与发展》编委，《IEEE Transactions on Cybernetics》副主编，国家外国专家局重点引智项目评审专家。

        作者：郑强         责任编辑：马文明         审核：段昕