On the computational complexity of reconstructing lattice sets from their x-rays
TL;DR: It turns out that for all d ⩾ 2 and for a prescribed but arbitrary set of m ⩽ 2 pairwise nonparallel lattice directions, the problems are solvable in polynomial time if m = 2 and are NP-complete (or NP-equivalent) otherwise.
About: This article is published in Discrete Mathematics.The article was published on 1999-05-06 and is currently open access. It has received 167 citations till now. The article focuses on the topics: Integer lattice & Discrete tomography.
Citations
More filters
29 Sep 2003
TL;DR: The proposed encoding into CNF clauses of Boolean cardinality constraints that arise in many practical applications is efficient with respect to unit propagation, which is implemented in almost all complete CNF satisfiability solvers.
Abstract: In this paper, we address the encoding into CNF clauses of Boolean cardinality constraints that arise in many practical applications. The proposed encoding is efficient with respect to unit propagation, which is implemented in almost all complete CNF satisfiability solvers. We prove the practical efficiency of this encoding on some problems arising in discrete tomography that involve many cardinality constraints. This encoding is also used together with a trivial variable elimination in order to re-encode parity learning benchmarks so that a simple Davis and Putnam procedure can solve them.
297 citations
01 Jan 2007
TL;DR: A. Kuba and G.T. Herman Discrete point X-ray (DPT) reconstruction as discussed by the authors is a well-known technique in the field of discrete tomography.
Abstract: ANHA Series Preface Preface List of Contributors Introduction / A. Kuba and G.T. Herman Part I. Foundations of Discrete Tomography An Introduction to Discrete Point X-Rays / P. Dulio, R.J. Gardner, and C. Peri Reconstruction of Q-Convex Lattice Sets / S. Brunetti and A. Daurat Algebraic Discrete Tomography / L. Hajdu and R. Tijdeman Uniqueness and Additivity for n-Dimensional Binary Matrices with Respect to Their 1-Marginals / E. Vallejo Constructing (0, 1)-Matrices with Given Line Sums and Certain Fixed Zeros / R.A. Brualdi and G. Dahl Reconstruction of Binary Matrices under Adjacency Constraints / S. Brunetti, M.C. Costa, A. Frosini, F. Jarray, and C. Picouleau Part II. Discrete Tomography Reconstruction Algorithms Decomposition Algorithms for Reconstructing Discrete Sets with Disjoint Components / P. Balazs Network Flow Algorithms for Discrete Tomography / K.J. Batenburg A Convex Programming Algorithm for Noisy Discrete Tomography / T.D. Capricelli and P.L. Combettes Variational Reconstruction with DC-Programming / C. Schnoerr, T. Schule, and S. Weber Part III. Applications of Discrete Tomography Direct Image Reconstruction-Segmentation, as Motivated by Electron Microscopy / Hstau Y. Liao and Gabor T. Herman Discrete Tomography for Generating Grain Maps of Polycrystals / A. Alpers, L. Rodek, H.F. Poulsen, E. Knudsen, G.T. Herman Discrete Tomography Methods for Nondestructive Testing / J. Baumann, Z. Kiss, S. Krimmel, A. Kuba, A. Nagy, L. Rodek, B. Schillinger, and J. Stephan Emission Discrete Tomography / E. Barcucci, A. Frosini, A. Kuba, A. Nagy, S. Rinaldi, M. Samal, and S. Zopf Application of a Discrete Tomography Approach to Computerized Tomography / Y. Gerard and F. Feschet Index
256 citations
Cites background from "On the computational complexity of ..."
...For an extensive study on the computational complexity of discrete tomographical problems see [9]....
[...]
TL;DR: In this paper, the problem of reconstructing a discrete 2D object, represented by a set of grid cells, from its orthogonal projections is addressed, and a simple O(mn min(m2,n2))-time algorithm for reconstructing hv-convex polyominoes is presented.
134 citations
TL;DR: Results show that discrete tomography recovers the shape of the particle as well as the position of its 309 atoms from only three projections, and is well capable of handling structural defects in a highly noisy environment, even if this causes atom count "errors" in the projection data.
85 citations
84 citations
References
More filters
01 Jan 1979
42,654 citations
Book•
01 Jan 1979
TL;DR: The second edition of a quarterly column as discussed by the authors provides a continuing update to the list of problems (NP-complete and harder) presented by M. R. Garey and myself in our book "Computers and Intractability: A Guide to the Theory of NP-Completeness,” W. H. Freeman & Co., San Francisco, 1979.
Abstract: This is the second edition of a quarterly column the purpose of which is to provide a continuing update to the list of problems (NP-complete and harder) presented by M. R. Garey and myself in our book ‘‘Computers and Intractability: A Guide to the Theory of NP-Completeness,’’ W. H. Freeman & Co., San Francisco, 1979 (hereinafter referred to as ‘‘[G&J]’’; previous columns will be referred to by their dates). A background equivalent to that provided by [G&J] is assumed. Readers having results they would like mentioned (NP-hardness, PSPACE-hardness, polynomial-time-solvability, etc.), or open problems they would like publicized, should send them to David S. Johnson, Room 2C355, Bell Laboratories, Murray Hill, NJ 07974, including details, or at least sketches, of any new proofs (full papers are preferred). In the case of unpublished results, please state explicitly that you would like the results mentioned in the column. Comments and corrections are also welcome. For more details on the nature of the column and the form of desired submissions, see the December 1981 issue of this journal.
40,020 citations
Book•
01 Jan 1986TL;DR: In this paper, the Radon transform and related transforms have been studied for stability, sampling, resolution, and accuracy, and quite a bit of attention is given to the derivation, analysis, and practical examination of reconstruction algorithm, for both standard problems and problems with incomplete data.
Abstract: The Mathematics of Computerized Tomography covers the relevant mathematical theory of the Radon transform and related transforms and also studies more practical questions such as stability, sampling, resolution, and accuracy. Quite a bit of attention is given to the derivation, analysis, and practical examination of reconstruction algorithm, for both standard problems and problems with incomplete data.
3,600 citations
Book•
19 Dec 1990
TL;DR: The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field.
Abstract: "Of all the books I have covered in the Forum to date, this set is the most unique and possibly the most useful to the SIGACT community, in support both of teaching and research.... The books can be used by anyone wanting simply to gain an understanding of one of these areas, or by someone desiring to be in research in a topic, or by instructors wishing to find timely information on a subject they are teaching outside their major areas of expertise." -- Rocky Ross, "SIGACT News" "This is a reference which has a place in every computer science library." -- Raymond Lauzzana, "Languages of Design" The Handbook of Theoretical Computer Science provides professionals and students with a comprehensive overview of the main results and developments in this rapidly evolving field. Volume A covers models of computation, complexity theory, data structures, and efficient computation in many recognized subdisciplines of theoretical computer science. Volume B takes up the theory of automata and rewriting systems, the foundations of modern programming languages, and logics for program specification and verification, and presents several studies on the theoretic modeling of advanced information processing. The two volumes contain thirty-seven chapters, with extensive chapter references and individual tables of contents for each chapter. There are 5,387 entry subject indexes that include notational symbols, and a list of contributors and affiliations in each volume.
3,089 citations
TL;DR: It is shown that the permanent function of (0, 1)-matrices is a complete problem for the class of counting problems associated with nondeterministic polynomial time computations.
2,980 citations