Combinatorial Image Analysis 19th International Workshop IWCIA 2018 Porto Portugal November 22 24 2018 Proceedings Reneta P. Barneva

Combinatorial Image Analysis 19th
International Workshop IWCIA 2018

Porto Portugal November 22 24 2018
Proceedings Reneta P. Barneva
Visit to download the full and correct content document:
https://textbookfull.com/product/combinatorial-image-analysis-19th-international-work
shop-iwcia-2018-porto-portugal-november-22-24-2018-proceedings-reneta-p-barneva
/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...
Combinatorial Image Analysis 20th International

Workshop IWCIA 2020 Novi Sad Serbia July 16 18 2020
Proceedings Tibor Luki■
https://textbookfull.com/product/combinatorial-image-
analysis-20th-international-workshop-iwcia-2020-novi-sad-serbia-
july-16-18-2020-proceedings-tibor-lukic/
Sensor Networks 6th International Conference SENSORNETS

2017 Porto Portugal February 19 21 2017 and 7th
International Conference SENSORNETS 2018 Funchal
Madeira Portugal January 22 24 2018 Revised Selected
Papers César Benavente-Peces
https://textbookfull.com/product/sensor-networks-6th-
international-conference-sensornets-2017-porto-portugal-
february-19-21-2017-and-7th-international-conference-
sensornets-2018-funchal-madeira-portugal-
january-22-24-2018-revised-sel/
Software Analysis Testing and Evolution 8th
International Conference SATE 2018 Shenzhen Guangdong
China November 23 24 2018 Proceedings Lei Bu
https://textbookfull.com/product/software-analysis-testing-and-
evolution-8th-international-conference-sate-2018-shenzhen-
guangdong-china-november-23-24-2018-proceedings-lei-bu/
Computational Pathology and Ophthalmic Medical Image

Analysis First International Workshop COMPAY 2018 and
5th International Workshop OMIA 2018 Held in
Conjunction with MICCAI 2018 Granada Spain September 16
20 2018 Proceedings Danail Stoyanov
https://textbookfull.com/product/computational-pathology-and-
ophthalmic-medical-image-analysis-first-international-workshop-
compay-2018-and-5th-international-workshop-omia-2018-held-in-
Knowledge and Systems Sciences 19th International
Symposium KSS 2018 Tokyo Japan November 25 27 2018
Proceedings Jian Chen
https://textbookfull.com/product/knowledge-and-systems-
sciences-19th-international-symposium-kss-2018-tokyo-japan-
november-25-27-2018-proceedings-jian-chen/
Image Analysis and Recognition 11th International

Conference ICIAR 2014 Vilamoura Portugal October 22 24
2014 Proceedings Part II 1st Edition Aurélio Campilho
https://textbookfull.com/product/image-analysis-and-
recognition-11th-international-conference-iciar-2014-vilamoura-
portugal-october-22-24-2014-proceedings-part-ii-1st-edition-
aurelio-campilho/
Image Analysis and Recognition 11th International

Conference ICIAR 2014 Vilamoura Portugal October 22 24
2014 Proceedings Part I 1st Edition Aurélio Campilho
https://textbookfull.com/product/image-analysis-and-
recognition-11th-international-conference-iciar-2014-vilamoura-
portugal-october-22-24-2014-proceedings-part-i-1st-edition-
aurelio-campilho/
Product Focused Software Process Improvement 19th

International Conference PROFES 2018 Wolfsburg Germany
November 28 30 2018 Proceedings Marco Kuhrmann
https://textbookfull.com/product/product-focused-software-
process-improvement-19th-international-conference-
profes-2018-wolfsburg-germany-november-28-30-2018-proceedings-
marco-kuhrmann/
Image Processing and Communications Challenges 10: 10th

International Conference, IP&C’2018 Bydgoszcz, Poland,
November 2018, Proceedings Micha■ Chora■
https://textbookfull.com/product/image-processing-and-
communications-challenges-10-10th-international-conference-
ipc2018-bydgoszcz-poland-november-2018-proceedings-michal-choras/
Reneta P. Barneva
Valentin E. Brimkov
João Manuel R. S. Tavares (Eds.)
LNCS 11255
Combinatorial
Image Analysis
19th International Workshop, IWCIA 2018
Porto, Portugal, November 22–24, 2018
Proceedings
123
Lecture Notes in Computer Science 11255
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zurich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology Madras, Chennai, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7411
Reneta P. Barneva Valentin E. Brimkov
•
João Manuel R. S. Tavares (Eds.)
Combinatorial
Image Analysis
19th International Workshop, IWCIA 2018
Porto, Portugal, November 22–24, 2018
Proceedings
123
Editors
Reneta P. Barneva João Manuel R. S. Tavares
State University of New York at Fredonia University of Porto
Fredonia, NY, USA Porto, Portugal
Valentin E. Brimkov
State University of New York
Buffalo, NY, USA
and
Institute of Mathematics and Informatics

Bulgarian Academy of Sciences
Sofia, Bulgaria
ISSN 0302-9743 ISSN 1611-3349 (electronic)

Lecture Notes in Computer Science
ISBN 978-3-030-05287-4 ISBN 978-3-030-05288-1 (eBook)
https://doi.org/10.1007/978-3-030-05288-1
Library of Congress Control Number: 2018962921
LNCS Sublibrary: SL5 – Computer Communication Networks and Telecommunications
© Springer Nature Switzerland AG 2018

This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now
known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication
does not imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
The publisher, the authors, and the editors are safe to assume that the advice and information in this book are
believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in
published maps and institutional affiliations.
This Springer imprint is published by the registered company Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Preface
This volume contains the proceedings of the 19th International Workshop on Com-
binatorial Image Analysis (IWCIA 2018) held in Porto, Portugal, November 22–24,
2018.
Image analysis provides theoretical foundations and methods for solving real-life
problems arising in various areas of human practice, such as medicine, robotics,
defense, and security. Since typically the input data to be processed are discrete, the
“combinatorial” approach to image analysis is a natural one and therefore its appli-
cability is expanding. Combinatorial image analysis often provides advantages in terms
of efficiency and accuracy over the more traditional approaches based on continuous
models that require numeric computation.
The IWCIA workshop series provides a forum for researchers throughout the world
to present cutting-edge results in combinatorial image analysis, to discuss recent
advances and new challenges in this research area, and to promote interaction with
researchers from other countries. IWCIA had successful prior meetings in Paris
(France) 1991, Ube (Japan) 1992, Washington DC (USA) 1994, Lyon (France) 1995,
Hiroshima (Japan) 1997, Madras (India) 1999, Caen (France) 2000, Philadelphia, PA
(USA) 2001, Palermo (Italy) 2003, Auckland (New Zealand) 2004, Berlin (Germany)
2006, Buffalo, NY (USA) 2008, Playa del Carmen (Mexico) 2009, Madrid (Spain)
2011, Austin, TX (USA) 2012, Brno (Czech Republic) 2014, Kolkata (India) 2015, and
Plovdiv (Bulgaria) 2017. The workshop in Porto retained and enriched the international
spirit of these workshops. The IWCIA 2018 Program Committee members are
renowned experts coming from 17 different countries in Asia, Europe, North and South
America, and the authors come from 12 different countries.
Each submitted paper was sent to at least three reviewers for a double-blind review.
EasyChair provided a convenient platform for smoothly carrying out the rigorous
review process. The most important selection criterion for acceptance or rejection of a
paper was the overall score received. Other criteria included: relevance to the workshop
topics, correctness, originality, mathematical depth, clarity, and presentation quality.
We believe that as a result only papers of high quality were accepted for presentation at
IWCIA 2018 and for publication in this volume.
The program of the workshop included presentations of contributed papers and
keynote talks by three distinguished scientists. The talk of José M. Bioucas-Dias
(University of Lisbon, Portugal) presented methods for solving certain inverse prob-
lems of interferometric phase imaging, aimed at the estimation of phase from sinusoidal
and noisy observations. He proposed characterizations of the obtained estimates and
illustrated their effectiveness by results of extensive experiments with simulated and
real data. Jan Kratochvil (Charles University, Czech Republic) reviewed various
problems on intersection, contact, or visibility representations of graphs, which are a
natural way of graph and network visualization. He surveyed known results on these
classes of graphs and discussed new as well as persisting open problems. Nicolai
VI Preface
Petkov (University of Groningen, The Netherlands) presented novel trainable filters as

an alternative to deep networks for the extraction of effective representations of data for
the purposes of pattern recognition. He discussed the advantages of this approach and
illustrated it on handwritten digit images, traffic signs, and sounds in audio signals.
The contributed papers are grouped into two sections. The first one includes nine
papers devoted to theoretical foundations of combinatorial image analysis, including
digital geometry and topology, array grammars, tilings and patterns, discrete geometry
in non-rectangular grids, and other technical tools for image analysis. The second part
includes nine papers presenting application-driven research on topics such as discrete
tomography, image segmentation, texture analysis, and medical imaging. We believe
that many of these papers would be of interest to a broader audience, including
researchers in scientific areas such as computer vision, shape modeling, pattern analysis
and recognition, and computer graphics.
A special session provided some authors with the opportunity to present their
ongoing research projects and original works in progress. The texts of these works are
not included in this volume.
Many individuals and organizations contributed to the success of IWCIA 2018. The
editors are indebted to IWCIA’s Steering Committee for endorsing the candidacy of
Porto for the 19th edition of the workshop. We wish to thank everybody who submitted
their work to IWCIA 2018; thanks to their contributions, we succeeded in having a
technical program of high scientific quality. We are grateful to all participants and
especially to the contributors of this volume. Our most sincere thanks go to the IWCIA
2018 Program Committee whose cooperation in carrying out high-quality reviews was
essential in establishing a strong scientific program. We express our sincere gratitude to
the keynote speakers, José M. Bioucas-Dias, Jan Kratochvil, and Nicolai Petkov for
their excellent talks and overall contribution to the workshop program.
The success of the workshop would not be possible without the hard work of the
local Organizing Committee. We are grateful to our partners: FEUP – Faculdade de
Engenharia da Universidade do Porto; LABIOMEP: Laboratório de Biomecânica do
Porto; APMTAC – Associação Portuguesa de Mecânica Teórica, Aplicada e Com-
putacional; FCT – Fundação para a Ciência e a Tecnologia; INEGI – Instituto de
Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial; ITHEA ISS –
International Scientific Society; and Taylor & Francis Group. Finally, we wish to thank
Springer, and especially Alfred Hofmann and Anna Kramer, for their efficient and kind
cooperation in the timely production of this book.
October 2018 Reneta P. Barneva

Valentin E. Brimkov
João Manuel R. S. Tavares
Organization
The 19th International Workshop on Combinatorial Image Analysis, IWCIA 2019 was
held in Porto, Portugal, November 22–24, 2018.
General Chair
João Manuel R. S. Tavares University of Porto, Portugal
Chairs
Reneta P. Barneva SUNY Fredonia, USA
Valentin E. Brimkov SUNY Buffalo State, USA
Renato M. Natal Jorge University of Porto, Portugal
Steering Committee
Bhargab B. Bhattacharya Indian Statistical Institute, Kolkata, India
Valentin E. Brimkov SUNY Buffalo State, Buffalo, USA
Gabor Herman CUNY Graduate Center, USA
Kostadin Korutchev Universidad Autonoma, Spain
Josef Slapal Technical University of Brno, Czech Republic
Invited Speakers
José M. Bioucas-Dias University of Lisbon, Portugal
Jan Kratochvil Charles University, Czech Republic
Nicolai Petkov University of Groningen, The Netherlands
Program Committee
Eric Andres Université de Poitiers, France
Peter Balazs University of Szeged, Hungary
Jacky Baltes University of Manitoba, Canada
George Bebis University of Nevada at Reno, USA
Bhargab B. Bhattacharya Indian Statistical Institute, India
Partha Bhowmick IIT Kharagpur, India
Arindam Biswas IIEST Shibpur, India
Peter Brass City College, City University of New York, USA
Boris Brimkov Rice University, USA
Srecko Brlek Université du Quebec a Montreal, Canada
Alfred M. Bruckstein Technion, I.I.T, Israel
VIII Organization
Jean-Marc Chassery Université de Grenoble, France

