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
- Solução pode não existir
Solução: Há solução inteira se e somente se
onde g = MDC(a1,a2,...,an)