一类约束满足问题及其算法

来源期刊：东北大学学报(自然科学版)2003年第12期

论文作者：蒋本铁 毕世飞

文章页码：1169 - 1172

关键词：约束满足问题(CSP);不定方程;整数规划;偏移方程;时间复杂度;

摘    要：针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·