Digital topology: Introduction and survey

Abstract Digital topology deals with the topological properties of digital images: or, more generally, of discrete arrays in two or more dimensions. It provides the theoretical foundations for important image processing operations such as connected component labeling and counting, border following, contour filling, and thinning—and their generalizations to three- (or higher-) dimensional “images.” This paper reviews the fundamental concepts of digital topology and surveys the major theoretical results in the field. A bibliography of almost 140 references is included.

[1]  Gabriella Sanniti di Baja,et al.  A thinning algorithm based on prominence detection , 1981, Pattern Recognit..

[2]  Theo Pavlidis,et al.  Filling algorithms for raster graphics , 1979 .

[3]  Hanspeter Bieri,et al.  Computing the Euler characteristic and related additive functionals of digital objects from their bintree representation , 1987, Comput. Vis. Graph. Image Process..

[4]  Ralph Kopperman,et al.  A Jordan surface theorem for three-dimensional digital spaces , 1991, Discret. Comput. Geom..

[5]  Irvin Sobel,et al.  Neighborhood coding of binary images for fast contour following and general binary array processing , 1978 .

[6]  Christian Ronse,et al.  Book-Review - Connected Components in Binary Images - the Detection Problem , 1984 .

[7]  Akira Nakamura,et al.  On the Recognition of Properties of Three-Dimensional Pictures , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[8]  John Mylopoulos,et al.  On the Topological Properties of Quantized Spaces, I. The Notion of Dimension , 1971, JACM.

[9]  Azriel Rosenfeld,et al.  On connectivity properties of grayscale pictures , 1981, Pattern Recognit..

[10]  Sartaj Sahni,et al.  Finding Connected Components and Connected Ones on a Mesh-Connected Parallel Computer , 1980, SIAM J. Comput..

[11]  Azriel Rosenfeld,et al.  The fuzzy geometry of image subsets , 1984, Pattern Recognit. Lett..

[12]  George M. Reed.  On the characterization of simple closed surfaces in three-dimensional digital images , 1984, Comput. Vis. Graph. Image Process..

[13]  T. Pavlidis.  A thinning algorithm for discrete binary images , 1980 .

[14]  Hideo Ogawa,et al.  Thinning and stroke segmentation for handwritten Chinese character recognition , 1982, Pattern Recognit..

[15]  Nabil Jean Naccache,et al.  SPTA: A proposed algorithm for thinning binary patterns , 1984, IEEE Transactions on Systems, Man, and Cybernetics.

[16]  King-Sun Fu,et al.  A parallel thinning algorithm for 3-D pictures , 1981 .

[17]  Gabriella Sanniti di Baja,et al.  A Width-Independent Fast Thinning Algorithm , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[18]  Roland T. Chin,et al.  A one-pass thinning algorithm and its parallel implementation , 1987, Comput. Vis. Graph. Image Process..

[19]  John Mylopoulos,et al.  On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity , 1971, JACM.

[20]  Azriel Rosenfeld,et al.  Surfaces in Three-Dimensional Digital Images , 1981, Inf. Control..

[21]  Narendra Ahuja,et al.  DOT PATTERN PROCESSING USING VORONOI POLYGONS AS NEIGHBORHOODS. , 1980 .

[22]  Christian Ronse,et al.  A Topological Characterization of Thinning , 1986, Theor. Comput. Sci..

[23]  Azriel Rosenfeld,et al.  A Converse to the Jordan Curve Theorem for Digital Curves , 1975, Inf. Control..

[24]  Marcel J. E. Golay,et al.  Hexagonal Parallel Pattern Transformations , 1969, IEEE Transactions on Computers.

[25]  Dennis F. Kibler,et al.  A Theory of Nonuniformly Digitized Binary Pictures , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[26]  C. V. Kameswara Rao,et al.  Checking connectivity preservation properties of some types of picture processing operations , 1978 .

[27]  Efim Khalimsky.  Finite, primitive and euclidean spaces , 1988 .

[28]  Azriel Rosenfeld,et al.  Fuzzy Digital Topology , 1979, Inf. Control..

[29]  Azriel Rosenfeld,et al.  A Note on Thinning , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[30]  Gabor T. Herman,et al.  Dynamic boundary surface detection , 1978 .

[31]  Azriel Rosenfeld,et al.  Recognition of Surfaces in Three-Dimensional Digital Images , 1982, Inf. Control..

[32]  M. V. S. Ramanath,et al.  Improvements to a recent 3d-border algorithm , 1985, Pattern Recognit..

