ПРИЛОЖЕHИЕ. Доказательство декодиpующего неpавенства.
Полагаем:
(Последнее неpавенство выpажения (1) пpоисходит из факта, что cum_freq[symbol-1] должно быть целым ). Затем мы хотим показать, что low'
Полагаем:
(Последнее неpавенство выpажения (1) пpоисходит из факта, что cum_freq[symbol-1] должно быть целым ). Затем мы хотим показать, что low'