Розділ VI. Теорія кодування

Питання кодування здавна відігравало значну роль у математиці. Наприклад, десяткова позиційна система числення – це спосіб кодування натуральних чисел. Римські цифри – інший спосіб кодування натуральних чисел, до того ж більш наглядний та природній: палець – І, п’ятірня – V, дві п’ятірні – Х. Але при цьому способі кодування складніше виконувати арифметичні дії над великими числами, тому він був витиснений позиційною десятковою системою.

Раніше засоби кодування відігравали допоміжну роль і не розглядались як окремий предмет математичного вивчення, але з появою комп’ютерів ситуація радикально змінилась. Теорія кодування виникла у 40-х роках XX століття після появи робіт К. Шенона. У цій теорії досліджуються методи кодування, пов’язані з основними математичними моделями, які відображають істотні риси реальних інформаційних систем.

Кодування буквально пронизує інформаційні технології і є центральним питанням при розв’язанні самих різних (практично усіх задач) програмування:

• представлення даних довільної природи (наприклад, чисел, тексту, графіки) у пам’яті комп’ютера;

• захист інформації від несанкціонованого доступу;

• забезпечення перешкодозахищеності при передачі даних по каналам зв’язку;

• стиснення інформації у базах даних.

Властивості, які вимагаються від кодування, бувають різної природи:

• існування декодування – це дуже природна властивість, але навіть вона потрібна не завжди. Наприклад, трансляція програми на мові високого рівня у машинні команди – це кодування, для якого не потрібно однозначного декодування;

• перешкодозахищеність, або виправлення помилок – коли від кодування вимагається можливість відновлення інформації в разі її пошкодження;

• задана складність (або простота) кодування та декодування. Наприклад, у криптографії вивчаються такі способи кодування, при яких є просто обчислювальна функція F, але визначення зворотної функції F^-1 потребує дуже складних обчислень.

В цьому розділі буде розглянуто деякі найбільш важливі задачі теорії кодування та продемонстровано застосування більшої частини згаданих тут методів.

Тема 21. Теорія кодування

21.1. Алфавітне й рівномірне кодування

Без утрати загальності можна сформулювати задачу кодування так.

Означення 21.1. Нехай задано алфавіт А = {a₁, …, a_n} зі скінченної кількості символів, які називають буквами. Скінченну послідовність букв алфавіту A називають словом у цьому алфавіті. Для позначення слів будемо використовувати малі грецькі літери:  = a_i1a_i2…a_il. Число l – кількість букв у слові  - називають довжиною слова  і позначають l() або ||.

Множину всіх слів у алфавіті A позначають як A*. Порожнє слово позначають ; зазначимо, що A, A*, ||=0.

---

Означення 21.2. Якщо слово  має вигляд  = ₁₂, то ₁ називають початком або префіксом слова , а ₂ – його закінченням або постфіксом. Якщо при цьому ₁ (відповідно, ₂), то ₁ називають власним початком (відповідно власним закінченням) слова .

Для слів визначена операція конкатенації або зчеплення.

Означення 21.3. Конкатенація слів  та  є слово , отримане виписуванням підряд спочатку всіх букв слова , а потім всіх букв слова . Зазвичай операція зчеплення ніяк не позначається.

Означення 21.4. Довільна множина L слів у деякому алфавіті A називається мовою в цьому алфавіті, L  A*.

Нехай задано алфавіти A = {a₁, …, a_n}, B = {b₁, …, b_m} і функція F: S  B*, де S – деяка множина слів у алфавіті A, S  A*. Тоді функція F називається кодуванням, елементи множини S – повідомленнями, а елементи  = F(), S, B* – кодами (відповідних повідомлень). Обернена функція F^-1, якщо вона існує, називається декодуванням.

Якщо |B| = m, то F називають m-ковим кодуванням. Найчастіше використовується алфавіт B = {0, 1}, тобто двійкове кодування. Саме його ми й розглядатимемо в наступних підрозділах, випускаючи слово «двійкове».

Відображення F задають якимось алгоритмом. Є два способи задати відображення F.

Алфавітне кодування задають схемою (або таблицею кодів) :

a₁  ₁,

