Structure and properties of strong prefix codes of pictures
Marcella Anselmo, Dora Giammarresi, Maria Madonia
Abstract
Marcella Anselmo, Dora Giammarresi, Maria Madonia
Abstract
A setX⊆ Σ** of pictures is a code if every picture over Σ is tilable in at most one way with pictures inX. The definition ofstrong prefix codeis introduced. The family of finite strong prefix codes is decidable and it has a polynomial time decoding algorithm. Maximality for finite strong prefix codes is also studied and related to the notion of completeness. We prove that any finite strong prefix code can be embedded in a unique maximal strong prefix code that has minimal size and cardinality. A complete characterization of the structure of maximal finite strong prefix codes completes the paper.
OpenAlex reports 12 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
A setX⊆ Σ** of pictures is a code if every picture over Σ is tilable in at most one way with pictures inX. The definition ofstrong prefix codeis introduced. The family of finite strong prefix codes is decidable and it has a polynomial time decoding algorithm. Maximality for finite strong prefix codes is also studied and related to the notion of completeness. We prove that any finite strong prefix code can be embedded in a unique maximal strong prefix code that has minimal size and cardinality. A complete characterization of the structure of maximal finite strong prefix codes completes the paper.
Key concepts: Prefix, Prefix code, Decidability, Cardinality (data modeling), Mathematics, Code (set theory), Discrete mathematics, Set (abstract data type)