数据相关性分析中替代约束的有效性

Effectiveness of surrogating constraints in data dependence analysis

数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比方向向量约束更有效,体差不等式测试方法的收敛性要强于其它使用方向向量作为替代约束的传统数据相关性测试算法。

Most data dependence analysis methods often use surrogating constraints, e.g., direction vectors and dependence difference inequalities, to enforce their capabilities for solving the Diophantine equation. Several measures of effectiveness of surrogating constraints were presented, what surrogating constraints are feasible, effective, well and exact was discussed in detail. In most cases, as the paper proved, dependence difference inequalities arc more effective than direction vectors, and this leads to that the convergence of dependence difference inequality test is better than other traditional data dependence analysis methods by using direction vectors as surrogating con- straints.