a₂  ₂,

…

a_n  _n,

де a_i  A, _I  B*, i = 1,…,n. Схема  задає відповідність між буквами алфавіту A та деякими словами в алфавіті B. Вона визначає алфавітне кодування так: кожному слову  = a_i1a_i2…a_il із повідомлення S поставлено у відповідність слово  = _i1_i2…_il – його код. Слова ₁, …, _n називають елементарними кодами.

Наприклад, розглянемо алфавіт A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, B = {0, 1} і схему:

₁ = 0  0, 1  1, 2  10, 3  11, 4  100, 5  101, 6  110, 7  111, 8  1000, 9  1001.

Ця схема однозначна, але кодування не є взаємно однозначним:

F_1(333) = 111111 = F_(77),

а значить, неможливе декодування. З іншого боку, схема

₁ = 0  0000, 1  0001, 2  0010, 3  0011, 4  0100, 5  0101,

6  0110, 7  0111, 8  1000, 9  1001,

відома під назвою «двійково-десяткове кодування», допускає однозначне декодування.

Рівномірне кодування з параметрами k й r задають так. Повідомлення  розбивають на блоки довжиною k:

 = (x₁…x_k)(x_k+1…x_2k)…(x_mk+1…x_pk+s),

де sk (останній блок може бути коротшим, у такому разі спосіб його кодування спеціально обумовлюють), x_iA, i = 1,…, pk + s. Блоки довжиною k розглядають як «букви» якогось алфавіту (таких блоків, очевидно, n^k, бо алфавіт A складається з n букв) і кодують словами в алфавіті B довжиною r за схемою рівномірного кодування _k,r:

₁  ₁,

₂  ₂,

…

.

Надлишковістю схеми _k,r на символ повідомлення називають величину .

21.2. Роздільні схеми

Розглянемо схему алфавітного кодування  та різні слова, складені з елементарних кодів.

Означення 21.5. Схему  називають роздільною, якщо з рівності випливає, що k = l та i_t = j_t для кожного t = 1,…, k, тобто будь-яке слово, складене з елементарних кодів, можна єдиним способом розкласти на елементарні коди.

---

Алфавітне кодування з роздільною схемою вможливлює однозначне декодування.

Означення 21.6. Схему  називають префіксною, якщо для будь-яких i та j (i, j = 1,…,n, ij) елементарний код _i не є префіксом елементарного коду _j.

Теорема 21.1 (без доведення). Префіксна схема є роздільною.

Властивість префіксності достатня, але не необхідна умова роздільності схеми. Наприклад, нехай A = {a, b}, B = {0, 1},  =   a  0, b  01. Схема  не префіксна, але роздільна. Справді, перед кожним входженням 1 в слові ₂ безпосередньо є 0. Це дає змогу виділити всі пари (01). Частина слова, що залишилась, складається із символів 0.

Щоби схема алфавітного кодування була роздільною, необхідно, щоби довжини елементарних кодів задовольняли певному співвідношенню, відомому як нерівність Мак-Міллана.

Теорема 21.2 (нерівність Мак-Міллана, без доведення). Якщо схема алфавітного кодування роздільна, то

, де l_i = |_i|.

Теорема 21.3 (без доведення). Якщо числа l₁,…, l_nзадовольняють нерівність

(нерівність Мак-Міллана),

то існує префіксна схема алфавітного кодування :

a₁  ₁,

…

a_n  _n,

де l_i = |_i|.

Наслідок 1. Нерівність Мак-Міллана – необхідна й достатня умова існування алфавітного кодування з префіксною схемою та довжинами елементарних кодів, що дорівнюють l₁,…, l_n.

Наслідок 2. Якщо існує роздільна схема алфавітного кодування із заданими довжинами елементарних кодів, то існує й префіксна схема з тими самими довжинами елементарних кодів.

21.3. Оптимальне кодування

Для практики важливо, щоби коди повідомлень мали по можливості найменшу довжину. Алфавітне кодування придатне для довільних повідомлень, тобто S = A*. Якщо більше про множину S не відомо нічого, то точно сформулювати задачу оптимізації важко. Однак на практиці часто доступна додаткова інформація. Наприклад, для текстів на природних мовах відомо розподілення ймовірностей (частот) появи букв у повідомленні. Використання такої інформації дозволяє строго поставити та розв’язати задачу побудови оптимального алфавітного кодування.

