General solution to diophantine equations

Click For Summary
SUMMARY

The discussion centers on solving linear diophantine equations, specifically the form asub1x + asub2y + ... + asubnz = something. It is established that no general solution exists for diophantine equations, as proven by Martin Davis and Julia Robinson in the mid-20th century. The user has developed a brute force algorithm to find the smallest solution closest to zero for linear diophantine equations. This approach highlights an interesting application of an otherwise complex mathematical problem.

PREREQUISITES
  • Understanding of linear diophantine equations
  • Familiarity with brute force algorithm techniques
  • Basic knowledge of mathematical proofs and the work of David Hilbert
  • Proficiency in Java programming for implementing solutions
NEXT STEPS
  • Research the implications of Hilbert's tenth problem on computational mathematics
  • Explore algorithms for optimizing brute force searches in mathematical problems
  • Study existing libraries for solving linear diophantine equations in Java
  • Learn about the applications of diophantine equations in real-world scenarios
USEFUL FOR

Mathematicians, computer scientists, and Java developers interested in algorithm design and the theoretical aspects of diophantine equations.

mr_garlic
Messages
8
Reaction score
0
Hello, I'm writing an application for a java class that solves the problem where you are given n jugs of arbitrary sizes and have to come up with the steps to reach a certain value.

I have figured out(read: did research) how to do this in a different way than the original, but it requires math that I don't know how to solve.

My question is, what is the general method for solving a diophantine equation of the form asub1x+asub2y+...asubnz = something or if you could point me to a paper or article on the subject
 
Physics news on Phys.org
Sorry to disappoint you, but there is no general way to solve a diophantine equation. David Hilbert posed finding a general solution to diophantine equations as his tenth problem at the onset of the 20th century. Martin Davis and Julia Robinson proved that no general solution exists in the middle of the 20th century.
 
Gah, I meant linear diophantine equations, sorry for not specifying.
 
Ignoring a general mathematical solution, I realized that I can modify my brute force algorithm to find the smallest solution(closest to 0) to linear diophantine equations. An interesting application to an otherwise useless problem. I'll link to the library in a few minutes.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
7
Views
2K
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K