Abstract
Codes with various kinds of decipherability, weaker than the usual unique decipherability, have been studied since multiset decipherability was introduced in mid-1980s. We consider decipherability of directed figure codes, where directed figures are defined as labelled polyominoes with designated start and end points, equipped with catenation operation that may use a merging function to resolve possible conflicts. This is one of possible extensions generalizing words and variable-length codes to planar structures.
Here, verification whether a given set is a code is no longer decidable in general. We study the decidability status of figure codes depending on catenation type (with or without a merging function), decipherability kind (unique, multiset, set or numeric) and code geometry (several classes determined by relative positions of start and end points of figures). We give decidability or undecidability proofs in all but two cases that remain open.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aigrain, P., Beauquier, D.: Polyomino tilings, cellular automata and codicity. Theoretical Computer Science 147(1-2), 165–180 (1995)
Beauquier, D., Nivat, M.: A codicity undecidable problem in the plane. Theoretical Computer Science 303(2-3), 417–430 (2003)
Blanchet-Sadri, F.: On unique, multiset, set decipherability of three-word codes. IEEE Transactions on Information Theory 47(5), 1745–1757 (2001)
Blanchet-Sadri, F., Morgan, C.: Multiset and set decipherable codes. Computers and Mathematics with Applications 41(10-11), 1257–1262 (2001)
Burderi, F., Restivo, A.: Coding partitions. Discrete Mathematics and Theoretical Computer Science 9(2), 227–240 (2007)
Burderi, F., Restivo, A.: Varieties of codes and kraft inequality. Theory of Computing Systems 40(4), 507–520 (2007)
Costagliola, G., Ferrucci, F., Gravino, C.: Adding symbolic information to picture models: definitions and properties. Theoretical Computer Science 337, 51–104 (2005)
Giammarresi, D., Restivo, A.: Two-dimensional finite state recognizability. Fundamenta Informaticae 25(3), 399–422 (1996)
Guzmán, F.: Decipherability of codes. Journal of Pure and Applied Algebra 141(1), 13–35 (1999)
Head, T., Weber, A.: The Finest Homophonic Partition and Related Code Concepts. In: Privara, I., Ružička, P., Rovan, B. (eds.) MFCS 1994. LNCS, vol. 841, pp. 618–628. Springer, Heidelberg (1994)
Head, T., Weber, A.: Deciding multiset decipherability. IEEE Transactions on Information Theory 41(1), 291–297 (1995)
Kolarz, M.: The code problem for directed figures. Theoretical Informatics and Applications RAIRO 44(4), 489–506 (2010)
Kolarz, M.: Directed Figure Codes: Decidability Frontier. In: Thai, M.T., Sahni, S. (eds.) COCOON 2010. LNCS, vol. 6196, pp. 530–539. Springer, Heidelberg (2010)
Kolarz, M., Moczurad, W.: Directed figure codes are decidable. Discrete Mathematics and Theoretical Computer Science 11(2), 1–14 (2009)
Lempel, A.: On multiset decipherable codes. IEEE Transactions on Information Theory 32(5), 714–716 (1986)
Mantaci, S., Restivo, A.: Codes and equations on trees. Theoretical Computer Science 255, 483–509 (2001)
Moczurad, W.: Brick codes: families, properties, relations. International Journal of Computer Mathematics 74, 133–150 (2000)
Moczurad, W.: Directed Figure Codes with Weak Equality. In: Fyfe, C., Tino, P., Charles, D., Garcia-Osorio, C., Yin, H. (eds.) IDEAL 2010. LNCS, vol. 6283, pp. 242–250. Springer, Heidelberg (2010)
Restivo, A.: A note on multiset decipherable code. IEEE Transactions on Information Theory 35(3), 662–663 (1989)
Salomaa, A., Salomaa, K., Yu, S.: Variants of codes and indecomposable languages. Information and Computation 207(11), 1340–1349 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kolarz, M., Moczurad, W. (2012). Multiset, Set and Numerically Decipherable Codes over Directed Figures. In: Arumugam, S., Smyth, W.F. (eds) Combinatorial Algorithms. IWOCA 2012. Lecture Notes in Computer Science, vol 7643. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35926-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-35926-2_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35925-5
Online ISBN: 978-3-642-35926-2
eBook Packages: Computer ScienceComputer Science (R0)