Нехай задано алфавіт A = {a₁, …, a_n} і ймовірності появи букв у повідомленні P = (p₁, …, p_n); тут p_i – ймовірність появи букви a_i (ймовірність можна розглядати як частоту і обчислювати у вигляді формули f(a_i)/l, де f(a_i) – кількість разів появи букви a_i у повідомленні, а l – загальна кількість букв у повідомленні, тобто довжина повідомлення). Не втрачаючи загальності, можна вважати, що p₁  p₂  …  p_n > 0, тобто можна одразу вилучити букви, які не можуть з’явитись у повідомленні, і впорядкувати букви за зменшенням ймовірностей їх появи. Крім того, p₁ + p₂ + …+ p_n = 1.

Означення 21.7. Для кожної роздільної схеми алфавітного кодування величина , де l_i = |_i|, i = 1, …, n називають середньою довжиною або ціною кодування за схемою  для розподілу ймовірностей P.

Наприклад, для алфавітів A = {a, b}, B = {0, 1} та роздільної схеми  =  a  0, b  01 при розподілі ймовірностей (0,5, 0,5) ціна кодування складає 0,51 + 0,52 = 1,5, а при розподілі ймовірностей (0,9, 0,1) вона дорівнює 0,91 + 0,12 = 1,1.

---

Уведемо величину , де нижню грань беруть за всіма роздільними схемами . Легко довести, що

,

де верхю оцінку дає схема з елементарними кодами з однаковою довжиною . Звідси випливає, що для побудови кодів, у яких величина l_близька до l_*, можна не враховувати коди з більшим l_, ніж . Отже, будемо розглядати лише схеми з . Позначимо p_* = min(p₁, …, p_n), тоді

для всіх i = 1,…, n.

Звідси випливає, що є лише скінченна кількість варіантів значень l_, для яких . Отже, значення l_* досягається на якійсь схемі ; його можна визначити як

.

Означення 21.8. Коди, визначені схемою  з l_ = l_*, називають кодами з мінімальною надлишковістю або оптимальними кодами для розподілу ймовірностей P.

За наслідком 2 з теорем 21.2 та 21.3 існує алфавітне кодування з префіксною схемою, яке дає оптимальні коди. У зв’язку з цим, будуючи коди, можна обмежитися префіксними схемами.

21.4. Алгоритм Шенона-Фано

Алгоритм Шеннона-Фано – один з перших алгоритмів кодування, який вперше сформулювали американські вчені Шенон та Фано. Даний метод кодування має велику подібність із алгоритмом Хаффмана, який з’явився на декілька років пізніше. Алгоритм заснований на кодах змінної довжини: символ, який зустрічається часто, кодується кодом меншої довжини і навпаки. Для того, щоби існувало декодування, коди Шенона-Фано мають володіти унікальністю, тобто, не дивлячись на їх змінну довжину, кожний код унікально визначає один закодований символ і не є префіксом будь-якого іншого коду. Тобто отриманий код є префіксним.

Код Шенона-Фано будується за допомогою дерева. Побудова цього дерева починається від кореня. Вся множина елементів, які кодуються, відповідає кореню дерева (вершині першого рівня). Вона (множина) розбивається на дві підмножини з приблизно однаковими сумарними ймовірностями. Ці підмножини відповідають двом вершинам другого рівня, які з’єднуються з коренем. Далі кожна з цих підмножин розбивається на дві підмножини з приблизно однаковими сумарними ймовірностями. Їм відповідають вершини третього рівня. Якщо підмножина містить один елемент, то йому відповідає кінцева вершина кодового дерева; така підмножина більше не розбивається. Подібним чином поступаємо до тих пір, поки не отримуємо всі кінцеві вершини. Гілки кодового дерева помічаємо символами 1 та 0.