[33]  R. Ho.  Algebraic Topology , 2022 .

[34]  Linda G. Shapiro,et al.  A new connected components algorithm for virtual memory computers , 1983, Comput. Vis. Graph. Image Process..

[35]  Richard W. Hall,et al.  Fast parallel thinning algorithms: parallel speed and connectivity preservation , 1989, CACM.

[36]  Stefano Levialdi,et al.  On shrinking binary picture patterns , 1972, CACM.

[37]  Azriel Rosenfeld,et al.  Connectivity and genus in three dimensions , 1971 .

[38]  Frans C. A. Groen,et al.  Three-Dimensional Skeletonization: Principle and Algorithm , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[39]  Irene Gargantini,et al.  Counting regions, holes, and their nesting level in time proportional to the border , 1984, Comput. Vis. Graph. Image Process..

[40]  Kendall Preston,et al.  Multidimensional Logical Transforms , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[41]  Vladimir A Kovalevsky.  Discrete topology and contour definition , 1984, Pattern Recognit. Lett..

[42]  Azriel Rosenfeld,et al.  Address location on envelopes , 1987, Pattern Recognit..

[43]  Azriel Rosenfeld,et al.  Adjacency in Digital Pictures , 1974, Inf. Control..

[44]  D. Morgenthaler.  Three-Dimensional Digital Topology: The Genus. , 1980 .

[45]  Uzi Vishkin,et al.  An O(log n) Parallel Connectivity Algorithm , 1982, J. Algorithms.

[46]  A. Favre,et al.  Parallel syntactic thinning by recoding of binary pictures , 1983, Comput. Vis. Graph. Image Process..

[47]  Edward S. Deutsch,et al.  Thinning algorithms on rectangular, hexagonal, and triangular arrays , 1972, Commun. ACM.

[48]  Gabor T. Herman,et al.  The theory, design, implementation and evaluation of a three-dimensional surface detection algorit , 1981 .

[49]  Peter Thanisch,et al.  Linear time algorithm for finding a picture's connected components , 1984, Image Vis. Comput..

[50]  Peter R. Wilson.  Euler Formulas and Geometric Modeling , 1985, IEEE Computer Graphics and Applications.

[51]  Azriel Rosenfeld,et al.  Arcs and Curves in Digital Pictures , 1973, JACM.

[52]  J. Hudson.  Piecewise linear topology , 1966 .

[53]  Azriel Rosenfeld,et al.  Digital connectedness: An algebraic approach , 1983, Pattern Recognit. Lett..

[54]  Ching Y. Suen,et al.  A fast parallel algorithm for thinning digital patterns , 1984, CACM.

[55]  Hanspeter Bieri,et al.  Algorithms for the euler characteristic and related additive functionals of digital objects , 1984, Comput. Vis. Graph. Image Process..

[56]  C. V Kameswara Rao,et al.  A parallel shrinking algorithm for binary patterns , 1976 .

[57]  A. W. Roscoe,et al.  A theory of binary digital pictures , 1985, Comput. Vis. Graph. Image Process..

[58]  Stefano Levialdi,et al.  Parallel thinning of binary pictures , 1975 .

[59]  Per-Erik Danielsson.  An Improved Segmentation and Coding Algorithm for Binary and Nonbinary Images , 1982, IBM J. Res. Dev..

[60]  Gabor T. Herman,et al.  The theory, design, implementation and evaluation of a three-dimensional surface detection algorithm , 1980, SIGGRAPH '80.

[61]  Robert A. Melter.  Some characterizations of city block distance , 1987, Pattern Recognit. Lett..

[62]  Azriel Rosenfeld,et al.  Three-Dimensional Digital Topology , 1981, Inf. Control..

[63]  David W. Capson.  An improved algorithm for the sequential extraction of boundaries from a raster scan , 1984, Comput. Vis. Graph. Image Process..

[64]  Carlo Arcelli.  A condition for digital points removal , 1979 .

[65]  C. J. Hilditch.  Comparison of thinning algorithms on a parallel processor , 1983, Image Vis. Comput..

[66]  C. Dyer.  Computing the Euler number of an image from its quadtree , 1980 .

[67]  Peter Buneman,et al.  A Grammar for the Topological Analysis of Plane Figures , 1969 .

[68]  L. Montoto,et al.  A thinning transform for digital images , 1981 .

[69]  Carlo Arcelli,et al.  Pattern thinning by contour tracing , 1981 .

[70]  Lawrence N. Stout.  Two discrete forms of the Jordan curve theorem , 1988 .

