Two Plane-Probing Algorithms for the Computation of the Normal Vector to a Digital Plane

Digital planes are sets of integer points located between two parallel planes. We present a new algorithm that computes the normal vector of a digital plane given only a predicate “is a point x in the digital plane or not”. In opposition to classical recognition algorithm, this algorithm decides on-the-fly which points to test in order to output at the end the exact surface characteristics of the plane. We present two variants: the H-algorithm, which is purely local, and the R-algorithm which probes further along rays coming out from the local neighborhood tested by the H-algorithm. Both algorithms are shown to output the correct normal to the digital planes if the starting point is a lower leaning point. The worst-case time complexity is in $$O(\omega )$$O(ω) for the H-algorithm and $$O(\omega \log \omega )$$O(ωlogω) for the R-algorithm, where $$\omega $$ω is the arithmetic thickness of the digital plane. In practice, the H-algorithm often outputs a reduced basis of the digital plane while the R-algorithm always returns a reduced basis. Both variants perform much better than the theoretical bound, with an average behavior close to $$O(\log \omega )$$O(logω). Finally, we show how this algorithm can be used to analyze the geometry of arbitrary digital surfaces, by computing normals and identifying convex, concave or saddle parts of the surface. This paper is an extension of Lachaud et al. (Proceedings of 19th IAPR international conference discrete geometry for computer imagery (DGCI’2016), Nantes, France. Springer, Cham, 2016).

[1]  Isabelle Debled-Rennesson,et al.  An elementary digital plane recognition algorithm , 2005, Discret. Appl. Math..

[2]  François de Vieilleville,et al.  Maximal digital straight segments and convergence of discrete geometric estimators , 2005, SCIA.

[3]  Thomas Fernique,et al.  Brun expansions of stepped surfaces , 2011, Discret. Math..

[4]  Jacques-Olivier Lachaud,et al.  Meaningful Scales Detection along Digital Contours for Unsupervised Local Noise Estimation , 2012, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[5]  Azriel Rosenfeld,et al.  Digital straightness - a review , 2004, Discret. Appl. Math..

[6]  Ivan Stojmenovic,et al.  On the recognition of digital planes in three-dimensional space , 1991, Pattern Recognit. Lett..

[7]  François de Vieilleville,et al.  Fast, accurate and convergent tangent estimation on digital contours , 2007, Image Vis. Comput..

[8]  Reinhard Klette,et al.  Digital Planar Segment Based Polyhedrization for Surface Area Estimation , 2001, IWVF.

[9]  Isabelle Debled-Rennesson,et al.  3D noisy discrete objects: Segmentation and application to smoothing , 2009, Pattern Recognit..

[10]  Jacques-Olivier Lachaud,et al.  An output-sensitive algorithm to compute the normal vector of a digital plane , 2016, Theor. Comput. Sci..

[11]  Jacques-Olivier Lachaud,et al.  Maximal Planes and Multiscale Tangential Cover of 3D Digital Objects , 2011, IWCIA.

[12]  Jarek Rossignac,et al.  Pressing: Smooth Isosurfaces with Flats from Binary Grids , 2008, Comput. Graph. Forum.

[13]  Isabelle Sivignon,et al.  Faithful polygonal representation of the convex and concave parts of a digital curve , 2011, Pattern Recognit..

[14]  Thomas Fernique,et al.  Generation and recognition of digital planes using multi-dimensional continued fractions , 2008, Pattern Recognit..

[15]  Christophe Reutenauer,et al.  A $$d$$d-dimensional Extension of Christoffel Words , 2015, Discret. Comput. Geom..

[16]  Jean-Luc Toutant,et al.  Minimal arithmetic thickness connecting discrete planes , 2009, Discret. Appl. Math..

[17]  Jacques-Olivier Lachaud,et al.  Computation of the Normal Vector to a Digital Plane by Sampling Significant Points , 2016, DGCI.

[18]  Lilian Buzer,et al.  An Efficient and Quasi Linear Worst-Case Time Algorithm for Digital Plane Recognition , 2008, DGCI.

[19]  Hugues Talbot,et al.  Optimal consensus set for digital line and plane fitting , 2011, Int. J. Imaging Syst. Technol..

[20]  Fabien Feschet,et al.  Canonical representations of discrete curves , 2005, Pattern Analysis and Applications.

[21]  H. Dorksen-Reiter,et al.  Convex and Concave Parts of digital Curves , 2006 .

[22]  Reinhard Klette,et al.  Digital planarity - A review , 2007, Discret. Appl. Math..

[23]  Peter Veelaert Digital Planarity of Rectangular Surface Segments , 1994, IEEE Trans. Pattern Anal. Mach. Intell..