10月11日，应我校信息科学与技术学院邀请，大连海事大学高健副教授作了题为“约束满足问题的Broken-Triangle及其伴随值属性”的报告。报告中，高老师首先介绍了约束满足问题的发展趋势，并探讨了多项式时间可解的约束满足问题，分析各种可解类的性质。详细地阐述了基于Broken-Triangle属性的可解子类研究进展和该属性上的伴随值特征。最后，介绍了可解子类在问题分解、算法效率分析方面的应用。报告后，与信息学院老师和同学进行了讨论。