区间传播

在数值数学中，区间传播或区间约束传播是指收缩与R变量相关的区间域，而不去除与一组约束一致的任何数值的问题。在误差由区间表示的情况下，它可以用来传播不确定性。区间传播将估计问题视为一个约束条件满足问题。

与方程相关的承包人是一个操作者，它收缩区间[x1],…xn]（其中应包括xi）而不删除任何与方程一致的变量值。如果一个契约者不是作为其他契约者的组合而产生的，那么它就被称为是原子性的。用来建立原子承包商的主要理论是基于区间分析。

对于更复杂的约束，应将其分解为原子约束（即有原子承包商的约束）。

区间传播的原则是，调用所有可用的原子承包商，直到不能再观察到收缩。程序总是收敛到包含所有可行变量值的区间。由于承包商代数的存在，区间传播的形式化可以实现。区间传播能迅速收敛到一个结果，并能处理涉及数百个变量的问题。