93
правки
Изменения
→Неравенство Макмиллана
[http://neerc.ifmo.ru/mediawiki/index.php/%D0%9D%D0%B5%D1%80%D0%B0%D0%B2%D0%B5%D0%BD%D1%81%D1%82%D0%B2%D0%BE_%D0%9A%D1%80%D0%B0%D1%84%D1%82%D0%B0 Неравенство Крафта-Макмиллана] выполняется не только для любого префиксного кода, но и вообще для любого однозначного кода.
</center>
<center><tex> \sum\limits_{i = 1}^{I} 2^{-l_i} \le 1 , </tex></center>
<center>где <tex>|A| = I</tex> , а <tex>l_i</tex> {{---}} длины кодовых слов.</center>
}}
''Примечание: Именно это доказал Макмиллан, Крафт доказал неравенство для префиксных кодов.''
== Доказательство ==
Есть разные способы решить эту задачу, но будет приведено простое и красивое, хотя и несколько загадочное, решение. <br />
