Solution
= Solution
\b[True.] The Huffman tree is a full binary tree, so its leaves form a complete prefix code. The <Kraft inequality> is therefore an equality:
$$
\boxed{\sum_{i=1}^m2^{-s_i}=1.}
$$
= Solution
\b[True.] The Huffman tree is a full binary tree, so its leaves form a complete prefix code. The <Kraft inequality> is therefore an equality:
$$
\boxed{\sum_{i=1}^m2^{-s_i}=1.}
$$