Li Chen University of the District of Columbia, USA
David Coeurjolly Université de Lyon, France
Rocio Gonzalez-Diaz University of Seville, Spain
Mousumi Dutt St. Thomas College of Engineering and Technology,
India
Fabien Feschet Université d’Auvergne, France
Leila De Floriani University of Genova, Italy and University of
Maryland, USA
Chiou-Shann Fuh National Taiwan University, Taiwan
Edwin Hancock University of York, UK
Fay Huang National Ilan University, Taiwan
Krassimira Ivanova Bulgarian Academy of Sciences, Bulgaria
Atsushi Imiya IMIT, Chiba University, Japan
Maria Jose Jimenez University of Seville, Spain
Kamen Kanev Shizuoka University, Japan
Yung Kong CUNY Queens College, USA
Vladimir Kovalevski Technische Fachhochschule Berlin, Germany
Walter G. Kropatsch Vienna University of Technology, Austria
Longin Jan Latecki Temple University, USA
Jerome Liang SUNY Stony Brook, USA
Joakim Lindblad Uppsala University, Sweden
Benedek Nagy Eastern Mediterranean University, Cyprus
Gregory M. Nielson Arizona State University, USA
Janos Pach EPFL Lausanne, Switzerland and Renyi Institute
Budapest, Hungary
Kalman Palagyi University of Szeged, Hungary
Petra Perner Institute of Computer Vision and Applied Computer
Sciences, Germany
Nicolai Petkov University of Groningen, The Netherlands
Hemerson Pistori Dom Bosco Catholic University, Brazil
Ioannis Pitas University of Thessaloniki, Greece
Konrad Polthier Freie Universität Berlin, Germany
Hong Qin SUNY Stony Brook, USA
Paolo Remagnino Kingston University, UK
Ralf Reulke Humboldt University, Germany
Bodo Rosenhahn MPI Informatik, Germany
Arun Ross Michigan State University, USA
Nikolay Sirakov Texas A&M University - Commerce, USA
Rani Siromoney Madras Christian College, India
Wladyslaw Skarbek Warsaw University of Technology, Poland
Ali Shokoufandeh Drexel University, USA
K. G. Subramanian Madras Christian College, India
Gnanaraj Thomas Madras Christian College, India
Peter Veelaert University of Gent, Belgium
Organization IX
Petra Wiederhold CINVESTAV-IPN, Mexico

Jinhui Xu SUNY University at Buffalo, USA
Local Organizing Committee

Jessica Delmoral University of Porto, Portugal
Marco Marques University of Porto, Portugal
João Nunes University of Porto, Portugal
André Luiz Pilastri University of Porto, Portugal
Domingos Vieira University of Porto, Portugal
Additional Reviewers
Chouaib Moujahdi
Tin Nguyen
Ali Erol
Jiri Hladuvka
Minwei Ye
Xiangyu Wang
Ulderico Fugacci
Paola Magillo
Ziyun Huang
Federico Iuricich
Contents
Theoretical Contributions
On Gaps in Digital Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

Lidija Čomić
Fixpoints of Iterated Reductions with Equivalent Deletion Rules . . . . . . . . . . 17

Kálmán Palágyi and Gábor Németh
Parallel Contextual Array Insertion Deletion Grammar . . . . . . . . . . . . . . . . . 28

D. G. Thomas, S. James Immanuel, Atulya K. Nagar,
and Robinson Thamburaj
Chain Code P System for Generation of Approximation Patterns

of Sierpiński Curve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
A. Dharani, R. Stella Maragatham, Atulya K. Nagar,
and K. G. Subramanian
Digitized Rotations of Closest Neighborhood on the Triangular Grid . . . . . . . 53

Aydın Avkan, Benedek Nagy, and Müge Saadetoğlu
Binary Tomography on Triangular Grid Involving Hexagonal

Grid Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Benedek Nagy and Tibor Lukić
Sphere Construction on the FCC Grid Interpreted as Layered

Hexagonal Grids in 3D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
Girish Koshti, Ranita Biswas, Gaëlle Largeteau-Skapin, Rita Zrour,
Eric Andres, and Partha Bhowmick
Quadrangular Mesh Generation Using Centroidal Voronoi Tessellation

on Voxelized Surface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Ashutosh Soni and Partha Bhowmick
When Can lp -norm Objective Functions Be Minimized via Graph Cuts? . . . . 112
Filip Malmberg and Robin Strand
From Theory to Practice
Detection of Osteoarthritis by Gap and Shape Analysis of Knee-Bone X-ray. . . 121

Sabyasachi Mukherjee, Oishila Bandyopadhyay, Arindam Biswas,
and Bhargab B. Bhattacharya
XII Contents
Registration of CT with PET: A Comparison of Intensity-Based

Approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Gisèle Pereira, Inês Domingues, Pedro Martins, Pedro H. Abreu,
Hugo Duarte, and João Santos
Iterative High Resolution Tomography from Combined High-Low

Resolution Sinogram Pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
László Varga and Rajmund Mokso
A Multi-channel DART Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164

Mathé Zeegers, Felix Lucka, and Kees Joost Batenburg
Evaluation of Chaos Game Representation for Comparison

of DNA Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
André R. S. Marcal
Image-Based Object Spoofing Detection . . . . . . . . . . . . . . . . . . . . . . . . . . 189

Valter Costa, Armando Sousa, and Ana Reis
Improvement of Measurement Accuracy of Optical 3D Scanners

by Discrete Systematic Error Estimation. . . . . . . . . . . . . . . . . . . . . . . . . . . 202
Christian Bräuer-Burchardt, Peter Kühmstedt, and Gunther Notni
Defect Detection in Textiles with Co-occurrence Matrix as a Texture

Model Description. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
Karolina Nurzynska and Michał Czardybon
Multiscale Graph-Cut for 3D Segmentation of Compact Objects . . . . . . . . . . 227

Miroslav Jirik, Vladimir Lukes, Milos Zelezny, and Vaclav Liska
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237

Theoretical Contributions
On Gaps in Digital Objects
Lidija Čomić(B)
Faculty of Technical Sciences, University of Novi Sad, Novi Sad, Serbia

comic@uns.ac.rs
Abstract. Different formulae were proposed in the literature for the

number of gaps in digital objects. We give several new formulae for the
number of 0-gaps in 2D, based on the known connection between the
number of 0-gaps and the Euler characteristic of 2D digital objects. We
also present two new, short and intuitive proofs of one of the two known
equivalent formulae for the number of (n − 2)-gaps in nD digital objects.
Keywords: Digital objects · Digital topology · Gaps

Euler characteristic
1 Introduction
Topological analysis of images and shapes is an active research field, important
in many application domains. Two numerical topological descriptors of digital
objects, the number of gaps and the Euler characteristic, have been widely inves-
tigated in the literature. Establishing the relations between these descriptors and
the number of cells of different types in the decomposition of the digital object
O into a cell complex Q enables a better understanding and a deeper insight
into the topological structure of the object O and complex Q.
Intuitively, gaps in a digital object O are locations in O through which a
discrete curve can penetrate [6]. They play an important role in ray-casting
based rendering of digital curves and surfaces [15,46], and in particular of dig-
ital planes [1,24,30]. The notion of a gap is closely related to the notion of
well-composedness [4,35,36]. The number of gaps characterizes the topological
structure of the object [10]. The Euler characteristic is another basic, locally
computable topological descriptor. In 2D, it is equal to the number of connected
components of the object O minus the number of holes in O.
Several different formulae for the number of 0-gaps in a 2D [9,10] and 1-
gaps in a 3D digital object O [38] have been proposed, in terms of the number
of cells in the cubical complex Q associated with the object O (and the Euler
characteristic of O [9]).
For the number of (n − 2)-gaps in an nD digital object O, there are two
such formulae. One [6,11], expresses the number of gaps in O through the total
number of cells of dimension n, n − 1 and n − 2, and the number of interior cells
of dimension n−2 in the cubical complex Q associated with O. This formula was
used to obtain some combinatorial relations for digital curves [6,11]. Relations
c Springer Nature Switzerland AG 2018
R. P. Barneva et al. (Eds.): IWCIA 2018, LNCS 11255, pp. 3–16, 2018.
https://doi.org/10.1007/978-3-030-05288-1_1
4 L. Čomić
between the dimension of a hypersurface (and in particular a digital hyperplane)

and the types of gaps the hypersurface may possess [6,8], and good pairs of
adjacency relations in nD [8] were established.
The other formula [39] expresses the number of (n − 2)-gaps in O through
the number of boundary cells in Q of dimension n − 1 and n − 2. It is obtained
by defining several new notions in the discrete space and deriving many inter-
esting relations between various types of cells in Q. The number of 0-gaps in
2D, obtained through the 2D specialization of this formula, together with the
number of 2-, 1- and 0-cells in Q, was related to the dimension of the 2D digital
object O [40]. A relation between the dimension and the Euler characteristic of
2D digital objects was also established [12].
The contributions of this paper are:
– Several new formulae for the number of 0-gaps in 2D, obtained from the known
formulae for the Euler characteristic of a 2D digital object O [25,43,45] and
the relation [9] between the number of gaps in O and its Euler characteristic.
– Two alternative, short and intuitive proofs for one [39] of the two equivalent
formulae for the number of (n − 2)-gaps in nD digital objects. One proof is
combinatorial, and the other is graph theoretical.
2 Preliminaries
We introduce some basic notions on the cubical grid [31,32], on gaps in digital
objects in the cubical grid [6,9,24,38] and on the Euler characteristic of such
objects in 2D [32].
2.1 The Cubical Grid

Definition 1. An nD cubical grid is a set of closed unit n-cubes (voxels) cen-
tered at points in Zn , with faces parallel to the coordinate planes. The naturally
associated (cubical) cell complex is composed of all voxels, and all their k-faces
(k-cells), 0 ≤ k ≤ n − 1.
Different types of adjacency relation are defined between the voxels (n-cells) in
the grid, depending on their intersection.
Definition 2. Two voxels are k-adjacent if they share a common k-cell. They
are strictly k-adjacent if they are k-adjacent but not (k + 1)-adjacent.
In 2D, two pixels (2-cells) that share an edge or a vertex are 1- or 0-adjacent,
respectively. In 3D, two voxels that share a square face, an edge or a vertex are
2-, 1- or 0-adjacent, respectively.
Combinatorial coordinate system is naturally defined for the cubical grid [33].
It addresses grid cells of all dimensions and enables easy navigation between them
through integer arithmetics. We give some basic properties of cell coordinates
and examples of the topological relations that will be used in the sequel. To
obtain integer coordinate values for all cells, the grid is rescaled by factor 2 in
all coordinate directions.
On Gaps in Digital Objects 5
Definition 3. Each cell in the cubical grid is assigned the combinatorial coor-
dinates equal to the double of the Cartesian coordinates of its (bary)center.
A k-cell has k even and n − k odd coordinates. A voxel (n-cell) has n even, and
a vertex (0-cell) has n odd coordinates.
The dimension, spatial position and relative orientation of a cell are encoded
in its coordinates. For example, an n-tuple consisting of one even and n − 1
odd numbers represents an edge in the combinatorial coordinate system. The
Cartesian coordinates of its center are obtained by dividing the n-tuple by 2. If
the ith coordinate is even, the edge is parallel to the ith coordinate axis.
Topological incidence and adjacency relations between cells can be easily
retrieved from the coordinate values.

Proposition 1. Each k-cell e is bounded by 2k−i ki i-cells, 0 ≤ i ≤ k, and

bounds 2j−k n−kj−k j-cells, k ≤ j ≤ n.
The boundary cells are obtained by changing k − i even coordinates of e by ±1.

The coboundary cells are obtained by changing j − k odd coordinates of e by
±1. For example, a voxel is bounded by 2n (n − 1)-cells, that are obtained by
changing one of the voxel coordinates by ±1, and fixing the remaining n − 1
coordinates.
An (n−1)-cell is bounded by 2(n−1) (n−2)-cells, that are obtained by fixing
the odd coordinate and changing one of the remaining n − 1 even coordinates
by ±1. It bounds two voxels, that are obtained by changing the odd coordinate
of the (n − 1)-cell by ±1.
An (n − 2)-cell has two odd coordinates and n − 2 even ones. It is incident
to four voxels, that are obtained by changing each of the two odd coordinates
by ±1, and to four (n − 1)-cells, that are obtained by changing by ±1 one and
keeping the other of the two odd coordinates.
2.2 Gaps in Digital Objects
Definition 4. An nD digital object O is a finite set of voxels in the cubical

