糖心vlog李宏博老师与吉林大学李占山老师团队合作在IJCAI2023发表论文“Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint”。该工作为AllDifferent约束设计了一种新的弧相容算法，避免了现有算法中最耗时的计算强连通分量过程，显著降低了AllDifferent约束上弧相容算法的传播耗时。本文第一作者是吉林大学博士生镇路晗，李宏博老师是唯一通信作者。

会议简介：IJCAI会议创办于上世纪60年代，是人工智能领域中历史最悠久、涵盖内容最广泛的国际顶级学术会议，旨在促进全球人工智能领域的研究及学术交流，也是中国计算机学会（CCF）推荐的A类国际学术会议。

会议名称：Thirty-Second International Joint Conference on Artificial Intelligence（IJCAI-23）

会议类别：中国计算机学会推荐A类会议

作者顺序：镇路晗，李占山，李彦志，李宏博*

论文题目：Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint

论文概述：AllDifferent约束被广泛应用于约束程序建模。现有的弧相容算法将AllDifferent约束对应到一个二部图，然后利用其中的强连通结构过滤值。计算强连通分量是现有算法中最耗时的部分，因此我们为AllDifferent约束提出一种新的弧相容算法，该算法避免了计算强连通分量。我们证明了AllDifferent约束对应的二部图中，冗余边都是指向交替环的。我们的算法利用这个性质，使用更高效的深度优先策略进行过滤值。我们在XCSP3标准库测试用例上的实验结果显示，我们提出的算法比现有AllDifferent约束的弧相容算法性能更好。