控制重构 约束满足问题 计算机科学 约束满足 代数数 理论计算机科学 序列（生物学） 领域（数学分析） 计算复杂性理论 图形 约束（计算机辅助设计） 还原（数学） 扩展（谓词逻辑） 透视图（图形） 词典序 布尔数据类型 变量消去 变量（数学） 约束规划 图形重写 图论 时间复杂性 算法 片段（逻辑） 约束图 数学优化 代数运算 约束逻辑程序设计 班级（哲学） 代数性质 有向图 互斥