近日，信息科学与技术学院在大规模离散约束优化等人工智能研究问题取得进展，相关论文被Artificial Intelligence、AAAI、IJCAI等中国计算机学会推荐的A类期刊和A类会议录用和发表，第一作者分别来自信息科学与技术学院殷明浩教授课题组的青年教师王艺源、李宏博，博士生胡书丽、周雨鹏。

论文《SCCWalk:An Efficient Local Search Algorithm and Its Improvements for Maximum Weight Clique Problem》通过设计一种高效的局部搜索求解策略，将加权团问题的求解规模由原有的四千节点左右提高到百万节点级别。该文被人工智能领域的顶级期刊Artificial Intelligence以长文形式录用。

王艺源和中科院软件所研究员蔡少伟合作，发表于AAAI的论文《Reduction and Local Search for Weighted Graph Coloring Problem》针对大规模问题背景下的最小加权图染色问题，设计了一种全新的化简策略和基于多邻居的局部搜索算法，将最小加权图着色问题的求解规模提高了一个数量级。

李宏博和香港中文大学教授Jimmy Lee合作，发表于AAAI的论文《Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining》，通过在约束优化问题解空间中进行随机采样，并使用频繁模式挖掘对可行解进行分析，可以大幅度提高约束优化求解算法的泛化求解能力。对于一些经典NP难问题，如背包问题，旅行商问题等，该方法可为超过80%的测试用例找到包含最优解的搜索入口。

胡书丽和加拿大阿尔贝塔大学教授Nathan合作，发表于IJCAI的论文《Direction-Optimizing Breadth-First Search with External Memory Storage》提出一种基于已变更列表的带有方向优化的宽度优先搜索算法，并将该算法应用于启发式搜索过程中的模式库创建，创建了目前最大的三阶幻方游戏问题的模式库。

周雨鹏和中科院软件所副研究员晏荣杰合作，以学生摘要形式发表于AAAI的论文《Contention-aware mapping and scheduling optimization for NoC-based MPSoCs》，在充分考虑新型芯片网络NoC框架下的芯片调度所面临的信息转发阻塞问题的基础上，提出混合整数规划、约束求解、可满足性模理论、多目标进化算法等多种方法对芯片任务的映射和调度问题进行求解，为芯片网络的设计提供了很好的参考价值。

受益于我校科技处的学术会议支持计划和高水平论文资助计划，由东北师范大学、中科院软件所、华中科大等高校和研究所共同创办的HCP会议现已成为国内人工智能难解问题表示与求解领域的重要会议之一。借助该平台，信息科学与技术学院师生和国内外多所高校研究团队达成合作，近三年来已在中国计算机学会推荐的A类期刊和会议上发表了近十篇论文。