For any fixed threshold , minimizing the excess-length probability means assigning the available strings shorter than to the most probable symbols. Repeating this exchange argument simultaneously for every threshold orders symbols by decreasing probability and assigns binary strings from shortest to longest. There are words of length , so the th word in shortlex order has length
This is the optimal one-to-one binary code.
For decreasing probabilities, the first symbols each have probability at least , so . Hence
Relabeling an arbitrary alphabet in decreasing probability order makes part (ii) pointwise:
It immediately implies
and, after taking expectations,
This reverses the prefix-code lower bound from part (b). A general one-to-one code need not decode concatenated codewords instantaneously or uniquely, so it is not constrained by Kraft's inequality.

Articles by others on the same topic (0)

There are currently no matching articles.