×

Reconstructing convex polyominoes from horizontal and vertical projections. (English) Zbl 0872.68134

Summary: Reconstructing discrete bidimensional sets from their projections is involved in many different problems of computer-aided tomography, pattern recognition, image processing and data compression. We examine the problem of reconstructing a discrete bidimensional set \(S\) satisfying some convexity conditions from its two orthogonal projections (\(H,V\)). We develop an algorithm that starts out from (\(H,V\)) and reconstructs set \(S\), when \(S\) is a convex polyomino, in polynomial time. At the same time, we show that determining the existence of a row-convex (column-convex) polyomino or set with connected rows (columns) having assigned orthogonal projections (\(H,V\)) is an NP-complete problem. Moreover, by using the algorithm to reconstruct convex polyominoes from their two orthogonal projections we prove that the numerical matching with target sums problem can be solved in polynomial time if its sequences are unimodal.

MSC:

68R05 Combinatorics in computer science
68Q25 Analysis of algorithms and problem complexity
68T10 Pattern recognition, speech recognition
68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
05B50 Polyominoes
Full Text: DOI

References:

[1] Aspvall, B.; Plass, M. F.; Tarjan, R. E., A linear-time algorithm for testing the truth of certain quantified boolean formulas, Inform. Process. Lett., 8, 3, 121-123 (1979) · Zbl 0398.68042
[2] Beauquier, D.; Nivat, M., Tiling the plane with one tile, (Topology and Category Theory in Computer Science (1991), Oxford Univ. Press: Oxford Univ. Press Oxford), 291-334 · Zbl 0755.52008
[3] Beauquier, D.; Nivat, M.; Remila, E.; Robson, M., Tiling figures of the plane with two bars, a horizontal and a vertical one, (Rapport LITP92 (1992), Université de Paris VII)
[4] Berger, R., The undecidability of the domino problem, Mem. Amer. Soc., 66 (1966) · Zbl 0199.30802
[5] Chang, S. K., The reconstruction of binary patterns from their projections, Comm. ACM, 14, 21-25 (1971) · Zbl 0214.42603
[6] Chang, S. K.; Chow, C. K., The reconstruction of three-dimensional objects from two orthogonal projections and its application to cardiac cineangiography, IEEE Trans. Comput., C-22, 661-670 (1973)
[7] Chang, S. K.; Shelthon, G. L., Two algorithms for multiple-view binary pattern reconstruction, IEEE Trans. Systems Man. Cybernet., SMC-1, 90-94 (1971) · Zbl 0225.68054
[8] Chang, S. K.; Wang, Y. R., Three-dimensional objects reconstruction from two orthogonal projections, Pattern Recognition, 7, 167-176 (1975) · Zbl 0326.68065
[9] Conway, J. H.; Lagarias, J. C., Tiling with polyominoes and combinatorial group theory, J. Combin. Theory Ser. A, 53, 183-208 (1990) · Zbl 0741.05019
[10] Delest, M., Polyominoes and animals: Some recent results, J. Comput. Chem., 8, 3-18 (1991)
[11] Del Lungo, A., Polyominoes defined by two vectors, Theoret. Comput. Sci., 127, 187-198 (1994) · Zbl 0797.05031
[12] Del Lungo, A.; Nivat, M.; Pinzani, R., Polyominoes convexes définis par un couple de vecteurs, (Proc. 6th FPSAC (1994), DIMACS: DIMACS Piscataway), 79-90
[13] Gardner, M., Mathematical games, Sci. Amer., 136-142 (1958), November
[14] Garey, M. R.; Johnson, D. S., (Computers and Intractability: A Guide to the Theory of · Zbl 0411.68039
[15] Golomb, S. W., Polyominoes (1965), Scribner: Scribner New York · Zbl 0057.01005
[16] Golomb, S. W., Tilings with sets of polyominoes, J. Combin. Theory, 9, 60-71 (1970) · Zbl 0319.05019
[17] Gordon, R.; Herman, G. T., Reconstruction of pictures from their projections, Graph. Image Process, 14, 759-768 (1971) · Zbl 0225.68053
[18] Klarner, D. A., My life among the polyominoes, (The Mathematical Gardner (1981), Wadsworth: Wadsworth Belmont CA), 243-262 · Zbl 0476.05029
[19] Krishnan, S.; Prabhu, S. S.; Krishnamurthy, E. V., Probabilistic reinforcement algorithms for the reconstruction of pictures from their projections, Internat. J. Systems. Sci., 4, 661-670 (1973)
[20] Kuba, A., The reconstruction of two-directionally connected binary patterns from their two projections, Comput. Vision Graph. Image Process, 27, 249-265 (1984)
[21] Kuba, A., On the reconstruction of binary matrices from their projections, (Pubbl. dell’Ist di Analisi Globale e Applicazioni. Pubbl. dell’Ist di Analisi Globale e Applicazioni, Problemi ben posti ed inversi (1986)), Firenze · Zbl 0725.44003
[22] Omnasch, D. G.W.; Heinstzen, P. H., A new approach for the reconstruction of the right or left ventricular form from biplane angiocardiographic recordings, (Digital Imaging in Cardiovascular Radiology (1983), Georg Thieme: Georg Thieme Stuttgart), 151-163
[23] Ryser, H., Combinatorial Mathematics, (The Carus Mathematical Monographs, Vol. 14 (1963), The Mathematical Association of America: The Mathematical Association of America Rahway) · Zbl 0112.24806
[24] Shliferstein, A. R.; Chien, Y. T., Switching components and the ambiguity problem in the reconstruction of pictures from their projections, Pattern Recognition, 10, 327-340 (1978) · Zbl 0389.68050
[25] Slump, C. H.; Gerbrands, J. J., A network flow approach to reconstruction of the left ventricle from two projections, Comput Graph. Image Process, 18, 18-36 (1982)
[26] (Ter-Pogossian, M. M.; Phelps, M. E., Reconstruction tomography in diagnostic radiology and nuclear medicine (1977), Univ. Park Press: Univ. Park Press Baltimore)
[27] Viennot, X. G., Problèmes combinatoires posés par la physique statistique, (Séminaire Bourbaki No. 626, 36ème année. Séminaire Bourbaki No. 626, 36ème année, Astérisque, 121-122 (1985)), 225-246 · Zbl 0563.60095
[28] Viennot, X. G., A survey of polyomino enumeration, (Proc. Séries formelles et combinatoires algébrique. Proc. Séries formelles et combinatoires algébrique, Montréal, Juin 1992. Proc. Séries formelles et combinatoires algébrique. Proc. Séries formelles et combinatoires algébrique, Montréal, Juin 1992, Publications du LACIM, 11 (1992), Université du Québec a Montréal)
[29] Wang, Y. R., Characterization of binary patterns and their projections, IEEE Trans. Comput., C-24, 1032-1035 (1975) · Zbl 0324.68066
[30] Wong, C. K.; Yue, C. K., Reconstruction of patterns by block-projection, Inform. Sci., 4, 357-366 (1972) · Zbl 0247.68047
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.