近日,根据国家自然科学基金委员会2009年度评审结果,我院崔鹏副教授与北京大学及北京航空航天大学合作申报的面上项目“约束满足问题的结构特征和算法分析”获得资助。

  在约束满足问题中,通过为一组变量赋值来满足一组给定的约束。约束满足问题不仅是人工智能研究的中心问题,而且在计算机科学、系统工程、运筹学、经济学等众多学科都有广泛的应用。本项目主要研究以国内学者提出的RB模型为代表的值域可变的随机约束满足问题的结构特征分析、在可满足性相变点两侧的平均情形和最坏情形下的算法分析。