[71]  Stephen B. Gray,et al.  Local Properties of Binary Images in Two Dimensions , 1971, IEEE Transactions on Computers.

[72]  Bill Roscoe,et al.  Characterisations of simply−connected finite polyhedra in 3−space , 1985 .

[73]  A. W. Roscoe,et al.  Continuous analogs of axiomatized digital surfaces , 1984, Comput. Vis. Graph. Image Process..

[74]  Patrick Shen-Pei Wang,et al.  A comment on “a fast parallel algorithm for thinning digital patterns” , 1986, CACM.

[75]  E. R. Davies,et al.  Thinning algorithms: A critique and a new methodology , 1981, Pattern Recognit..

[76]  Narendra Ahuja,et al.  Image representation using Voronoi tessellation , 1985, Comput. Vis. Graph. Image Process..

[77]  Reinhard Klette.  The m-dimensional grid point space , 1985, Comput. Vis. Graph. Image Process..

[78]  Efim Khalimsky,et al.  Topological structures in computer science , 1987 .

[79]  Keiichi Abe,et al.  Topological structural analysis of digitized binary images by border following , 1985, Comput. Vis. Graph. Image Process..

[80]  Azriel Rosenfeld,et al.  Some Parallel Thinning Algorithms for Digital Pictures , 1971, JACM.

[81]  Edward S. Deutsch,et al.  Toward Isotopic Image Reduction , 1971, IFIP Congress.

[82]  Wolfram H. H. J. Lunscher,et al.  Fast binary-image boundary extraction , 1987, Comput. Vis. Graph. Image Process..

[83]  Ching Y. Suen,et al.  Linear time algorithms for an image labelling machine , 1988, Pattern Recognit. Lett..

[84]  Sargur N. Srihari,et al.  Representation of Three-Dimensional Digital Images , 1981, CSUR.

[85]  Gabor T. Herman,et al.  A topological proof of a surface tracking algorithm , 1982, Comput. Vis. Graph. Image Process..

[86]  Jose L. Navalón,et al.  A thinning algorithm based on contours , 1987 .

[87]  King-Sun Fu,et al.  A general scheme for constructing skeleton models , 1982, Inf. Sci..

[88]  Azriel Rosenfeld,et al.  A Characterization of Parallel Thinning Algorithms , 1975, Inf. Control..

[89]  Paul C. K. Kwok,et al.  A thinning algorithm by contour generation , 1988, CACM.

[90]  Azriel Rosenfeld,et al.  Connectivity in Digital Pictures , 1970, JACM.

[91]  Theodosios Pavlidis,et al.  An asynchronous thinning algorithm , 1982, Comput. Graph. Image Process..

[92]  Azriel Rosenfeld,et al.  Sequential Operations in Digital Picture Processing , 1966, JACM.

[93]  R.M. McElhaney,et al.  Algorithms for graphics and image processing , 1983, Proceedings of the IEEE.

[94]  C. J. Hilditch,et al.  Linear Skeletons From Square Cupboards , 1969 .

[95]  Luigi P. Cordella,et al.  From Local Maxima to Connected Skeletons , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[96]  Sargur N. Srihari,et al.  Boundary Detection in Multidimensions , 1982, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[97]  Wen Xu,et al.  CGT: A fast thinning algorithm implemented on a sequential computer , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[98]  Azriel Rosenfeld,et al.  Thinning Algorithms for Gray-Scale Pictures , 1979, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[99]  Peter E. Hart,et al.  GRAPHICAL-DATA-PROCESSING RESEARCH STUDY AND EXPERIMENTAL INVESTIGATION , 1964 .

[100]  Azriel Rosenfeld,et al.  'Continuous' functions on digital pictures , 1986, Pattern Recognit. Lett..

[101]  Partha Pratim Das,et al.  Knight's distance in digital geometry , 1988 .

[102]  James C. Alexander,et al.  The Boundary Count of Digital Pictures , 1971, JACM.

[103]  Gabor T. Herman,et al.  A topological proof of a surface tracking algorithm , 1982, Computer Vision Graphics and Image Processing.

[104]  P. R. Meyer,et al.  Computer graphics and connected topologies on finite ordered sets , 1990 .

[105]  John Mylopoulos,et al.  Some Results in Computational Topology , 1973, JACM.

[106]  Ronald H. Perrott,et al.  An improved parallel thinning algorithm , 1987, CACM.

[107]  T. Yung Kong,et al.  A digital fundamental group , 1989, Comput. Graph..