选择性初始化传播及其在数值约束满足问题中的应用
数值分析
2025-10-20 v1 数值分析
摘要
对于更现实的优化模型，数值分析尚无令人满意的方法。然而，借助约束规划，可以计算出任意接近近似程度的解集覆盖。由于对复合算术表达式使用约束传播在计算上代价高昂，一致性是通过区间算术来计算的。本文提出了支持选择性初始化的定理，选择性初始化是对约束传播的一种简单修改，能够高效地处理复合算术表达式。
引用
@article{arxiv.cs/0404034,
title = {Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems},
author = {M. H. van Emden and B. Moa},
journal= {arXiv preprint arXiv:cs/0404034},
year = {2025}
}