Proportionally modular diophantine inequalities and the Stern-Brocot tree

Bullejos, M.; Rosales, J.

doi:10.1090/S0025-5718-08-02173-X

Proportionally modular diophantine inequalities and the Stern-Brocot tree
HTML articles powered by AMS MathViewer

by M. Bullejos and J. C. Rosales;

Math. Comp. 78 (2009), 1211-1226

DOI: https://doi.org/10.1090/S0025-5718-08-02173-X

Published electronically: August 12, 2008

PDF | Request permission

Abstract:

Given positive integers $a,b$ and $c$ to compute a generating system for the numerical semigroup whose elements are all positive integer solutions of the inequality $a x \mathbf {mod} b\leq cx$ is equivalent to computing a Bézout sequence connecting two reduced fractions. We prove that a proper Bézout sequence is completely determined by its ends and we give an algorithm to compute the unique proper Bézout sequence connecting two reduced fractions. We also relate Bézout sequences with paths in the Stern-Brocot tree and use this tree to compute the minimal positive integer solution of the above inequality.

References

A. Bogomolny, Stern-Brocot Tree. Binary Encoding; see the website: www.cut-the-knot.org/blue/encoding.shtml.
Ronald L. Graham, Donald E. Knuth, and Oren Patashnik, Concrete mathematics, 2nd ed., Addison-Wesley Publishing Company, Reading, MA, 1994. A foundation for computer science. MR 1397498
J. L. Ramírez-Alfonsín, Complexity of the Frobenius problem, Combinatorica 16 (1996), no. 1, 143–147. MR 1394516, DOI 10.1007/BF01300131
J. L. Ramírez Alfonsín, The Diophantine Frobenius problem, Oxford Lecture Series in Mathematics and its Applications, vol. 30, Oxford University Press, Oxford, 2005. MR 2260521, DOI 10.1093/acprof:oso/9780198568209.001.0001
J. C. Rosales, P. A. García-Sánchez, J. I. García-García, and J. M. Urbano-Blanco, Proportionally modular Diophantine inequalities, J. Number Theory 103 (2003), no. 2, 281–294. MR 2020273, DOI 10.1016/j.jnt.2003.06.002
J. C. Rosales, P. A. García-Sánchez and J. M. Urbano-Blanco, The set of solutions of a proportionally modular diophantine inequality, Journal of Number Theory 128 (2008), 453-467.
J. C. Rosales and P. Vasco, The smallest positive integer that is a solution of a proportionally modular diophantine inequality, to appear in Mathematical Inequalities & Applications (2008), www.ele-math.com.
J. J. Sylvester, Mathematical questions with their solutions, Educational Times 41 (1884), 21.