grid. The associated cubical complex is denoted as Q. It consists of all voxels in
O and all their k-dimensional faces.
The number of k-faces (k-cells) in Q is denoted as ck . The voxels in O are called

black (object) voxels. The voxels in the complement Oc of O are called white
(background).
A 2n−k × 1k block of voxels is called a 2n−k 1k -block, 0 ≤ k ≤ n. The 2n−k 1k -
block Bk (e) centered at a k-cell e consists of 2n−k voxels incident to e.
Definition 5. A pair of strictly k-adjacent voxels through a k-cell e is called a

k-tandem over e, 0 ≤ k ≤ n − 1.
Definition 6. An nD digital object O has a k-gap at a k-cell e if Bk (e)\O is a

k-tandem over e.
6 L. Čomić
An object O has an (n − 2)-gap at an (n − 2)-cell e if two (out of four) voxels

incident to e (in the 22 1n−2 -block Bn−2 (e)) are black and strictly (n−2)-adjacent
through e (and the other two are white and strictly (n − 2)-adjacent through e).
Thus, the black and white voxels alternate cyclically around the (n − 2)-gap e.
In 2D, a 0-gap occurs at a vertex that is incident to two strictly 0-adjacent
white pixels (and two black ones). In 3D, a 1-gap occurs at an edge incident to
two strictly 1-adjacent white voxels (and two black ones). A 0-gap occurs at a
vertex incident to two strictly 0-adjacent white voxels (and to six black ones).
The number of k-gaps in an object is denoted as gk .
Definition 7. A boundary (free) k-cell in Q, 0 ≤ k ≤ n − 1, is a k-cell incident

both to a voxel in O and a voxel in Oc . An interior cell is incident to voxels in
O only.
A k-cell e in Q is interior if the 2n−k 1k -block Bk (e) centered at e is contained

in O. Otherwise, e is a boundary k-cell [10,39]. The number of interior and
boundary k-cells in Q is denoted as ck and c∗k , respectively, and
ck = ck + c∗k .
If an nD object O has an (n−2)-gap at an (n−2)-cell e, then e is a boundary

(n − 2)-cell in Q, and all four (n − 1)-cells incident to e are boundary (n − 1)-
cells in Q. For a non-gap boundary (n − 2)-cell e in Q, two out of four incident
(n − 1)-cells are boundary (n − 1)-cells in Q. These claims can be verified by
examining the possible configurations of the four voxels in the block Bn−2 (e)
[11,39], or by inspecting the combinatorial coordinates of the involved cells (see
Sect. 2.1).
2.3 The Euler Characteristic of 2D Digital Objects
The Euler characteristic is one of the basic topological descriptors of a shape. It

can be defined in two equivalent ways: through the topological properties related
to the connectedness of O and through the number of cells in the cubical complex
Q associated with O. In either case, its value depends on the chosen adjacency
relation. We define it here for 2D digital objects.
Two pixels (2-cells) p and q in a 2D object O are k-connected in O, k = 0, 1,
if there is a sequence of pixels in O, starting at p and ending at q, such that any
two consecutive pixels in the sequence are k-adjacent. Connected k-components
of O are maximal subsets of O with respect to k-connectedness. Their number
is denoted as ck . A hole is a finite connected component of the complement Oc
of O. If connected components of O are counted with respect to 0-adjacency,
then holes are counted with respect to 1-adjacency and vice versa. The number
of holes with k-adjacency for O and (1 − k)-adjacency for Oc is denoted as h1−k .
We denote as χk (O) the Euler characteristic with k-adjacency for black pixels
and (1 − k)-adjacency for white pixels, k = 0, 1.
Definition 8. The Euler characteristic χk (O), k = 0, 1, of a 2D digital object

O is equal to the number of connected components of O minus the number of
holes in O, i.e.,
χk (O) = ck − h1−k .
For a 2D digital object with 0-adjacency, i.e., for the associated cubical complex
Q, the Euler characteristic can be computed as the alternating sum of the number
ci of i-cells in Q, i = 0, 1, 2. For 1-adjacency, vertices exhibiting a 0-gap are
duplicated. Thus,
χ0 (O) = c0 − c1 + c2 ,
χ1 (O) = (c0 + g0 ) − c1 + c2 .
The computation of the Euler characteristic of a 2D object O is a widely
investigated research field. Many algorithms, and the corresponding formulae,
were proposed in the literature, both for 0- and for 1-adjacency relation.
Some algorithms are based on relations between the Euler characteristic and
the number of cells of various types in the complex Q [5,42,43,45] or in the dual
complex [14,28,48]. Some algorithms examine the boundary curve C (composed
of edges and vertices) of Q, and count the number of convex and concave vertices
in C [13,25,29,43,44]. Others are based on counting different pixel configurations
around the vertices in Q [25,47], or on the divide and conquer strategy [20,21].
Some are adapted to a specific data structure encoding the complex Q, such
as quad-tree [23], skeleton [22] or run-length encoding [2,3,20,21,37,41,48,49].
Some algorithms adopt the topological definition of the Euler characteristic,
and use a connected component labeling algorithm for counting the number of
connected components and the number of holes [26,27].
3 Related Work
We review the formulae proposed in the literature for the number of 0-gaps in
2D, 1-gaps in 3D and (n − 2)-gaps in nD digital objects.
3.1 0-Gaps in 2D Objects
Two equivalent [40] formulae were proposed for the number g0 of 0-gaps in a 2D
digital object O.
One [9] states that
g0 = c0 − 2(c2 + c0 − h1 ) + c0 ,
where c0 is the number of 0-components (maximal connected components of

black pixels with respect to 0-adjacency), and h1 is the number of 1-holes (max-
imal finite connected components of white pixels with respect to 1-adjacency).
The proof is by induction on the number of pixels. For the base case, the
gap-free object O consists of a single black pixel, and c0 = 4, c2 = 1, c0 = 1,
h1 = 0, c0 = 0. For the inductive step, all possible configurations of black and
8 L. Čomić
white pixels are examined in a 3 × 3 neighborhood of a pixel added to a digital

object with n pixels for which the formula is valid.
An alternative formula for the number of gaps in 2D [10] expresses g0 in
terms of boundary cells in Q as
g0 = c∗1 − c∗0 = c1 − c1 − c0 + c0 .
The proof is by induction on the number of pixels, and is based on examining

the possible 3 × 3 configurations of pixels.
Another proof [7,12] of the formula
g0 = c∗1 − c∗0
uses the fact that the graph composed of boundary vertices and edges of O is
Eulerian, and that each gap vertex is incident to four, and each non-gap vertex
is incident to two edges. Since edges and vertices alternate on the Eulerian cycle,
c∗1 = c∗0 + g0 .
Using the Euler formula
c0 − c1 + c2 = c0 − h1 ,
it follows that
g0 = h1 − c0 + c2 − c1 + c0 .
This relation was obtained independently in the context of calculating the num-
ber of holes in a 2D binary image [42]. The number of 0-gaps in 2D was related
to the dimension of a digital object O [40].
3.2 1-Gaps in 3D Objects
One formula was proposed [38] for the number g1 of 1-gaps in a 3D digital object
O, namely
g1 = 2c∗2 − c∗1 .
The proof is based on constructing a graph G = (N, A), and using that the
sum of vertex degrees is equal to twice the number of arcs. The nodes in N
correspond to the boundary 2-cells in Q, and two nodes in N are connected
through an arc in A if the corresponding 2-cells (square faces) share a common
1-cell (edge). Each
non-gap boundary 1-cell is incident to two boundary 2-cells,
and contributes 22 = 1 arc in A. Each 1-gap is incident to four boundary 2-

cells, and contributes 42 = 6 arcs. The degree of a node depends on whether
the corresponding 2-cell is incident to a 1-gap or not.
3.3 (n − 2)-Gaps in nD Objects

Two formulae were proposed in the literature for the number gn−2 of (n−2)-gaps
in an nD digital object O.
One [6,11] expresses the number of gaps through the total number of n-,
(n − 1)- and (n − 2)-cells, and the number of interior (n − 2)-cells in Q as
gn−2 = −2n(n − 1)cn + 2(n − 1)cn−1 − cn−2 + cn−2 . (1)
The other [39] expresses this number in terms of boundary (n − 1)- and (n − 2)-
cells in Q as
gn−2 = (n − 1)c∗n−1 − c∗n−2 . (2)
The proofs of both formulae rely on the regular structure of the cubical grid, in
which the number of cells in the boundary and coboundary of a given k-cell is
constant: each n-cell in Q is incident to 2n (n − 1)-cells in Q; each (n − 1)-cell is
incident to one or two n-cells, depending if it is a boundary or interior (n−1)-cell
in Q; each (n − 2)-cell in Q is incident to 0 (if it is an interior cell), 2 (if it is a
non-gap cell) or 4 (if it is an (n − 2)-gap) boundary (n − 1)-cells.
The equivalence of the two formulae was established [39], based on the fol-
lowing relation:
2ncn = cn−1 + cn−1 .
The relation follows from the fact that each of the cn n-cells (voxels) in Q is
bounded by 2n (n − 1)-cells. Each boundary (n − 1)-cell is incident to one voxel,
and each interior (n − 1)-cell is incident to two voxels [6,11] (see also Sect. 2.1).
Thus, boundary (n − 1)-cells are counted once, and interior (n − 1)-cells are
counted two times in 2ncn , i.e.,
2ncn = c∗n−1 + 2cn−1 = c∗n−1 + cn−1 + cn−1 = cn−1 + cn−1 , (3)
or equivalently
2ncn = 2cn−1 − c∗n−1 .
4 Some New Formulae for the Number of 0-Gaps in 2D

We propose several new formulae for the number of 0-gaps in 2D digital objects.
(1) We obtain the first one from the known formula [43]
1 ∗
χ1 = (c − 2c1 ) + c0
4 1
for the Euler characteristic χ1 , proposed as an extension to arbitrary objects
of the formula [5] valid for unit-width (without inner vertices) objects with
1-adjacency.
Let us consider a multigraph G = (N, A), whose nodes correspond to maxi-
mal connected 1-components of O, and the arcs correspond to gaps at which
10 L. Čomić
such components are (0-)connected. Let us denote as χ1 (Oj ) the Euler char-
acteristic of such component Oj . If we iteratively add the arcs in A to the
nodes in N , then each arc either connects two different connected compo-
nents of nodes in N , or it creates a loop connecting two nodes from the
same connected component of nodes in N (it creates a hole in G). In either
case, each arc (each 0-gap) decreases the Euler characteristic by 1. The final
graph G has the same Euler characteristic as the object O with 0-adjacency,
i.e.,
χ(G) = χ1 (Oj ) − g0 = χ0 (O),
j
and
g0 = χ1 (Oj ) − χ0 (O).
j
We use the Euler characteristic formula χ1 = 14 (c∗1 − 2c1 ) + c0 , and apply it
on each connected component Oj . Using the fact that each inner or boundary
cell in O is inner or boundary cell in some component Oj , we have
1 1 1
g0 = ( (c∗1 (Oj ) − 2c1 (Oj )) + c0 (Oj )) − χ0 (O) = c∗1 − c1 + c0 − χ0 (O).
j
4 4 2
Using the definition of χ0 as the alternating sum of i-cells, i = 0, 1, 2, we

get
1 1 5 1
g0 = c∗1 − c1 + c0 − c0 + c1 − c2 = c1 + c1 − c∗0 − c2 .
4 2 4 2
The same formula follows from g0 = h1 − c0 + c2 − c1 + c0 [7,12] and
4c2 = c∗1 + 2c1 (obtained by letting n = 2 in (3)).
(2) If we combine formula g0 = c0 − 2(c2 + c0 − h1 ) + c0 for the number of 0-gaps
in 2D with the definition of the Euler characteristic with 0-adjacency as an
alternating sum of the number of i-cells in O, i = 0, 1, 2, we obtain
g0 = 2c1 − c∗0 − 4c2 .
(3) One of the first algorithms [25] for the computation of the Euler character-
istic of a 2D digital object O counts the number of different pixel configu-
rations in the 2 × 2 blocks around the grid vertices. The configurations Q1 ,
Q3 and QD that affect the Euler characteristic are those having exactly one
black (exactly one white) pixel, with other three pixels being white (black),
and those having exactly two diagonally placed black pixels (and two white
ones), respectively. The former two configurations correspond to convex and
concave vertices in the boundary of O, respectively, and the latter ones cor-
respond to 0-gaps, i.e., |QD | = g0 . The Euler characteristic is computed as
follows:
1 1 1
χ0 (O) = |Q1 | + |Q3 | − g0 ,
4 4 2
1 1 1
χ1 (O) = |Q1 | + |Q3 | + g0 .
4 4 2
From this, we get

