A combinatorial approach to Golomb forests

Optimal binary prefix-free codes for infinite sources with geometrically distributed frequencies, e.g., P={p i(1−p)} i=0 ∞, 0<p<1 , were first (implicitly) suggested by Golomb over 30 years ago in the context of run-length encodings. Ten years later Gallager and Van Voorhis exhibited such opti...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 263; no. 1; pp. 283 - 304
Main Author: Golin, Mordecai J.
Format: Journal Article
Language:English
Published: Amsterdam Elsevier B.V 2001
Elsevier
Subjects:
Combinatorics
Combinatorics. Ordered structures
Exact sciences and technology
Graph theory
Mathematics
Sciences and techniques of general use
Combinatorial method
Optimal forest
Tree(graph)
Golomb forest
Coding
Probability distribution
Graph theory
Hoffman encoding problem
Convergence
ISSN:0304-3975, 1879-2294
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Optimal binary prefix-free codes for infinite sources with geometrically distributed frequencies, e.g., P={p i(1−p)} i=0 ∞, 0<p<1 , were first (implicitly) suggested by Golomb over 30 years ago in the context of run-length encodings. Ten years later Gallager and Van Voorhis exhibited such optimal codes for all values of p. These codes were derived by using the Huffman encoding algorithm to build optimal codes for finite sources and then showing that the finite codes converge in a very specific sense to the infinite one. In this note, we present a new combinatorial approach to solve the same problem, one that does not use the Huffman algorithm, but instead treats a coding tree as an infinite sequence of integers and derives properties of the sequence. One consequence of this new approach is a complete characterization of all of the optimal codes; in particular, it shows that for all p,0<p<1, except for an easily describable countable set, there is a unique optimal code, but for each p in this countable set there are an uncountable number of optimal codes. Another consequence is a derivation of infinite codes for geometric sources when the encoding alphabet is no longer restricted to be the binary one. A final consequence is the extension of the results to optimal forests instead of being restricted to optimal trees.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(00)00250-4