day6 - Hilberts Tenth Diophantine Equations are style Click...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Click to edit Master subtitle style 10/4/11 Hilbert’s Tenth Diophantine Equations are Semi-decidable One Variable Diophantine Equations are Solvable
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
10/4/11 Dec 2, © UCF (Charles E. 22 Hilbert’s 10th is Semi- Decidable Consider over one variable: P(x) = 0 Can semi-decide by plugging in 0, 1, -1, 2, -2, 3, -3, … This terminates and says “yes” if P(x) evaluates to 0, eventually. Unfortunately, it never terminates if there is no x such that P(x) =0. Can easily extend to P(x1,x2,. .,xk) =
Background image of page 2
10/4/11 Dec 2, © UCF (Charles E. 33 P(x) = 0 is Decidable cn xn + cn-1 xn-1 +… + c1 x + c0 = 0 xn = -(cn-1 xn-1 + … + c1 x + c0)/cn |xn| & cmax(|xn-1| + … + |x| + 1|)/|cn| |xn| & cmax(n |xn-1|)/|cn|, since |
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
10/4/11 Dec 2, © UCF (Charles E. 44 P(x) = 0 is Decidable Can bound the search to values of x in range [± n * ( cmax / cn )], where n = highest order exponent in polynomial cmax = largest absolute value coefficient cn = coefficient of highest order term
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 9

day6 - Hilberts Tenth Diophantine Equations are style Click...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online