1 1
g0 = |Q1 | + |Q3 | − 2χ0 (O),
2 2
1 1
g0 = 2χ1 (O) − |Q1 | − |Q3 |,
2 2
and the obvious relation
g0 = χ1 (O) − χ0 (O).
The same relation can be obtained from χ0 (O) = c0 − c1 + c2 and χ1 (O) =

(c0 + g0 ) − c1 + c2 (see Sect. 2.3).
(4) Using the formula [45]
χ1 (O) = c0 − c1 + c2 ,
we obtain
g0 = c0 − c1 + c2 − χ0 (O).
This is equivalent to the well-known expression of the Euler characteristic
as the alternating sum of the number of i-cells in a complex, i.e.,
χ0 (O) = c0 − c1 + c2 ,
because ci = ci + c∗i , i = 0, 1, and g0 = c∗1 − c∗0 [10].
5 Two Alternative Proofs of Formula (2)
We give two new short proofs of formula (2), i.e., of the formula
c∗n−2 + gn−2 = (n − 1)c∗n−1 .
The first proof is combinatorial, the second one is based on graph theory. Both
proofs use the information on the number of incident cells of various dimensions
for a given cell, obtained in a straightforward manner from the combinatorial
coordinates, as detailed in Sect. 2.1.
(First Proof)
Note that c∗n−2 is the number of boundary (n − 2)-cells that may or may not
be (n − 2)-gaps. Thus,
c∗n−2 = ḡn−2
∗
+ gn−2 ,
∗
where we denoted as ḡn−2 the number of non-gap boundary (n − 2)-cells (called
also totally boundary cells [6,11] or nubs [39]).
Let us consider the set of all ordered pairs (f, e), where f is a boundary
(n − 1)-cell and e is a boundary (n − 2)-cell (non-gap or gap) incident to f .
There are c∗n−1 cells f and c∗n−2 = ḡn−2
∗
+ gn−2 cells e.
12 L. Čomić
Each boundary (n − 1) cell is incident to 2(n − 1) boundary (n − 2)-cells

[6,11,39]. Each boundary non-gap (n−2)-cell is incident to two, and each (n−2)-
gap is incident to four boundary (n − 1)-cells. Consequently, each boundary
(n − 1) cell is in 2(n − 1), each boundary non-gap (n − 2)-cell is in two and each
(n − 2)-gap is in four such pairs (f, e). Thus
2(n − 1)c∗n−1 = 2ḡn−2

∗
+ 4gn−2 ,
∗ ∗
(n − 1)cn−1 = ḡn−2 + gn−2 + gn−2 ,
(n − 1)c∗n−1 = c∗n−2 + gn−2 .
The existing proof [39] of formula (2) in essence reduces to this one. It uses
various interesting relations between different types of cells in Q obtained by
defining some new notions in the cubical grid.
(Second Proof)
Let us consider the graph G = (N, A), where the nodes in N correspond
to the boundary (n − 1)-cells. There are two types of arcs in A. The first type
is associated with non-gap boundary (n − 2)-cells, and the second is associated
with (n − 2)-gaps. Each non-gap boundary (n − 2)-cell is incident to two, and
each (n − 2)-gap is incident to four boundary (n − 1)-cells. The two black and
two white voxels incident to an (n − 2)-gap e in the block Bn−2 (e) alternate
cyclically around e. Thus, two of the four boundary (n − 1)-cells incident to e
are both incident to one of the two white voxels, and the other two of the four
boundary (n − 1)-cells are incident to the other white voxel.
We connect two nodes in N through an arc in A if the corresponding two
boundary (n − 1)-cells share a common boundary non-gap (n − 2)-cell, or if
they share a common (n − 2)-gap and they are both incident to the same white
voxel. Thus, each non-gap boundary (n−2)-cell generates one arc in A, and each
(n − 2)-gap generates two arcs in A. Each boundary (n − 1)-cell is connected to
exactly one (n − 1)-cell across each of its 2(n − 1) incident (n − 2)-cells.
There are c∗n−1 nodes in N and ḡn−2
∗
+ 2gn−2 arcs in A. The degree of each
node in N is equal to 2(n − 1) (the number of non-gap or gap (n − 2)-cells in
the boundary of the (n − 1)-cell corresponding to the node).
The sum of degrees of the nodes in N is equal to twice the number of arcs
in A, i.e.,
2(n − 1)c∗n−1 = 2(ḡn−2
∗
+ 2gn−2 ),
∗ ∗
(n − 1)cn−1 = ḡn−2 + gn−2 + gn−2 ,
(n − 1)c∗n−1 = c∗n−2 + gn−2 .
A similar idea of constructing the dual graph from boundary 2- and 1-cells
was used in the proof of the formula in the special case n = 3 [38]. The difference
is that in our graph G = (N, A), each (n − 2)-gap contributes only two (and not
six, as in the 3D case) arcs to A, and each node in N has degree 2(n − 1)
independently of whether the corresponding boundary (n − 1)-cell is incident to
some (n − 2)-gaps or not.
6 Conclusion and Future Work

Two research fields in the area of topological image analysis, namely the compu-
tation of the number of 0-gaps and the computation of the Euler characteristic
of 2D digital objects, are closely related. This is demonstrated by an expres-
sion [9] that links the number of 0-gaps in a 2D digital object with its Euler
characteristic.
Using this connection, we give several new formulae for the number of 0-gaps
in 2D, obtained from some known formulae for the Euler characteristic of a 2D
digital object O [25,43,45]. Alternatively, the formulae for the number of 0-gaps
can be used to obtain new relations between the Euler characteristic and the
number of cells of various types in the associated cubical complex.
We give two new short and intuitive proofs of one [39] of the two known
formulae for the number of (n − 2)-gaps in nD digital objects. The two proofs
rely on the information on the number of cells in the boundary and coboundary
of a given cell, readily obtained from the cell coordinates (see Sect. 2.1). Com-
binatorial coordinates were defined recently for some nontraditional 3D grids
(such as body centered cubic, face centered cubic and the diamond grids) [16–
19], alternative to the traditional cubic one, and were proven useful for standard
image processing tasks such as boundary extraction and computation of the
Euler characteristic [16,34].
The number of 1-gaps in 3D digital objects is well-understood, due to the
fact that each edge exhibiting a 1-gap is incident to exactly four boundary faces,
and all other boundary edges are incident to exactly two such faces. The com-
putation of the number of 0-gaps in 3D digital objects does not lend itself to
a straightforward generalization, as vertices exhibiting a 0-gap are not uniquely
characterized by the number of incident boundary cells. It would be interesting
to investigate the connection between the Euler characteristic and the number
of 0-gaps in 3D digital objects.
Acknowledgement. This work has been partially supported by the Ministry of Edu-
cation and Science of the Republic of Serbia within the Project No. 34014.
References
1. Andres, E., Acharya, R., Sibata, C.H.: Discrete analytical hyperplanes. CVGIP:
Graph. Model Image Process. 59(5), 302–309 (1997)
2. Bishnu, A., Bhattacharya, B.B., Kundu, M.K., Murthy, C.A., Acharya, T.: On-
chip computation of Euler number of a binary image for efficient database search.
In: Proceedings of the 2001 International Conference on Image Processing, ICIP,
pp. 310–313 (2001)
3. Bishnu, A., Bhattacharya, B.B., Kundu, M.K., Murthy, C.A., Acharya, T.: A
pipeline architecture for computing the Euler number of a binary image. J. Syst.
Archit. 51(8), 470–487 (2005)
4. Boutry, N., Géraud, T., Najman, L.: How to make nD images well-composed with-
out interpolation. In: 2015 IEEE International Conference on Image Processing,
ICIP 2015, pp. 2149–2153 (2015)
14 L. Čomić
5. Bribiesca, E.: Computation of the Euler number using the contact perimeter. Com-
put. Math. Appl. 60(5), 1364–1373 (2010)
6. Brimkov, V.E.: Formulas for the number of (n − 2)-gaps of binary objects in arbi-
trary dimension. Discrete Appl. Math. 157(3), 452–463 (2009)
7. Brimkov, V.E., Barneva, R.: Linear time constant-working space algorithm for
computing the genus of a digital object. In: Bebis, G., et al. (eds.) ISVC 2008.
LNCS, vol. 5358, pp. 669–677. Springer, Heidelberg (2008). https://doi.org/10.
1007/978-3-540-89639-5 64
8. Brimkov, V.E., Klette, R.: Border and surface tracing - theoretical foundations.
IEEE Trans. Pattern Anal. Mach. Intell. 30(4), 577–590 (2008)
9. Brimkov, V.E., Maimone, A., Nordo, G.: An explicit formula for the number of
tunnels in digital objects. CoRR abs/cs/0505084 (2005). http://arxiv.org/abs/cs/
0505084
10. Brimkov, V.E., Maimone, A., Nordo, G.: Counting gaps in binary pictures. In:
Reulke, R., Eckardt, U., Flach, B., Knauer, U., Polthier, K. (eds.) IWCIA 2006.
LNCS, vol. 4040, pp. 16–24. Springer, Heidelberg (2006). https://doi.org/10.1007/
11774938 2
11. Brimkov, V.E., Moroni, D., Barneva, R.: Combinatorial relations for digital pic-
tures. In: Kuba, A., Nyúl, L.G., Palágyi, K. (eds.) DGCI 2006. LNCS, vol. 4245,
pp. 189–198. Springer, Heidelberg (2006). https://doi.org/10.1007/11907350 16
12. Brimkov, V.E., Nordo, G., Barneva, R.P., Maimone, A.: Genus and dimension of
digital images and their time- and space-efficient computation. Int. J. Shape Model.
14(2), 147–168 (2008)
13. Chen, L.: Determining the number of holes of a 2D digital component is easy.
CoRR abs/1211.3812 (2012)
14. Chen, M., Yan, P.: A fast algorithm to calculate the Euler number for binary
images. Pattern Recogn. Lett. 8(5), 295–297 (1988)
15. Cohen-Or, D., Kaufman, A.E.: 3D line voxelization and connectivity control. IEEE
Comput. Graph. Appl. 17(6), 80–87 (1997)
16. Čomić, L., Magillo, P.: Repairing 3D binary images using the BCC grid with a
4-valued combinatorial coordinate system. Inf. Sci., to appear
17. Čomić, L., Nagy, B.: A topological coordinate system for the diamond cubic grid.
Acta Crystallogr. Sect. A 72(5), 570–581 (2016)
18. Čomić, L., Nagy, B.: A combinatorial coordinate system for the body-centered
cubic grid. Graph. Models 87, 11–22 (2016)
19. Čomić, L., Nagy, B.: A topological 4-coordinate system for the face centered cubic
grid. Pattern Recogn. Lett. 83, 67–74 (2016)
20. Dey, S., Bhattacharya, B.B., Kundu, M.K., Acharya, T.: A Fast algorithm for
computing the euler number of an image and its VLSI implementation. In: 13th
International Conference on VLSI Design (VLSI Design 2000), pp. 330–335 (2000)
21. Dey, S., Bhattacharya, B.B., Kundu, M.K., Bishnu, A., Acharya, T.: A Co-
processor for computing the Euler number of a binary image using divide-and-
conquer strategy. Fundam. Inf. 76(1–2), 75–89 (2007)
22. Dı́az-de-León S., J.L., Sossa-Azuela, J.H.: On the computation of the Euler number
of a binary object. Pattern Recognit. 29(3), 471–476 (1996)
23. Dyer, C.R.: Computing the Euler number of an image from Its quadtree. Comput.
Graph. Image Process. 13, 270–276 (1980)
24. Françon, J., Schramm, J.-M., Tajine, M.: Recognizing arithmetic straight lines
and planes. In: Miguet, S., Montanvert, A., Ubéda, S. (eds.) DGCI 1996. LNCS,
vol. 1176, pp. 139–150. Springer, Heidelberg (1996). https://doi.org/10.1007/3-
540-62005-2 12
25. Gray, S.: Local properties of binary images in two dimensions. IEEE Trans. Com-
put. 20, 551–561 (1971)
26. He, L., Chao, Y.: A very fast algorithm for simultaneously performing connected-
component labeling and Euler number computing. IEEE Trans. Image Process.
24(9), 2725–2735 (2015)
27. He, L., Chao, Y., Suzuki, K.: An algorithm for connected-component labeling, hole
labeling and Euler number computing. J. Comput. Sci. Technol. 28(3), 468–478
(2013)
28. He, L., Yao, B., Zhao, X., Yang, Y., Chao, Y., Ohta, A.: A graph-theory-based
algorithm for Euler number computing. IEICE Trans. 98–D(2), 457–461 (2015)
29. Imiya, A., Eckhardt, U.: The Euler characteristic of discrete object. In: Ahronovitz,
E., Fiorio, C. (eds.) DGCI 1997. LNCS, vol. 1347, pp. 161–174. Springer, Heidelberg
(1997). https://doi.org/10.1007/BFb0024838
30. Kenmochi, Y., Imiya, A.: Combinatorial topologies for discrete planes. In: Nyström,
I., Sanniti di Baja, G., Svensson, S. (eds.) DGCI 2003. LNCS, vol. 2886, pp. 144–
153. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-39966-7 13
31. Klette, R., Rosenfeld, A.: Digital Geometry. Geometric Methods for Digital Picture
Analysis. Morgan Kaufmann Publishers, San Francisco (2004)
32. Kong, T.Y., Rosenfeld, A.: Digital topology: introduction and survey. Comput.
Vis. Graphi. Image Process. 48(3), 357–393 (1989)
33. Kovalevsky, V.A.: Geometry of Locally Finite Spaces (Computer Agreeable Topol-
ogy and Algorithms for Computer Imagery). Editing House Dr. Bärbel Kovalevski,
Berlin (2008)
34. Lachaud, J.-O.: Coding cells of digital spaces: a framework to write generic digital
topology algorithms. Electron. Notes Discrete Math. 12, 337–348 (2003)
35. Latecki, L.J.: 3D well-composed pictures. CVGIP: Graph. Model Image Process.
59(3), 164–172 (1997)
36. Latecki, L.J., Eckhardt, U., Rosenfeld, A.: Well-composed sets. Comput. Vis. Image
Underst. 61(1), 70–83 (1995)
37. Lin, X., Sha, Y., Ji, J., Wang, Y.: A proof of image Euler number formula. Sci.
China Ser. F: Inf. Sci. 49(3), 364–371 (2006)
38. Maimone, A., Nordo, G.: On 1-gaps in 3D digital objects. Filomat 22(3), 85–91
(2011)
39. Maimone, A., Nordo, G.: A formula for the number of (n − 2)-gaps in digital
n-objects. Filomat 27(4), 547–557 (2013)
40. Maimone, A., Nordo, G.: A note on dimension and gaps in digital geometry. Filo-
mat 31(5), 1215–1227 (2017)
41. Rosenfeld, A., Kak, A.C.: Digital Picture Processing. Academic Press, London
(1982)
42. Sossa, H.: On the number of holes of a 2-D binary object. In: 14th IAPR Interna-
tional Conference on Machine Vision Applications, MVA, pp. 299–302 (2015)
43. Sossa-Azuela, J.H., Cuevas-Jiménez, E.B., Zaldivar-Navarro, D.: Alternative way
to compute the Euler number of a binary image. J. Appl. Res. Technol. 9, 335–341
(2011)
44. Sossa-Azuela, J., Santiago-Montero, R., Pérez-Cisneros, M., Rubio-Espino, E.:
Computing the Euler number of a binary image based on a vertex codification.
J. Appl. Res. Technol. 11(3), 360–370 (2013)
45. Sossa-Azuela, J., Santiago-Montero, R., Pérez-Cisneros, M., Rubio-Espino, E.:
Alternative formulations to compute the binary shape Euler number. IET Comput.
Vis. 8(3), 171–181 (2014)
16 L. Čomić
46. Yagel, R., Cohen, D., Kaufman, A.E.: Discrete ray tracing. IEEE Comput. Graph.
Appl. 12(5), 19–28 (1992)
47. Yao, B., et al.: An efficient strategy for bit-quad-based Euler number computing
algorithm. IEICE Trans. Inf. Syst. E97.D(5), 1374–1378 (2014)
48. Zenzo, S.D., Cinque, L., Levialdi, S.: Run-based algorithms for binary image anal-
ysis and processing. IEEE Trans. Pattern Anal. Mach. Intell. 18(1), 83–89 (1996)
49. Zhang, Z., Moss, R.H., Stoecker, W.V.: A novel morphological operator to calculate
Euler number. In: Medical Imaging and Augmented Reality: First International
Workshop, MIAR, pp. 226–228 (2001)
Fixpoints of Iterated Reductions
with Equivalent Deletion Rules
Kálmán Palágyi(B) and Gábor Németh
Department of Image Processing and Computer Graphics,

