Teste de Dependência
Veremos apenas um teste simples: Teste do MDC (consultar literatura para testes mais poderosos)
Equações Diophantine: a1x1+a2x2+...+anxn=c
- Dados {a1, a2, ..., an, c} encontrar valores inteiros para {x1,x2,...,xn} que satisfaçam a equação
Teste: Há solução inteira se e somente se g divide c
onde g = MDC(a1,a2,...,an)
- Se não houver solução ? Não há dependência
- Se houver solução ? Pode haver dependência (depende da solução estar dentro dos limites do loop)