用于求解复杂算术约束的传播方法
数值分析
2021-08-23 v1 硬件体系结构
计算复杂性
数值分析
性能
机器人学
摘要
求解非线性不等式系统是一项重要问题，常规数值分析方法尚无令人满意的解法。通过 box-consistency 算法可计算解集的覆盖，以任意精度逼近。由于在复杂算术表达式中使用传播方法存在困难，故采用区间算术计算 box consistency。本文提出了支持处理复杂算术表达式的简单传播修改的定理。这种方式得到的 box consistency 版本强于使用区间算术时。
引用
@article{arxiv.cs/0309018,
title = {Using Propagation for Solving Complex Arithmetic Constraints},
author = {M. H. van Emden and B. Moa},
journal= {arXiv preprint arXiv:cs/0309018},
year = {2021}
}
备注
10 pages