University of Szeged, Szeged, Hungary
{palagyi,gnemeth}@inf.u-szeged.hu
Abstract. A reduction transforms a binary picture only by deleting

some black points to white ones. Sequential reductions traverse the black
points of a picture, and focus on the actually visited point for possi-
ble deletion, while parallel reductions delete all ‘deletable’ black points
simultaneously. Two reductions are called equivalent if they produce the
same result for each input picture. A deletion rule is said to be equiva-
lent if it provides a pair of equivalent sequential and parallel reductions.
Thinning and shrinking algorithms iterate reductions until no points are
deleted. If a black point is not deleted in an iteration step, it is taken
into consideration again in the next step. This work examine fixpoints of
iterated reductions with equivalent deletion rules, i.e., ‘survival’ points
whose rechecking is not needed in the remaining iterations.
Keywords: Digital geometry and topology · Equivalent reduction

Thinning
1 Introduction
A digital binary picture [5,9] on a grid is a mapping that assigns a color of
black or white to each grid element that is called a point. A reduction [2] trans-
forms a binary picture only by changing some black points to white ones, which
is referred to as deletion. Sequential reductions focus on a single black point
for possible deletion at a time as it is illustrated in Algorithm 1, while parallel
reductions can delete all black points from a picture that satisfy their deletion
rules simultaneously, see Algorithm 2. Iterated reductions play a key role in var-
ious topological algorithms, e.g. thinning [3,7,17] (i.e., a layer-by-layer erosion
for approximating skeleton-like features in a topology–preserving way) or reduc-
tive shrinking [2] (i.e., that is capable of producing a minimal structure that is
topologically equivalent to the original object).
Reductions generally classify the set of black points B into two subsets:
elements of the constraint set C(B) ⊆ B may not be deleted, and the set of
interesting points X = B \ C(B) are formed by the potentially deletable points.
The deletion rule R associated with the reduction in question is evaluated only
for the elements in X, and black points in C(B) are not taken into consideration.
c Springer Nature Switzerland AG 2018
R. P. Barneva et al. (Eds.): IWCIA 2018, LNCS 11255, pp. 17–27, 2018.
https://doi.org/10.1007/978-3-030-05288-1_2
18 K. Palágyi and G. Németh
Algorithm 1. Sequential reduction (thinning/shrinking iteration step)

Input: set of black points B,
constraint set C(B),
permutation Π of set B \ C(B), and
deletion rule R
Output: set of black points SB
// specifying the set of interesting points X
X = B \ C(B)
// initializing the set SB
SB = B
// traversal of set X according to permutation Π
foreach p ∈ X do
if R ( SB ∩ SR (p), C(B) ∩ SR (p) ) = true then
// deletion of the single point p
SB = SB \ {p}
Algorithm 2. Parallel reduction (thinning/shrinking iteration step)

Input: set of black points B,
constraint set C(B), and
deletion rule R
Output: set of black points P B
// specifying the set of interesting points X
X = B \ C(B)
// specifying the set of deletable points D
D = { p | p ∈ X and R ( B ∩ SR (p), C(B) ∩ SR (p) ) = true }
// simultaneous deletion of all points in D
PB = B \ D
A sequential reductions (see Algorithm 1) requires a permutation of the inter-

esting points, since the produced output may depend on the order in which the
points are selected by the foreach loop. In contrast, the output picture produced
by a parallel reduction is uniquely determined by Algorithm 2. For practical pur-
poses it is assumed that all input pictures are finite (i.e., they contain finitely
many black points).
A deletion rule R is a mapping that assigns a value of true or false to all
possible point configurations in the support of R. The support [3] of R applied at
a point p is a minimal set of points whose values determine whether p is deleted
by R. In Algorithms 1 and 2, the support of deletion rule R with respect to
an interesting point p is denoted by SR (p). Note that all existing thinning and
shrinking algorithms use local supports with ‘small’ diameters.
An interesting point p ∈ X is deletable by deletion rule R from the set of
points Y ⊆ B with the constraint set C(B), if R(Y ∩SR (p), C(B)∩SR (p)) = true.
If R(Y ∩ SR (p), C(B) ∩ SR (p)) = false, then point p is called non-deletable by R.
Note that Y = B in parallel reductions (see Algorithm 2), and Y = SB ⊆ B in
Another random document with
no related content on Scribd:
expédition de l’autre côté du fleuve et amena les députés des
« régiments » de la rive droite à se déclarer pour la Moscovie et à le
reconnaître pour hetman. Dorochenko, incapable de continuer la
lutte, fit, après deux ans de résistance, sa soumission à
Samoïlovitch (1676).
Les Turcs avaient laissé passer le moment favorable. Ils
tentèrent encore quelques efforts pour conserver l’Ukraine de la rive
droite, en y plaçant d’autres hetmans. Mais c’étaient des gens sans
importance et manquant de prestige, qui ne purent entreprendre rien
de sérieux.
Ce pays, qui, un demi-siècle auparavant, avait été le foyer de la
vie ukrainienne, était devenu, par suite des crises qu’il avait
traversées, presque désert. Entre 1670 et 1680, une partie de sa
population s’était réfugiée sur la rive gauche du fleuve, l’autre partie
y avait été transportée de force. Quelques années plus tard on
essaya avec quelques succès d’y implanter de nouveau les
organisations cosaques. Mais ce territoire redevint l’objet de litiges
entre la Moscovie, la Pologne et la Turquie : il fallut l’évacuer encore
une fois dans la deuxième décade du XVIIIe siècle.
XXV.
L’époque de Mazeppa.
Pendant que l’Ukraine de la rive droite avait à subir de si terribles

