A Characterization of Optimal Prefix Codes: Completeness and Strong Monotonicity as Necessary and Sufficient Conditions

A prefix code is optimal if and only if it is complete and strongly monotone.