Detecção de Dependência (cont.)
Resposta:
Se a(24*j-4) e a(5*k+15) representarem a mesma posição de memória (mesmo elemento), para algum par (j,k) tal que 1 ? j,k ? N , então há dependência!
Problema Prático: Chegar a esta decisão de forma automática (através do compilador).
Em termos formais: Existem j , k , tais que
1 ? j ? N , 1 ? k ? N , e 24*j-4 = 5*k+15 ?