catastrophes, la vie nationale venait se concentrer sur la rive gauche
du Dniéper, dans l’Hetmanat, comme on l’avait surnommé, qui
menait une existence beaucoup plus tranquille. Depuis l’insurrection
contre la Moscovie en 1668, jusqu’à la catastrophe de 1708, dont
nous parlerons plus loin, il n’y eut ici, dans cette période de 40 ans,
aucune perturbation grave. On fit bien quelques petits coups d’état,
à l’occasion du changement d’hetman, quelques menues
insurrections, mais rien qui causât de grands changements dans la
vie publique.
La Moscovie poursuivait toujours sa politique centralisatrice et
profitait de toutes les occasions pour restreindre l’autonomie
ukrainienne. A chaque élection de l’hetman on renouvelait les pactes
fixant les rapports de l’Ukraine à la Moscovie — à cette époque-là
cela se faisait sous la forme d’un traité international — et les
représentants du tzar y introduisaient chaque fois de nouvelles
restrictions.
Lorsque le métropolite de Kiev mourut, en 1684, le
gouvernement moscovite réussit à obtenir de l’hetman, qu’on élirait à
sa place un homme qui reconnaîtrait l’autorité du patriarche de
Moscou, et puis, par l’intermédiaire de la Porte, on obligea le
patriarche de Constantinople à sanctionner cet état de choses.
Toutes ces immixtions dans la vie ukrainienne n’étaient pas sans
exciter du dépit. Les Moscovites, en effet, étaient considérés comme
des barbares : leurs mœurs plus rudes, les formes sévères de leur
vie publique, l’atrocité de leurs châtiments corporels, l’affreux
bannissement en Sibérie, tout cela provoquait l’horreur et la
répugnance.
Néanmoins, la population n’avait plus de force de résistance et
les gens au pouvoir, les hetmans eux-mêmes, Samoïlovitch et puis
Mazeppa, prenaient soin de rester en bons termes avec le
gouvernement moscovite et de s’assurer son appui, afin de bien
tenir en mains la population ukrainienne. De leur côté, les agents du
tzar, instruits par l’insurrection de 1668, se gardaient bien d’exciter
les susceptibilités par des immixtions trop brusques et faisaient
exécuter leurs desseins politiques par des mains ukrainiennes.
C’est ainsi que se passa cette période de 40 ans, qui marqua
l’affaiblissement graduel des libertés du pays, tout en laissant à la
vie nationale des possibilités de développement. Le résultat s’en
manifeste au tournant du siècle, à l’époque de Mazeppa (1687–
1709), quoique tout se préparât déjà dans les vingt années
précédentes, au temps de Mnohohrichny et de Samoïlovitch.
Les chefs des cosaques commençaient à former une aristocratie,
quoique sans prérogatives légalement définies. Convaincus de leur
impuissance contre la politique moscovite, ils cherchent à conserver
l’autonomie du pays par des voies pacifiques. Au lieu de heurter de
front leurs protecteurs, ils se servent de leur aide pour consolider
leur propre position sociale et leurs droits sur les terres qu’ils avaient
occupées, ainsi que sur les populations qui venaient s’y installer.
C’est, en effet, sur ces territoires que s’arrêtait le flot des fuyards
venant, comme nous l’avons vu, de la rive droite du Dniéper.
L’aristocratie cosaque essaya de prendre le rôle, sous une forme
quelque peu mitigée, de la noblesse polonaise. La vie se
reconstruisait ici sur les principes du droit polonais, principalement
sur les prescriptions du deuxième statut lithuanien et sur le code de
droit municipal (droit de Magdebourg), qui restaient en usage dans
les tribunaux locaux, à défaut d’une codification du droit national.
Ces prétentions sociales des officiers cosaques excitaient la
méfiance de la population et cette méfiance paralysait toutes les
tentatives qu’on aurait pu faire contre la politique du gouvernement
de Moscou. Celui-ci tirait avantage de ces discordes : il ne se faisait
pas faute de menacer ouvertement ce nouveau patriciat de soulever
contre lui les populations, au cas où il s’engagerait dans la voie de
l’opposition. Mais en même temps, il encourageait les tendances
nobiliaires des chefs cosaques, car elles se trouvaient en accord
avec la structure sociale de l’état moscovite, pour qui une classe de
paysans libres était une perpétuelle menace et parce que
l’asservissement des populations entretiendrait en Ukraine des luttes
intestines, qui feraient oublier les aspirations nationales.
Les hetmans choisis par les chefs cosaques, Samoïlovitch et
Mazeppa, étaient en quelque sorte les champions de leur
programme social. La Sitche, où s’assemblait toujours tout ce qu’il y
avait de plus radical et de plus intransigeant dans la nation, formait
opposition, mais elle n’était plus en état de mener une lutte active
contre « le nouvel asservissement ». La tentative de Petryk
Ivanenko, figure intéressante, qui, à la fin du XVIIe siècle, voulut
« renouveler l’œuvre de Chmelnytsky », ne put y trouver un appui
efficace.
Cette dangereuse évolution intérieure sapait à la base
l’épanouissement intellectuel et national qui marqua cette époque.
L’hetmanat de Mazeppa est remarquable à cet égard.
C’était un personnage assez étranger au monde ukrainien. Il était
arrivé par des voies obscures et tortueuses ; il avait en fin de compte
acheté l’hetmanat du prince Galitzine, le favori du moment de la
régente moscovite. Mazeppa n’était pas populaire dans le peuple,
qui le considérait comme une créature du tzar et des seigneurs, un
véritable « liakh » polonais. Il ne le savait que trop et c’est peut-être à
dessein qu’il se prit à jouer si ostensiblement au mécène des arts,
au patron de l’église. Aucun hetman, avant ou après lui, ne s’est
montré aussi libéral. Il faisait des cadeaux aux cathédrales et aux
monastères célèbres, bâtissait des églises, leur donnait de saintes
icônes, des ornements somptueux, des vases précieux, pour
montrer à tous les regards et implanter dans la mémoire du peuple
son dévouement à l’église et aux idées nationales.
C’est pourquoi, même après que l’église, qu’il avait si
généreusement comblée, eut été obligée, par ordre du tzar, de
prononcer solennellement contre lui l’anathème et d’en faire
disparaître tout souvenir, l’Ukraine n’en était pas moins pleine de
Mazeppa, des témoignages de sa munificence envers l’église ; il
restait intimement lié avec tout ce qui constituait alors le trésor
intellectuel national.
Deux des monastères les plus populaires de Kiev, celui des
cavernes et celui de Saint-Nicolas, lui doivent des bâtiments qui en
sont restés l’ornement. Pour la vieille confrérie de cette ville, il bâtit
une église et édifia la maison de l’Académie. Cette école supérieure
ukrainienne reçut alors sa dénomination officielle « d’Académie » du
gouvernement moscovite, qui depuis longtemps, il est vrai, songeait
à l’abolir, mais qui, sur instances de Mazeppa, lui octroya quelques
privilèges. La corporation de ce collège fit souvent appel à la
générosité de l’hetman, qu’elle qualifiait de patron et de protecteur.
Les manifestations de l’activité intellectuelle ukrainienne à cette
époque présentent des traits intéressants ; il faut la louer surtout
d’avoir puisé à pleines mains dans le fond populaire, en même
temps qu’elle se répandait dans les masses. Les influences de
l’Europe Occidentale — l’Italie, l’Allemagne, la Flandre — s’unifient
alors une fois de plus aux anciennes traditions byzantines
pieusement conservées par l’église et la littérature, qui se trouvent
rafraîchies et régénérées par le courant de la Renaissance. On se
plut à évoquer la mémoire des fondateurs et des protecteurs des
trésors sacrés de la nation, on vanta les cosaques comme les
héritiers directs et les continuateurs de la gloire et des œuvres des
princes kiéviens.
Dans une grande mesure se faisaient également sentir les
apports de l’Orient, qui arrivaient par la Moldavie, la Turquie, la
Crimée, par les colonies arméniennes et les vives relations avec les
monastères des Balkans. Ils se manifestent surtout dans l’art
décoratif, tandis que dans l’architecture dominent les influences
occidentales. (Il est, par exemple, intéressant de noter cette variante
ukrainienne du baroque italien, qui a laissé des traces même dans
les constructions religieuses en bois du peuple de l’Ukraine.) Il
faudrait encore mentionner l’art graphique, la gravure et la
typographie.
La littérature se nourrit largement des luttes héroïques pour la
libération nationale, des exploits de cosaques et avant tout de
Bohdan Chmelnytsky. Ce sont des récits d’histoire, des mémoires et
des œuvres poétiques. A cette époque se crée un nouveau style
épique, ce que l’on a appelé les « douma », espèces de récitatifs
pathétiques et rythmés. On verse dans ce moule d’anciens motifs
poétiques sur les cosaques, et, en particulier, se forme le cycle des
guerres de Chmelnytsky. Ces « douma » ont une haute valeur
poétique, mais, n’ayant pas été fixées à l’époque par l’imprimerie,
les folkloristes durent les recueillir plus tard de la bouche des bardes
populaires ou « kobzar ».
C’est alors que la poésie lyrique populaire acquiert les caractères
qui lui sont restés jusqu’à nos jours et que la musique ukrainienne
s’enrichit des dons de l’occident, qu’elle s’appropriera originalement
et à qui elle donnera une diversité extraordinaire.
La civilisation moscovite était encore bien peu avancée et ne
pouvait influencer l’Ukraine. Elle n’y prétendait pas d’ailleurs,
quoique la censure ecclésiastique se fût mise à fonctionner dès que
le métropolite de Kiev se fut soumis au patriarche de Moscou. Au
contraire, dès le milieu du XVIIe siècle, ce sont des membres du
clergé ukrainien, qui jouent en Moscovie le rôle d’éducateurs et de
flambeaux intellectuels.
XXVI.
L’alliance avec la Suède et
l’intervention turque.
La tranquillité plus ou moins profonde de la vie ukrainienne, son

évolution sociale et politique furent troublées par le tourbillon
soulevé par l’énergique activité de Pierre le Grand, qui, vers 1690,
prit en main le pouvoir. Soit qu’il fît la guerre, soit qu’il tramât
d’autres projets, toujours il puisait sans compter dans les ressources
de l’Ukraine ; il lui prenait ses forces vives ou ses richesses
économiques, sans avoir égard à la vieille pratique de l’autonomie,
sans tenir compte des moyens de la population. Les cosaques
eurent à supporter les fatigues de ses guerres contre la Turquie, puis
contre la Suède et contre le parti suédois en Pologne. Il les envoyait
travailler à bâtir les forteresses, où ils avaient à subir les mauvais
traitements des chefs moscovites. Il n’est pas étonnant qu’une
irritation profonde s’emparât de la population, tant contre le
gouvernement du tzar que contre les autorités ukrainiennes, qui,
pleines de complaisance pour Moscou, ne savaient la protéger
contre ses exigences.
En même temps, Pierre ne cachait pas qu’il ne reculerait devant
aucun changement radical en Ukraine, à condition qu’il favorisât ses
projets. Ne voulut-il pas un jour donner ce pays au fameux
Marlborough pour que ce dernier décidât l’Angleterre à entrer en
guerre contre la Suède ? Ne voulut-il pas récompenser Mazeppa, en
lui octroyant le titre de prince de l’empire romain ?
Il y avait de quoi jeter l’alarme dans les milieux ukrainiens
dirigeants, mais Mazeppa, très prudent, ne risquait aucun pas qui
pût le compromettre. A tout hasard, il entretenait en grand secret des
relations avec le parti suédois, pour le cas où la victoire favoriserait
le roi Charles XII, mais il avait soin de garder les apparences d’une
grande loyauté envers son protecteur.
Les choses en étaient là, lorsque, tout à coup, dans l’automne de
1708, Charles décida de transporter le théâtre de ses opérations
contre la Russie en Ukraine. Cela mit les autorités du pays dans un
grand embarras. Les succès de Charles avaient beaucoup haussé
sa réputation et il paraissait bien que le tzar ne pourrait l’emporter
sur un tel adversaire. Était-il raisonnable de s’attacher à lui, d’autant
plus que le régime moscovite s’était attiré une telle inimitié dans le
pays qu’on ne pouvait douter qu’à la première victoire de Charles la
population ne se soulevât contre la Moscovie et ses partisans ?
D’autre part, l’arrivée des Suédois réveillait de vieux souvenirs
d’indépendance. Un demi-siècle auparavant, les patriotes ukrainiens
avaient, comme nous l’avons vu, placé leurs espoirs dans le grand-
père de ce même Charles qui venait aujourd’hui. Alors, les
aspirations ukrainiennes n’avaient été déçues que par des
circonstances défavorables. La Suède était le seul pays qui n’eût
pas trahi leur cause : son abandon prématuré n’était pas venu d’un
manque de bonne volonté. N’était-ce pas le devoir des fils et petits-
fils de ceux qui étaient prêts à s’engager avec Charles X de tenter,
avec l’aide de la Suède, de regagner leurs libertés ?
Les circonstances exigeaient une prompte décision : Mazeppa,
sans avoir eu le temps de bien peser le pour et le contre, se décida
à embrasser le parti de Charles XII, et vers la fin du mois d’octobre il
arriva, avec le peu de troupes qu’il put ramasser, au quartier du roi
de Suède.
On s’entendit sur les conditions d’alliance. On posa en principe
que « l’Ukraine des deux rives du Dniéper avec l’armée zaporogue
et le peuple petit-russien, devaient être pour toujours libres de toute
domination étrangère ». Ni la Suède, ni toute autre puissance ne
pouvait « soit comme prix de la délivrance, ou d’un protectorat, soit
pour tout autre motif quelconque, prétendre à un droit de domination
sur l’Ukraine et l’armée zaporogue, ou prétendre à une prérogative,
ou à un droit de vassalité. Nul n’y doit lever des revenus ou tributs
de quelque manière que ce soit. Nul ne peut lui reprendre ou
occuper les places et forteresses obtenues de la Moscovie par les
armes ou par les traités. L’intégrité des frontières, l’inviolabilité des
libertés, droits et privilèges, doivent être respectées pour que
l’Ukraine puisse en jouir sans aucune restriction [20] . »
[20] Ce sont ces principes qui furent incorporés deux
ans plus tard dans la charte d’élection du successeur de
Mazeppa. Voir plus bas.
Mais les hommes d’état ukrainiens s’aperçurent bientôt qu’ils

