[论文解读] Computing Enclosures of Overdetermined Interval Linear Systems

Jaroslav Horáček, Milan Hladík|arXiv (Cornell University)|Apr 17, 2013

Numerical Methods and Algorithms参考文献 8被引用 10

一句话总结

本文提出并比较了多种方法，用于计算超定区间线性系统（即方程数多于未知数的系统）解集的包围域，采用区间分析方法。评估了Rohn方法、最小二乘法、线性规划和高斯消去法等技术，发现当区间半径较小时Rohn方法速度最快，而Verifylss方法虽计算时间更长但能获得更紧致的包围域。

ABSTRACT

This work considers special types of interval linear systems - overdetermined systems. Simply said these systems have more equations than variables. The solution set of an interval linear system is a collection of all solutions of all instances of an interval system. By the instance we mean a point real system that emerges when we independently choose a real number from each interval coefficient of the interval system. Enclosing the solution set of these systems is in some ways more difficult than for square systems. The main goal of this work is to present various methods for solving overdetermined interval linear systems. We would like to present them in an understandable way even for nonspecialists in a field of linear systems. The second goal is a numerical comparison of all the methods on random interval linear systems regarding widths of enclosures, computation times and other special properties of methods.

研究动机与目标

• 为跨学科研究人员提供现有方法计算超定区间线性系统（OILS）解集包围域的全面且易于理解的综述。
• 评估并比较各种方法（Rohn、最小二乘法、线性规划、迭代方法及高斯消去法）在随机OILS实例上的性能表现。
• 识别每种方法的优势、局限性及其实际适用性，尤其关注包围域紧致性、计算时间以及检测不可解性的能力。
• 突出展示在不同区间半径和系统规模下，简单或“笨拙”方法可能优于更复杂方法的情况。
• 根据系统特征（如规模、系数范围和期望包围域的锐利程度）为研究人员提供选择最优方法的指导。

提出的方法

• 本文评估了五种主要方法：高斯消去法（GE）、预处理高斯消去法（GEpre）、Rohn的迭代方法（Rohn）、最小二乘法（Verifylss）以及用于计算区间壳的线性规划（LP）。
• 每种方法均应用于随机生成的超定区间线性系统，系统维度从5×3至1000×663不等，区间半径分别为≤10⁻³和≤10⁻⁵。
• 通过结果包围域的宽度衡量包围域紧致性，宽度越小表示性能越好。
• 记录并比较各方法的计算时间，特别关注Verifylss与Rohn执行时间的比值。
• Rohn方法采用中点矩阵与半径矩阵的迭代修正，利用区间系统的结构高效计算包围域。
• Verifylss应用经验证的最小二乘求解器以获得紧致包围域，而LP则在计算成本可接受时用于计算精确的区间壳。

实验结果

研究问题

• RQ1 在不同系统规模和区间半径下，哪种方法能为超定区间线性系统提供最紧致的包围域？
• RQ2 各方法的计算时间如何变化？其在速度与包围域锐利程度之间的权衡关系如何？
• RQ3 在何种条件下，简单或启发式方法（如Rohn）会优于更复杂的验证方法（如Verifylss或LP）？
• RQ4 这些方法对区间半径和中点范围变化的敏感性如何？这是否影响其可靠性或性能？
• RQ5 像Rohn这样的迭代方法能否有效用作其他求解器的预处理手段？该策略在时间和精度方面何时具有优势？

主要发现

• Rohn方法在所有测试系统规模下均为最快，其计算时间显著低于Verifylss，尤其在m较大而n较小时（例如894×8，比值为423.7）。
• Verifylss产生的包围域比Rohn更紧致，但需要显著更长的计算时间，因此在大规模系统中实用性较低。
• 对于最大半径≤10⁻³的系统，Rohn方法在200×170系统上的平均耗时为0.6632秒，而Verifylss耗时9.8570秒，超过14倍慢。
• Verifylss与Rohn的计算时间比值随系统稀疏性显著增加（例如894×8：423.7），表明Rohn在高度超定情况下具有明显优势。
• 高斯消去法（GEpre）在速度方面表现较差，不推荐用于大规模问题，尽管其可能有助于检测不可解性。
• 各方法对区间半径或中点范围变化的敏感性较低，表明其在不同系数分布下均具有较强的鲁棒性。