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

• 作者: 毕世飞 蒋本铁
• 来源期刊: 东北大学学报(自然科学版)
• 学科: 工学
• 关键词: 约束满足问题(CSP) 不定方程 整数规划 偏移方程 时间复杂度
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 信息与控制
• 页码范围: 1169-1172
• 页数: 4页
• 分类号: TP311
• 字数: 3329字
• 语种: 中文
• DOI: 10.3321/j.issn:1005-3026.2003.12.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毕世飞	东北大学信息科学与工程学院	2	14	2.0	2.0
2	蒋本铁	东北大学计算中心	8	108	6.0	8.0