s’étaient trompés dans leurs calculs.
D’abord, par trop de circonspection et voulant conserver jusqu’au
bout sa liberté d’action, Mazeppa n’avait pas su préparer la
population à ce brusque changement. Avant qu’elle en eût eu vent,
le tzar avait pris ses précautions pour qu’elle ne pût pas suivre
l’exemple de l’hetman. Ses troupes se trouvaient déjà sur le territoire
ukrainien, terrorisaient le pays par des atrocités inouïes et
massacraient sans pitié ceux qu’elles soupçonnaient d’avoir des
inclinations pour le parti adverse. La plus grande partie des troupes
ukrainiennes furent incorporées dans l’armée moscovite et durent y
rester. La population, tombée sans défense entre les mains du
gouvernement moscovite, fut obligée, bon gré mal gré, de se
montrer loyale.
Les proclamations que Mazeppa et Charles lui adressaient,
accusant la politique arbitraire et astucieuse de Moscou, ne lui
arrivaient même pas, tandis que Pierre avait toute facilité de
travailler l’opinion publique en sa faveur. Sur son ordre, le clergé
prononça solennellement contre Mazeppa l’anathème,
excommuniant ainsi l’hetman qui avait le plus mérité de l’église. Du
reste, dans ses manifestes aux populations ukrainiennes, le tzar
l’inculpait de crimes inouïs.
Il en résulta que Mazeppa ne put apporter à Charles une aide
efficace. Le seul appoint important fut la forte et excellente armée de
la Sitche Zaporogue.
La Sitche avait alors à sa tête un « Kochovy » éminent,
Constantin Hordienko-Holovko, un des plus fidèles et des plus
énergiques défenseurs de ses traditions démocratiques. Il s’était par
conséquent montré l’adversaire de la politique moscovite et du
régime de Mazeppa. Mais dès que ce dernier se déclara pour
Charles contre Moscou, il devint immédiatement son adhérent et,
malgré les difficultés de la tâche, il parvint à gagner les cosaques de
la Sitche à ce nouveau défenseur des libertés ukrainiennes.
Ils se joignirent à l’armée de Charles au commencement de
l’année 1709. Il en résulta que le roi de Suède, pour prendre contact
direct avec leur capitale, s’engagea trop loin dans le sud et vint se
heurter à Poltava, qui arrêta son élan. Entre temps la Sitche
Zaporogue, démunie de ses défenseurs, était cruellement châtiée
pour sa participation à cette campagne. Les troupes moscovites y
pénétrèrent, grâce aux indications d’un ancien Zaporogue, le colonel
Galagan, et massacrèrent tous ceux qu’ils y trouvèrent.
L’Ukraine Orientale de l’époque de Mazeppa
— — — frontière polonaise à partir de 1667.

— · — · — frontière orientale de l’Ukraine de l’Hetmanat.
— ·· — ·· — frontière tartare (frontière méridionale du
territoire Zaporogue).
· · · · · · · · · frontière septentrionale des « libertés
Zaporogues ».
chefs-lieux de régiments :
dix régiments de l’Hetmanat : Starodoub, Tchernyhiv,
Nijyn, Kiev, Péréïaslav, Prylouka, Loubny, Hadiatch,
Myrhorod, Poltava ;
cinq régiments de l’Ukraine Slobidska : Soumy, Akhtyrka,
Charkov, Ostrogojsk, Izium ;
centres des régiments ressuscités à la fin du XVIIe siècle :
Khvastiv (Fastov), Bohouslav, Korsoun.
On sait que Charles XII, pour avoir trop poussé vers le sud avec
une partie de son armée, perdit liaison avec les réserves qu’on lui
amenait, de sorte que ses troupes affaiblies et démoralisées furent
défaites près de Poltava, dans l’été de 1709. Il s’enfuit sur le
territoire turc, avec Mazeppa et quelques autres chefs. Un petit
nombre de cosaques les suivit et les Zaporogues de la Sitche
transportèrent leur résidence en pays tartare, non loin de
l’embouchure du Dniéper.
Charles s’installa à Bender et s’attacha à entraîner la Turquie
dans une nouvelle guerre contre la Moscovie ; ce à quoi il réussit.
Pendant ce temps Mazeppa mourut et les chefs cosaques
élurent à sa place le chancelier Orlyk. A cette occasion on élabora
une charte constitutionnelle fort intéressante. Son objet était de
mettre un frein aux tendances autocratiques des hetmans, qui
avaient commencé à se faire jour sous la protection de Moscou (ils
avaient adopté la formule : sic volo, sic jubeo, comme le dit le
document). La charte déterminait les formes de la représentation
législative cosaque, les assemblées périodiques des députés de
l’armée, les dépenses du trésor, etc.
Sûr de l’aide de Charles et de la Turquie et ayant à sa disposition
les forces Zaporogues, Orlyk, avec ses cosaques, se mit en devoir
d’arracher l’Ukraine aux griffes du tzar. Charles et le Khan jurèrent
de ne point faire la paix jusqu’à ce que son indépendance soit
assurée. La Turquie à son tour entra en guerre, en automne 1710. Il
sembla que les vœux des ukrainiens allaient se réaliser.
Parce qu’elle avait prêté ses forces à Charles et à Orlyk, Pierre
marcha en 1711 contre la Turquie. Il comptait sur l’appui du voïvode
de Moldavie, sur l’insurrection des chrétiens des Balkans et retomba
ainsi dans la même erreur que Charles.
Ayant traversé le Pruth, à la tête d’une armée insuffisante, il se
trouva cerné par des forces turques bien supérieures et fut forcé de
demander la paix. Charles et Orlyk purent maintenant espérer qu’ils
forceraient le tzar à renoncer à toutes ses prétentions sur l’Ukraine.
Mais Pierre trouva moyen d’acheter le Grand Vizir et le traité fut
rédigé de telle sorte que chacun pouvait l’interpréter à sa guise.
Charles, Orlyk et le sultan insistèrent pour que la Moscovie évacuât
l’Ukraine ; Pierre, sorti de ce mauvais pas, ne voulut rien entendre.
La guerre renouvelée n’aboutit pas à un meilleur résultat, car le
tzar persuada au sultan, au moyen d’arguments sonnants, d’adopter
son interprétation du traité, c’est-à-dire qu’il n’avait renoncé qu’à la
rive droite du Dniéper. Là-dessus, la Pologne, alliée de la Moscovie,
releva ses prétentions sur ce pays et les efforts d’Orlyk et des
cosaques de la Sitche pour s’en emparer restèrent vains. D’accord
avec la Pologne, la Moscovie, de 1711 à 1714, procéda à
l’évacuation de ces contrées où les cosaques s’étaient mis
volontairement sous le gouvernement de Mazeppa. Les troupes
moscovites, en se retirant, chassèrent la population ukrainienne au
delà du fleuve et ne laissèrent aux autorités polonaises que des
espaces dévastés.
Encore longtemps après que Charles fut rentré en Suède, Orlyk
parcourut les cours occidentales pour en obtenir du secours, mais
sans y réussir.
Les cosaques zaporogues demandèrent l’autorisation de
retourner dans leur pays, mais la Moscovie hésita longtemps à la
leur accorder in corpore, de crainte de rompre ses relations avec la
Turquie. Ce ne fut qu’en 1734, alors que tout faisait prévoir une
guerre avec la Porte, que le ban fut levé.
XXVII.
Dommages causés à la vie
ukrainienne par Pierre le Grand.
Comme nous l’avons vu, la plus grande partie du peuple

