Kraft-McMillan（克拉夫特—麦克米兰）：信息论与编码理论中的一个核心概念，通常指Kraft–McMillan 不等式，它给出“前缀码/唯一可译码”的码字长度必须满足的条件，用来判断一组码长是否可能对应某种可解码的编码方案。（在一些语境里也可指该不等式或相关定理本身。）
/ˌkræft məkˈmɪlən/
The Kraft-McMillan inequality helps us check whether a set of code lengths is possible.
克拉夫特—麦克米兰不等式帮助我们检查一组码长是否可行。
In designing a prefix code, engineers often use Kraft-McMillan as a quick test before optimizing for average length.
在设计前缀码时，工程师常先用克拉夫特—麦克米兰作为快速检验，再去优化平均码长。
该术语来自两位学者的姓氏：Leon G. Kraft（克拉夫特）与 Brockway McMillan（麦克米兰）。他们在研究编码可解码性与码长约束时提出/推广了相关结果，因此这一条件以两人姓名并称。
Select Language