2,041 research outputs found
Generation and reconstruction of hv-convex 8-connected discrete sets
An algorithm is given to generate 2-dimensional hv-convex 8-connected discrete sets uniformly. This algorithm is based on an extension of a theory previously used for a more special class of hv-convex discrete sets. The second part of the paper deals with the reconstruction of hv-convex 8-connected discrete sets. The main idea of this algorithm is to rewrite the whole reconstruction problem as a 2SAT problem. Using some a priori knowledge we reduced the number of iterations and the number of clauses in the 2SAT expression which results in reduction of execution time
A benchmark set for the reconstruction of hv-convex discrete sets
AbstractIn this paper we summarize the most important generation methods developed for the subclasses of hv-convex discrete sets. We also present some new generation techniques to complement the former ones thus making it possible to design a complete benchmark set for testing the performance of reconstruction algorithms on the class of hv-convex discrete sets and its subclasses. By using this benchmark set the paper also collects several statistics on hv-convex discrete sets, which are of great importance in the analysis of algorithms for reconstructing such kinds of discrete sets
Boundary length of reconstructions in discrete tomography
We consider possible reconstructions of a binary image of which the row and
column sums are given. For any reconstruction we can define the length of the
boundary of the image. In this paper we prove a new lower bound on the length
of this boundary. In contrast to simple bounds that have been derived
previously, in this new lower bound the information of both row and column sums
is combined
Reconstruction of Convex Sets from One or Two X-rays
We consider a class of problems of Discrete Tomography which has been deeply
investigated in the past: the reconstruction of convex lattice sets from their
horizontal and/or vertical X-rays, i.e. from the number of points in a sequence
of consecutive horizontal and vertical lines. The reconstruction of the
HV-convex polyominoes works usually in two steps, first the filling step
consisting in filling operations, second the convex aggregation of the
switching components. We prove three results about the convex aggregation step:
(1) The convex aggregation step used for the reconstruction of HV-convex
polyominoes does not always provide a solution. The example yielding to this
result is called \textit{the bad guy} and disproves a conjecture of the domain.
(2) The reconstruction of a digital convex lattice set from only one X-ray can
be performed in polynomial time. We prove it by encoding the convex aggregation
problem in a Directed Acyclic Graph. (3) With the same strategy, we prove that
the reconstruction of fat digital convex sets from their horizontal and
vertical X-rays can be solved in polynomial time. Fatness is a property of the
digital convex sets regarding the relative position of the left, right, top and
bottom points of the set. The complexity of the reconstruction of the lattice
sets which are not fat remains an open question.Comment: 31 pages, 24 figure
On Some Geometric Aspects of the Class of hv-Convex Switching Components
In the usual aim of discrete tomography, the reconstruction of an unknown discrete set is considered, by means of projection data collected along a set U of discrete directions. Possible ambiguous reconstructions can arise if and only if switching components occur, namely, if and only if non-empty images exist having null projections along all the directions in U. In order to lower the number of allowed reconstructions, one tries to incorporate possible extra geometric constraints in the tomographic problem. In particular, the class P of horizontally and vertically convex connected sets (briefly, hv-convex polyominoes) has been largely considered. In this paper we introduce the class of hv-convex switching components, and prove some preliminary results on their geometric structure. The class includes all switching components arising when the tomographic problem is considered in P, which highly motivates the investigation of such configurations. It turns out that the considered class can be partitioned in two disjointed subclasses of closed patterns, called windows and curls, respectively. It follows that all windows have a unique representation, while curls consist of interlaced sequences of sub-patterns, called Z-paths, which leads to the problem of understanding the combinatorial structure of such sequences. We provide explicit constructions of families of curls associated to some special sequences, and also give additional details on further allowed or forbidden configurations by means of a number of illustrative examples
- …