Abstract
Discrete geometric estimators approach geometric quantities on digitized shapes without any knowledge of the continuous shape. A classical yet difficult problem is to show that an estimator asymptotically converges toward the true geometric quantity as the resolution increases. For estimators of local geometric quantities based on Digital Straight Segment (DSS) recognition this problem is closely linked to the asymptotic growth of maximal DSS for which we show bounds both about their number and sizes on Convex Digital Polygons. These results not only give better insights about digitized curves but indicate that curvature estimators based on local DSS recognition are not likely to converge. We indeed invalidate a conjecture which was essential in the only known convergence theorem of a discrete curvature estimator. The proof involves results from arithmetic properties of digital lines, digital convexity, combinatorics and continued fractions.
Similar content being viewed by others
References
A. Balog and I. Bárány, “On the convex hull of the integerpoints in a disc,” in SCG '91: Proceedings of the Seventh Annual Symposium on Computational Geometry, ACM Press, 1991, pp. 162–165
I. Barany and D.G. Larman, “The convex hull of the integer points in a large ball,” Math. Annalen, Vol. 312, pp. 167–181, 1998
J. Berstel and A. De Luca, “Sturmian words, lyndon words and trees,” Theore. Comput. Sci., Vol. 178, Nos. 1–2, pp. 171–203, 1997
D. Coeurjolly, Algorithmique et géométrie pour la caractérisation des courbes et des surfaces. Ph.D. thesis, Université Lyon 2, Décembre, 2002
D. Coeurjolly and R. Klette, “A comparative evaluation of lengthestimators of digital curves,” IEEE Trans. on Pattern Anal. and Machine Intell., Vol. 26, No. 2, pp. 252–257, 2004
D. Coeurjolly, S. Miguet, and L. Tougne, “Discrete curvature based on osculating circle estimation,” in Proc. 4th Int. Workshop on Visual Form (IWVF4), C. Arcelli, L.P. Cordella, and G. Sanniti di Baja (eds.), LNCS 2059, Springer-Verlag, Berlin, 2001, pp. 303–312
F. de Vieilleville, J.-O. Lachaud, and F. Feschet, “Maximal digital straight segments and convergence of discrete geometric estimators,” in 14th Scandinavian Conference on Image Analysis, H. Kalviainen, J. Parkkinen, and A. Kaarna (eds.), LNCS 3540, Springer-Verlag, 2005, pp. 988–997
I. Debled and J.-P. Réveillés, “A linear algorithm for segmentation of digital curves,” IJPRAI, Vol. 9, No. 4, pp. 635–662, 1995
J.-O. Lachaud and F. de Vieilleville, “New bounds on the number and length of maximal segment on convex digital polygons,” Research Report 1364-05, LaBRI, University Bordeaux 1, Talence, France, 2005
J.-O. Lachaud F. de Vieilleville, and F. Feschet, “Maximal digital straight segments and convergence of discrete geometric estimators,” Research Report 1350-05, LaBRI, University Bordeaux 1, Talence, France, 2005
F. Feschet and L. Tougne, “Optimal time computation of the tangent of a discrete curve: application to the curvature,” in Discrete Geometry and Computer Imagery (DGCI), LNCS 1568, Springer Verlag, 1999, pp. 31–40
F. Feschet and L. Tougne, “On the min DSS problem of closed discrete curves,” Discrete Applied Math., Vol. 151, Nos. 1-3, pp. 138–153, 2005.
A. Gross and L. Latecki, “Digitizations preserving topological and differential geometric properties,” Comput. Vis. Image Underst., Vol. 62, No. 3, pp. 370–381, 1995
G.H. Hardy and E.M. Wright, An Introduction to the Theory of Numbers, Fourth edition, Oxford University Press, 1960
A.S. Hayes and D.C. Larman, “The vertices of the knapsack polytope,” Discrete Applied Mathematics, Vol. 6, pp. 135–138, 1983
C.E. Kim, “Digital convexity, straightness, and convex polygons,” IEEE Trans. on Pattern Anal. and Mach. Intell., Vol. 6, No. 6, pp. 618–626, 1982
R. Klette and A. Rosenfeld, Digital Geometry—Geometric Methods for Digital Picture Analysis, Morgan Kaufmann: San Francisco, 2004
R. Klette and J. Žunić, “Multigrid convergence of calculated features in image analysis,” Journal of Mathematical Imaging and Vision, Vol. 13, pp. 173–191, 2000
V. Kovalevsky and S. Fuchs, “Theoretical and experimental analysis of the accuracy of perimeter estimates,” in Proc. Robust Computer Vision, Förster and Ruwiedel (eds.), 1992, pp. 218–242
J.-O. Lachaud, “On the convergence of some local geometric estimators on digitized curves,” Research Report 1347-05, LaBRI, University Bordeaux 1, Talence, France, 2005
J.-O. Lachaud, A. Vialard, and F. de Vieilleville, “Analysis and comparative evaluation of discrete tangent estimators,” in Proc. Int. Conf. Discrete Geometry for Computer Imagery E. Andrés, G. Damiand, and P. Lienhardt (eds.), LNCS 3429, Springer-Verlag, 2005, pp. 240–251
L.J. Latecki, C. Conrad, and A. Gross, “Preserving topology by a digitization process,” Journal of Mathematics Imaging and Vision, Vol. 8, No. 2, pp. 131–159, 1998
H. Reiter-Doerksen and I. Debled-Rennesson, “Convex and concave parts of digital curves,” in Dagstuhl Seminar “Geometric Properties from Incomplete Data,” 2004
J.-P. Réveillés, Géométrie discréte, calcul en nombres entiers et algorithmique. Thése d'etat, Université Louis Pasteur, Strasbourg, 1991. In french
V.N. Shevchenko, “On the number of extreme points in linear programming,” Kibernetika, Vol. 2, pp. 133–134, 1981. In russian
K. Voss. Discrete Images, Objects, and Functions in Zn. Springer-Verlag, 1993.
Author information
Authors and Affiliations
Corresponding author
Additional information
de Vieilleville François is about to defend his Ph.D. in computer science at the University of Bordeaux I (France) and is currently teacher assistant in the same university. His research interests are directed on theoretical and applied subjects on Image Analysis and Computer Vision. He is particularly interested in the problem of designing estimators based on digital geometry and digital straight segment recognition.
Jacques-Olivier Lachaud graduated from ENSIMAG engineering school in Computer Science in 1994 and received a Ph.D. degree in computer science from Joseph Fourier—Grenoble 1 University in 1998. He is currently an associate Professor in Computer Science at the university Bordeaux 1 (France) and works in the LaBRI laboratory. His research interests are in image segmentation and analysis, more specifically deformable models, energy-minimizing techniques, digital geometry, topological models and invariants. He has written about thirty papers in international journals or conferences on these topics.
Fabien Feschet got a Ph.D. in Computer Science both at the University Claude Bernard (Lyon, France) and at the INSA of Lyon in 1999. He was a professor assistant at the University of Lyon from 1999 to 2002. In 2002, he moved to Clermont-Ferrand at the LAIC laboratory. Since 2006, he has the Habilitation in Computer Science and is an associate professeur at the University of Auvergne. His research interests concern mainly digital geometry, pattern recognition and structural analysis of shapes with an emphasis on mathematical methods. He has currently written around 30 papers in International Journals and Conferences.
Rights and permissions
About this article
Cite this article
De Vieilleville, F., Lachaud, JO. & Feschet, F. Convex Digital Polygons, Maximal Digital Straight Segments and Convergence of Discrete Geometric Estimators. J Math Imaging Vis 27, 139–156 (2007). https://doi.org/10.1007/s10851-007-0779-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10851-007-0779-x