Изменения

Чтобы доказать корректность алгоритма Хаффмана, покажем, что в [[Задача_об_оптимальном_префиксном_коде_с_сохранением_порядка._Монотонность_точки_разреза | задаче о построении оптимального префиксного кода ]] проявляются свойства жадного выбора и оптимальной подструктуры. В сформулированной ниже лемме показано соблюдение свойства жадного выбора.