Connectivity of discrete planes

Studying connectivity of discrete objects is a major issue in discrete geometry and topology. In the present work, we deal with connectivity of discrete planes in the framework of Reveilles analytical definition (These d'Etat, Universite Louis Pasteur, Strasbourg, France, 1991). Accordingly, a discrete plane is a set P(a, b, c, µ, ω) of integer points (x, y, z) satisfying the Diophantine inequalities 0 ≤ ax + by + cz + µ < ω. The parameter µ ∈ Z estimates the plane intercept while ω ∈ N is the plane thickness. Given three integers (plane coefficients) a, b, and c with 0 ≤ a ≤ b ≤ c, one can seek the value of ω beyond which the discrete plane P(a, b, c, µ, ω) is always connected. We call this remarkable topological invariable the connectivity number of P(a, b, c, µ, ω) and denote it Ω(a, b, c). Despite several attempts over the last 10 years to determine the connectivity number, this is still an open question. In the present paper, we propose a solution to the problem. For this, we first investigate some combinatorial properties of discrete planes. These structural results facilitate the deeper understanding of the discrete plane structure. On this basis, we obtain a series of results, in particular, we provide an explicit solution to the problem under certain conditions. We also obtain exact upper and lower bounds on Ω(a, b, c) and design an O(alogb) algorithm for its computation.

[1]  Jean-Pierre Reveillès Géométrie discrète, calcul en nombres entiers et algorithmique , 1991 .

[2]  Andrew Chi-Chih Yao Lower bounds for algebraic computation trees with integer inputs , 1989, 30th Annual Symposium on Foundations of Computer Science.

[3]  Marie-Andrée Jacob-Da Col About local configurations in arithmetic planes , 2002, Theor. Comput. Sci..

[4]  J. Dixon The number of steps in the Euclidean algorithm , 1970 .

[5]  Valentin E. Brimkov,et al.  Thin discrete triangular meshes , 2000, Theor. Comput. Sci..

[6]  Valentin E. Brimkov,et al.  Minimally Thin Discrete Triangulation , 2000, Volume Graphics.

[7]  Valentin E. Brimkov,et al.  Digital , 2015, Bankmagazin.

[8]  Eric Andres,et al.  Discrete Analytical Hyperplanes , 1997, CVGIP Graph. Model. Image Process..

[9]  Azriel Rosenfeld,et al.  Digital straightness , 2001, Electron. Notes Theor. Comput. Sci..

[10]  Yan Gérard Periodic graphs and connectivity of the rational digital hyperplanes , 2002, Theor. Comput. Sci..

[11]  Michael Ben-Or,et al.  Lower bounds for algebraic computation trees , 1983, STOC.

[12]  P. A. B. Pleasants,et al.  Characterization of two-distance sequences , 1992 .

[13]  Eric Andres,et al.  Object discretizations in higher dimensions , 2002, Pattern Recognit. Lett..

[14]  Valentin E. Brimkov,et al.  Graceful planes and lines , 2002, Theor. Comput. Sci..

[15]  Daniel Cohen-Or,et al.  Volume graphics , 1993, Computer.

[16]  Isabelle Debled-Rennesson,et al.  Etude et reconnaissance des droites et plans discrets , 1995 .