При побудові коду Шенона-Фано розбиття множини елементів може бути виконано, взагалі кажучи, декількома способами. Вибір розбиття на рівні n може погіршити варіанти розбиття на наступному рівні (n+1) і привести до неоптимального коду в цілому. Іншими словами, оптимальна поведінка на кожному кроці шляху не гарантує оптимальності усієї сукупності дій. Тому код Шенона-Фано не є оптимальним в загальному сенсі, хоча й дає оптимальні результати при деяких розподілах ймовірностей. Для одного й того самого розподілу ймовірностей можна побудувати, взагалі кажучи, декілька кодів Шенона-Фано, і всі вони можуть давати різні результати.

---

Кодування Шенона-Фано є доволі старим методом і на сьогоднішній день воно не представляє собою практичного інтересу. В більшості випадків, довжина отриманої послідовності, за даним методом, дорівнює довжині послідовності при використанні методу Хаффмана. Але на деяких послідовностях все ж таки формуються неоптимальні коди Шенона-Фано, тому метод Хаффмана прийнято вважати більш ефективним.

Розглянемо приклад кодового дерева. Нехай маємо алфавіт A = {a, b, c, d, e, f}, де для кожної букви відома частота появи у тексті – f(), за якою можна визначити ймовірність p(). Частоти, ймовірності та коди букв представлені в табл. 21.1.

Буква	Частота f	Ймовірність p	Код
a	50	0,23	11
b	39	0,18	101
c	18	0,08	100
d	50	0,23	01
e	33	0,16	001
f	26	0,12	000

Табл. 21.1.

Кодове дерево, яке отримуємо під час роботи алгоритму, зображено на рис. 21.1.

Рис. 21.1.

Підрахуємо l_: 0,232 + 0,183 + 0,083 + 0,232 + 0,163 + 0,123 = 2,54.

21.4. Алгоритм Хаффмана

Розглянемо декілька властивостей оптимальних кодів.

Теорема 21.4. В оптимальному коді букву з меншою ймовірністю її появи не можна закодувати коротшим словом. Інакше кажучи, для оптимального коду з того, що p_i < p_j випливає, що l_i l_j.

Доведення. Припустимо протилежне: нехай є дві букви a_i та a_j такі, що p_i < p_j і l_i < l_j. Поміняємо місцями _i та _j у схемі кодування. Тоді середня довжина елементарних кодів зміниться на

,

тобто зменшиться, що суперечить оптимальності коду. ►

Очевидно, що якщо код оптимальний, то можна перенумерувати букви алфавіту A і відповідні елементарні коди _i, так що p₁  p₂  …  p_n та l₁  l₂  …  l_n. Далі ми будемо розглядати схеми кодування, де коди впорядковані таким чином.

Теорема 21.5. В оптимальному коді є два елементарні коди з найбільшою довжиною l_n, які відрізняються лише останніми символами.

Доведення. Припустимо, що це не так. Тоді можна відкинути останній символ елементарного коду _n, не порушуючи властивості префіксності. При цьому, очевидно, зменшиться середня довжина елементарного коду. Це суперечить твердженню, що код оптимальний. ►

Теорема 21.6. Існує такий оптимальний код, у якому елементарні коди двох найменш імовірних букв a_n та a_n-1 відрізняються лише останніми символами.

Доведення. За теоремою 21.5 знайдеться елементарний код _t, який має ту саму довжину, що й _n, і відрізняється від нього лише останнім символом. Із теореми 21.4 випливає, що l_t = l_t+1 = … = l_n. Якщо t  n–1, то можна поміняти місцями _t та _n-1, не порушуючи нерівності l₁  l₂  …  l_n. ►

Теорема 21.6 дає змогу розглядати лише такі схеми алфавітного кодування, у яких елементарні коди _n-1 та _n (для двох найменш імовірних букв a_n-1 та a_n) мають найбільшу довжину й відрізняються тільки останніми символами. Це означає, що листки _n-1 та _n кодового дерева оптимального коду мають бути з'єднані в одній вершині попереднього рівня.

---

Смотрите также файлы

• 22_Koduvannya_stiyke_do_zavad.doc

• 30_Algoritmi_poshuku_naykorotshikh_shlyakhiv.doc

• 35_Merezhi_ta_potoki.doc

• 37_Gramatiki.doc

• 38_Skinchenni_avtomati.doc