Guest User

Untitled

a guest
Jan 18th, 2018
93
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.10 KB | None | 0 0
  1. For example, to solve mx + ny = gcd(x,y) one begins with
  2. two rows [m 1 0], [n 0 1], representing the two
  3. equations m = 1m + 0n, n = 0m + 1n. Then one executes
  4. the Euclidean algorithm on the numbers in the first column,
  5. doing the same operations in parallel on the other columns,
  6.  
  7. Here is an example: d = x(80) + y(62) proceeds as:
  8.  
  9. in equation form | in row form
  10. ---------------------+------------
  11. 80 = 1(80) + 0(62) | 80 1 0
  12. 62 = 0(80) + 1(62) | 62 0 1
  13. row1 - row2 -> 18 = 1(80) - 1(62) | 18 1 -1
  14. row2 - 3 row3 -> 8 = -3(80) + 4(62) | 8 -3 4
  15. row3 - 2 row4 -> 2 = 7(80) - 9(62) | 2 7 -9
  16. row4 - 4 row5 -> 0 = -31(80) -40(62) | 0 -31 40
  17.  
  18. row1 row2 row3 row4 row5
  19. namely: 80, 62, 18, 8, 2 = Euclidean remainder sequence
  20. | |
  21. for example 62-3(18) = 8, the 2nd step in Euclidean algorithm
  22.  
  23. becomes: row2 -3 row3 = row4 on the identity-augmented matrix.
  24.  
  25. In effect we have row-reduced the first two rows to the last two.
  26. The matrix effecting the reduction is in the bottom right corner.
  27. It starts as the identity, and is multiplied by each elementary
  28. row operation matrix, hence it accumulates the product of all
  29. the row operations, namely:
  30.  
  31. [ 7 -9] [ 80 1 0] = [2 7 -9]
  32. [-31 40] [ 62 0 1] [0 -31 40]
  33.  
  34. The 1st row is the particular solution: 2 = 7(80) - 9(62)
  35. The 2nd row is the homogeneous solution: 0 = -31(80) + 40(62),
  36. so the general solution is any linear combination of the two:
  37.  
  38. n row1 + m row2 -> 2n = (7n-31m) 80 + (40m-9n) 62
  39.  
  40. The same row/column reduction techniques tackle arbitrary
  41. systems of linear Diophantine equations. Such techniques
  42. generalize easily to similar coefficient rings possessing a
  43. Euclidean algorithm, e.g. polynomial rings F[x] over a field,
  44. Gaussian integers Z[i]. There are many analogous interesting
  45. methods, e.g. search on keywords: Hermite / Smith normal form,
  46. invariant factors, lattice basis reduction, continued fractions,
  47. Farey fractions / mediants, Stern-Brocot tree / diatomic sequence.
Add Comment
Please, Sign In to add comment