Diophantine Equation: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
Azerty (talk | contribs)
Created the page
 
Azerty (talk | contribs)
Added short definition
Line 1: Line 1:
A '''Diophantine equation''' is a polynomial equation with integer coefficients for which only integer solutions are sought.
<code>BBdio(H)</code> is the maximum score among all solvable polynomial Diophantine equations of height <code>H</code>. To determine the height of an equation, write it in the form <code>P(x,y,z,...) = 0</code>, then take the sum of <code>|coefficient|*2^degree</code> among all terms in the LHS polynomial <code>P</code>. To determine the score of a solvable equation, find the solution with the lowest score, where the score of a solution is the maximum absolute value among all variables.
<code>BBdio(H)</code> is the maximum score among all solvable polynomial Diophantine equations of height <code>H</code>. To determine the height of an equation, write it in the form <code>P(x,y,z,...) = 0</code>, then take the sum of <code>|coefficient|*2^degree</code> among all terms in the LHS polynomial <code>P</code>. To determine the score of a solvable equation, find the solution with the lowest score, where the score of a solution is the maximum absolute value among all variables.



Revision as of 16:00, 11 August 2026

A Diophantine equation is a polynomial equation with integer coefficients for which only integer solutions are sought.

BBdio(H) is the maximum score among all solvable polynomial Diophantine equations of height H. To determine the height of an equation, write it in the form P(x,y,z,...) = 0, then take the sum of |coefficient|*2^degree among all terms in the LHS polynomial P. To determine the score of a solvable equation, find the solution with the lowest score, where the score of a solution is the maximum absolute value among all variables.

BBdio(n) is proven for n < 16.

BBdio(n) Value Champion
2 ≤ n ≤ 20 ≥ n-2
21 ≥ 26 x2+xy+6y+1=0
22 ≥ 22 x3+y2+4=3x
23 ≥ 31 x2+xy+x+1=6y
24 ≥ 66 x3+xy+5y=2
25 ≥ 470 x3+xy+y2+y+7=0
26 ≥ 40 x2+xy+7y+4=0
27 ≥ 849 x3+x2+y2+9=x
28 ≥ 74 x3+xy+2x+5y=2
29 ≥ 221 x3+xy+x+7y+1=0
30 ≥ 849 x3+2x2=y2+10