We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CG

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Geometry

Title: Digital Convex + Unimodular Mapping =8-Connected (All Points but One 4-Connected)

Authors: Crombez Loïc
Abstract: In two dimensional digital geometry, two lattice points are 4-connected (resp. 8-connected) if their Euclidean distance is at most one (resp. $\sqrt{2}$). A set $S \subset Z^2$ is 4-connected (resp. 8-connected) if for all pair of points $p_1, p_2$ in $S$ there is a path connecting $p_1$ to $p_2$ such that every edge consists of a 4-connected (resp. 8-connected) pair of points. The original definition of digital convexity which states that a set $S \subset Z^d$ is digital convex if $\conv(S) \cap Z^d= S$, where $\conv(S)$ denotes the convex hull of $S$ does not guarantee connectivity. However, multiple algorithms assume connectivity. In this paper, we show that in two dimensional space, any digital convex set $S$ of $n$ points is unimodularly equivalent to a 8-connected digital convex set $C$. In fact, the resulting digital convex set $C$ is 4-connected except for at most one point which is 8-connected to the rest of the set. The matrix of $SL_2(Z)$ defining the affine isomorphism of $Z^2$ between the two unimodularly equivalent lattice polytopes $S$ and $C$ can be computed in roughly $O(n)$ time. We also show that no similar result is possible in higher dimension.
Comments: 13 pages + appendix
Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)
MSC classes: 52C05
Cite as: arXiv:2103.04971 [cs.CG]
  (or arXiv:2103.04971v1 [cs.CG] for this version)

Submission history

From: Loic Crombez [view email]
[v1] Mon, 8 Mar 2021 18:48:35 GMT (1389kb,D)

Link back to: arXiv, form interface, contact.