Effectiveness of Surrogating Constraints in Data Dependence Analysis

QIAO Lin,HUANG Wei-tong,MENG Wei,TANG Zhi-zhong

DOI: https://doi.org/10.3969/j.issn.1000-7024.2006.05.002

2006-01-01

Abstract:Most data dependence analysis methods often use surrogating constraints,e.g.,direction vectors and dependence difference inequalities,to enforce theircapabilitiesfor solvingthe Diophantine equation.Several measuresofeffectiveness of surrogating constraints were presented,what surrogating constraintsare feasible,effective,well and exactwas discussed in detail.In mostcases,as the paper proved,dependence differenceinequalitiesare more effective thandirection vectors,and this leads to that the convergence ofdependence difference inequality test is better than other traditional data dependence analysis methods by using direction vectors as surrogating con-straints.