ukrainien ne participa en aucune façon, et pour cause, aux tentatives
de Mazeppa. Du petit nombre de cosaques qui l’avaient suivi,
beaucoup étaient retournés bientôt chez eux. Quant à l’aristocratie
cosaque, elle s’était en général pressée de l’abandonner en voyant
le tour que prenaient les affaires. Le tzar, d’ailleurs, avait proclamé
une amnistie pour ceux qui retourneraient de suite.
Par conséquent, les projets de Mazeppa étaient restés l’affaire
du petit groupe de personnes qui l’entouraient et des Zaporogues de
la Sitche, qui l’avaient suivi en connaissance de cause, au nom de
l’indépendance de l’Ukraine et en avaient été atrocement châtiés.
Tout le reste s’était hâté de témoigner sa loyauté, épouvanté par des
formes atroces de supplices encore nouvelles pour les Ukrainiens.
Toutefois le tzar, fidèle aux traditions centralisatrices, jugea bon
de profiter de cette « trahison » pour anéantir ce que l’Ukraine avait
encore gardé de libertés. Ses suppôts donnèrent aux faits et gestes
de l’hetman les proportions d’une trahison presque sans exemple,
égale à celle de Judas livrant le Christ. Le peuple ukrainien entier
devait en subir le châtiment.
D’abord, alors que le danger suédois n’était pas encore passé et
où tout mouvement hostile dans la population aurait pu avoir des
suites désastreuses, Pierre ne fit rien pressentir de ses intentions.
Loin de là, dans ses manifestes au peuple ukrainien il faisait parade
de ses sentiments envers lui, se servant d’une phraséologie
pathétique, assurant « qu’aucun peuple sous le soleil ne pouvait se
vanter de pareilles libertés et de tels privilèges » que ceux dont
jouissaient les Ukrainiens sous sa domination !
Il donna l’ordre d’élire un nouvel hetman à la place de Mazeppa,
mais sur ses indications, l’armée nomma le plus incapable des
colonels, Jan Skoropadsky. Quant à la confirmation des libertés
ukrainiennes, traditionnelle dans de pareilles occasions, il la remit
« à des temps plus tranquilles ». Il la donna, il est vrai, un peu plus
tard sur les instances de Skoropadsky et des chefs cosaques, mais
en fait il réduisit tous ces droits à néant.
Il plaça auprès de l’hetman un résident « pour régler ensemble
toutes les affaires d’un consentement mutuel, vu la récente
insurrection en Ukraine et la rébellion de la Sitche Zaporogue ». La
résidence de l’hetman fut transférée à Hloukhiv, sur la frontière de la
Moscovie, où furent installés deux régiments grands-russes. Puis
l’Ukraine se trouva envahie par les troupes du tzar, dont les chefs
coupaient et tranchaient dans le pays, sans avoir le moindre égard
aux autorités locales. Les cosaques ukrainiens, en dépit de tous les
usages, furent jetés dans des expéditions lointaines, ou employés
aux travaux de fortification et de terrassement, qui ne
correspondaient guère à leurs habitudes militaires. Ils périssaient par
milliers, à cause du climat et de la fatigue excessive des travaux,
dans les marais autour de Pétersbourg, qui se bâtissait alors,
comme on disait en Ukraine, « sur les os des cosaques », ou bien à
la construction du canal du Ladoga, à Astrakhan et à Derbent.
Partout ils avaient à subir d’horribles outrages et des peines
corporelles de la part des officiers et des surveillants moscovites.
Le tzar s’immisçait sans façon dans les affaires de l’Ukraine,
nommait aux fonctions sans le consentement et à l’insu même de
l’hetman ; il alla jusqu’à confier les postes de colonel, les plus
importants dans l’organisation ukrainienne, à des grands-russiens,
qui ne connaissaient autre chose que sa volonté.
Il ruina la vie économique du pays, par son système de douanes,
ses prohibitions et règlements, qui tendaient à assujettir tout le
commerce et l’industrie aux intérêts de la Grande Russie.
Dans le domaine intellectuel, Pierre le Grand, par son triste
ukase de 1720, décréta la prohibition de la langue ukrainienne, qui
pèsera plus ou moins pendant deux longs siècles sur la nation. Il
défendit de publier en Ukraine aucune espèce de livres, excepté des
livres religieux et encore ceux-ci devaient-ils seulement reproduire
des anciens textes et être soumis à la censure avant d’être publiés
dans la même forme que les livres grands-russiens, « afin qu’il n’y ait
aucune différence et aucun dialecte particulier ». Un censeur spécial
fut désigné, chargé d’examiner les publications ukrainiennes au
point de vue de la langue, pour qu’il n’y eût point de « dialecte
ukrainien ». Et il s’acquitta si bien de sa besogne que, quelques
années plus tard, les prières de Sainte Barbe, composées par le
métropolite de Kiev, ne purent être publiées qu’après avoir été
traduites en grand-russien.
Cet ukase, qui resta en vigueur sous les successeurs de Pierre,
abolit toute activité de la presse, mais surtout porta un coup mortel à
la langue ukrainienne littéraire, qui s’était formée aux XVIe et XVIIe
siècles. Elle se conserva en Ukraine occidentale, où la censure ne
pouvait l’atteindre, mais, dans la Grande Ukraine, elle fut
complètement remplacée par le russe dans l’usage officiel, tandis
que la langue populaire continuait à être parlée et écrite, mais sans
que ses productions pussent être conservées par la presse.
Tout en détruisant la vie ukrainienne et en jetant par ses
empiètements la confusion dans l’administration, le tzar ne manquait
pas d’en profiter pour la discréditer aux yeux des populations et
perdre dans leur estime les avantages de l’autonomie. Un pas
décisif dans ce sens fut fait, en 1722, lorsqu’il plaça auprès de
l’hetman le « collège petit russien », composé de six officiers russes
des garnisons de l’Ukraine, et présidé par le général de brigade
Veliaminoff. Ce collège devait contrôler l’activité de l’hetman et de
ses bureaux, voir tous les documents qui y entraient ou qui en
sortaient. Il devait percevoir et administrer les revenus de l’Ukraine,
surveiller la hiérarchie judiciaire, examiner les plaintes portées
contre toutes les instances judiciaires et administratives et surtout
avoir l’œil sur toutes injustices qui seraient causées aux cosaques et
aux paysans par la noblesse.
Pierre motivait ainsi sa réforme par son désir de prévenir les torts
commis envers le peuple, mettre fin aux acquisitions forcées, à
l’asservissement, aux injustices dans la perception des impôts et des
revenus du trésor et en même temps il réduisait à rien l’autonomie
de l’Ukraine. Il faisait de la démagogie, excitant les paysans et les
cosaques contre la noblesse, provoquant leurs plaintes, leur ouvrant
les tribunaux russes, avec comme suprême instance le sénat, pour
terroriser la noblesse cosaque et la tenir sans résistance entre ses
mains. Il la mettait aussi par là dans une mauvaise posture pour
jouer les champions des libertés ukrainiennes. Quand Skoropadsky
supplia le tzar de ne pas prêter foi aux calomnies qui circulaient sur
l’arbitraire de l’administration en Ukraine, le priant de ne pas attenter
aux libertés nationales, Pierre se contenta de porter à la
connaissance du peuple ses instructions au collège petit-russien, en
ayant soin de mettre en relief dans son manifeste les motifs
susmentionnés, qui semblaient n’être inspirés que par la haine des
injustices des chefs contre le peuple. Skoropadsky en mourut de
chagrin, mais cet évènement servit seulement d’occasion au tzar
pour faire un nouvel empiètement.
Il s’avisa d’abolir complètement le pouvoir de l’hetman et pour en
remplir les fonctions il manda au colonel Paul Poloubotok de s’en
charger avec quelques grands chefs cosaques, en s’entendant en
toutes choses avec Veliaminoff. En même temps l’Ukraine, qui
jusque-là avait réglé ses affaires avec la Moscovie par l’intermédiaire
du ministère des affaires étrangères, fut placée dans le ressort du
sénat, comme une simple province de la Russie.
Et quand les chefs cosaques se prirent à insister pour qu’il leur
fût permis d’élire un nouvel hetman, le tzar répondit qu’il fallait
remettre cette affaire jusqu’à ce que l’on trouvât un homme sûr, ce
qui ne serait du reste pas facile, puisque les hetmans, à l’exception
du premier et du dernier, Chmelnytsky et Skoropadsky, avaient tous
été des traîtres et qu’on ne l’importunât pas davantage à ce sujet
(1723). C’était fermer la porte à toutes réclamations ultérieures.
Néanmoins, les dispositions de l’ordonnance touchaient tellement
au vif les ukrainiens, qu’il était impossible de leur fermer la bouche
sur leur autonomie.
Veliaminoff commença à commander en maître en Ukraine et les
autres agents russes prirent le ton de leur chef. Le collège introduisit
des impôts comme il n’en avait jamais existé et disposa à son gré de
leur produit. Les colonels russes se permirent beaucoup plus de
licences que leurs collègues ukrainiens, de sorte que la population
ne trouva aucun soulagement dans le nouveau régime. Au contraire,
elle souffrit bien davantage des garnisons russes, tandis que les
cosaques continuaient à périr au canal du Ladoga, sur la Volga,
dans le Caucase et dans des expéditions lointaines. On évalue à
vingt mille le nombre de ceux qui moururent en cinq ans (1721–5),
sans compter ceux qui retournèrent chez eux complètement
infirmes.
Poloubotok, homme énergique et convaincu de la nécessité
d’une autonomie pour l’Ukraine, ne cessait avec les chefs de
dénoncer ces illégalités. Et pour désarmer les adversaires de ses
idées, il s’employait avec zèle à améliorer l’administration et la
justice, s’évertuant à faire disparaître les abus de l’aristocratie dont
savait si bien se servir le tzar. Il rédigea une instruction aux
tribunaux, qui instituait des collèges de juges, pour remplacer le
magistrat unique et qui fixait les diverses instances. La noblesse
cosaque reçut des ordres stricts contre l’exploitation abusive des
paysans dans leur service privé.
Toutefois ses efforts ne réussirent pas à gagner la sympathie du
tzar, qui tenait à son idée fixe et qui même se décida à mettre un
terme à l’action énergique de Poloubotok. Il le fit venir à Pétersbourg
avec les chefs ukrainiens les plus en vue, et envoya en même temps
presque tous les cosaques sur les frontières méridionales pour
parer, prétendit-il, à une attaque des Tartares, mais au fond pour
qu’il en restât le moins possible dans le pays. Entre temps,
Véliaminoff et le collège avaient fait parvenir une soi-disant pétition
du « régiment » de Starodoub, dans laquelle la population demandait
qu’on lui accordât des tribunaux moscovites.
Le tzar envoya ses agents sur place afin de se rendre compte si
les cosaques désiraient vraiment le rétablissement de l’ancien
régime, comme l’affirmait Poloubotok, ou bien s’ils préféraient
l’administration moscovite, comme il ressortait de la pétition de
Starodoub.
Cette enquête n’avait évidemment d’autre but que de préparer le
terrain à de nouvelles restrictions des libertés ukrainiennes.
Poloubotok, qui le pressentait, envoya des instructions indiquant
comment il fallait agir et de quelle façon il fallait répondre. A sa
requête, les troupes cosaques, campées sur la frontière, sur les
bords de la Kolomak, adressèrent dans le même temps au tzar des
pétitions réclamant l’élection d’un nouvel hetman et la suppression
du régime moscovite en Ukraine.
Pierre le Grand en fut si courroucé, qu’il fit jeter en prison
Poloubotok et les chefs et ordonna d’arrêter et d’amener à
Pétersbourg les auteurs de ces pétitions. Poloubotok mourut dans
son cachot quelques mois plus tard (1724) et cet évènement
produisit une grande impression dans le pays, surtout parmi la
noblesse cosaque. Ce défenseur de ses libertés devint son héros,
son martyr, dont l’histoire s’entoura bientôt d’un réseau de légendes.
On raconte que sur son lit de mort il reprocha ouvertement au tzar,
qui était venu le voir, sa conduite envers l’Ukraine. Il ajouta qu’il
l’assignait devant le tribunal de Dieu, qui bientôt aurait à « juger et
Pierre et Paul ». Quelques mois plus tard Pierre le Grand était mort.

Combinatorial Image Analysis 19th International Workshop IWCIA 2018 Porto Portugal November 22 24 2018 Proceedings Reneta P. Barneva

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Combinatorial Image Analysis 19th International Workshop IWCIA 2018 Porto Portugal November 22 24 2018 Proceedings Reneta P. Barneva

Uploaded by

Copyright:

Available Formats

Combinatorial Image Analysis 19th

International Workshop IWCIA 2018

Combinatorial Image Analysis 20th International

Sensor Networks 6th International Conference SENSORNETS

Computational Pathology and Ophthalmic Medical Image

Image Analysis and Recognition 11th International

Image Analysis and Recognition 11th International

Product Focused Software Process Improvement 19th

Image Processing and Communications Challenges 10: 10th

João Manuel R. S. Tavares (Eds.)

Institute of Mathematics and Informatics

ISSN 0302-9743 ISSN 1611-3349 (electronic)

Library of Congress Control Number: 2018962921

LNCS Sublibrary: SL5 – Computer Communication Networks and Telecommunications

© Springer Nature Switzerland AG 2018

Petkov (University of Groningen, The Netherlands) presented novel trainable ﬁlters as

October 2018 Reneta P. Barneva

Jean-Marc Chassery Université de Grenoble, France

Petra Wiederhold CINVESTAV-IPN, Mexico

Local Organizing Committee

On Gaps in Digital Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

Fixpoints of Iterated Reductions with Equivalent Deletion Rules . . . . . . . . . . 17

Parallel Contextual Array Insertion Deletion Grammar . . . . . . . . . . . . . . . . . 28

Chain Code P System for Generation of Approximation Patterns

Digitized Rotations of Closest Neighborhood on the Triangular Grid . . . . . . . 53

Binary Tomography on Triangular Grid Involving Hexagonal

Sphere Construction on the FCC Grid Interpreted as Layered

Quadrangular Mesh Generation Using Centroidal Voronoi Tessellation

From Theory to Practice

Detection of Osteoarthritis by Gap and Shape Analysis of Knee-Bone X-ray. . . 121

Registration of CT with PET: A Comparison of Intensity-Based

Iterative High Resolution Tomography from Combined High-Low

A Multi-channel DART Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164

Evaluation of Chaos Game Representation for Comparison

Image-Based Object Spoofing Detection . . . . . . . . . . . . . . . . . . . . . . . . . . 189

Improvement of Measurement Accuracy of Optical 3D Scanners

Defect Detection in Textiles with Co-occurrence Matrix as a Texture

Multiscale Graph-Cut for 3D Segmentation of Compact Objects . . . . . . . . . . 227

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237

Faculty of Technical Sciences, University of Novi Sad, Novi Sad, Serbia

Abstract. Diﬀerent formulae were proposed in the literature for the

Keywords: Digital objects · Digital topology · Gaps

between the dimension of a hypersurface (and in particular a digital hyperplane)

2.1 The Cubical Grid

The boundary cells are obtained by changing k − i even coordinates of e by ±1.

2.2 Gaps in Digital Objects

Definition 4. An nD digital object O is a finite set of voxels in the cubical

The number of k-faces (k-cells) in Q is denoted as ck . The voxels in O are called

Definition 5. A pair of strictly k-adjacent voxels through a k-cell e is called a

Definition 6. An nD digital object O has a k-gap at a k-cell e if Bk (e)\O is a

An object O has an (n − 2)-gap at an (n − 2)-cell e if two (out of four) voxels

Definition 7. A boundary (free) k-cell in Q, 0 ≤ k ≤ n − 1, is a k-cell incident

A k-cell e in Q is interior if the 2n−k 1k -block Bk (e) centered at e is contained

If an nD object O has an (n−2)-gap at an (n−2)-cell e, then e is a boundary

2.3 The Euler Characteristic of 2D Digital Objects

The Euler characteristic is one of the basic topological descriptors of a shape. It

Definition 8. The Euler characteristic χk (O), k = 0, 1, of a 2D digital object

3.1 0-Gaps in 2D Objects

where c0 is the number of 0-components (maximal connected components of

white pixels are examined in a 3 × 3 neighborhood of a pixel added to a digital

g0 = c∗1 − c∗0 = c1 − c1 − c0 + c0 .

The proof is by induction on the number of pixels, and is based on examining

Using the Euler formula