Kody kropli i LT: Erasure Kodowanie Bez Ograniczenia Wysokości Błędu

Dlaczego kodowanie bez szybkości ma znaczenie dla kanalów z utratami

Klasyczne kodeki erasure typu Reed-Solomon ustalają na podstawie przewidywanej szybkości w zaawansowanej fazie, kodując k bloków źródłowych do n całkowitych bloków i gwarantując odtworzenie, dopóki dowolne k z n nie zostaną odebrane. To działa dobrze, gdy utrata danych jest znana w zaawansowanej fazie, ale staje się nieefektywne lub niedostateczne, gdy zachowanie kanalu jest niestabilne, co jest typowe dla rozwozu nadmiarowego i wielokanalowego, gdzie różne odbiorcy doświadczają zupełnie innych proporcji utrat w tym samym momencie. Satelita emitujący plik do milionów set-top boxów nie może dostosować kodu o ustalonej szybkości do osobistych jakości odbioru każdego widzia. Kodowanie zrzutkowe całkowicie unika problemu, nie ustanawiając szybkości: nadawca generuje i transmite nowe zrzuty bez ograniczeń, a każdy odbiornik przestałby escuchać samodzielnie po tym, jak zgromadził wystarczającą liczbę zrzutów do odtworzenia. To sprawia, że kodowanie zrzutkowe jest naturalnym wyborem dla rozwozu nadmiarowego i wielokanalowego, wymiany plików peer-to-peer, gdzie różne perych mają różne podzbiory danych zakodowanych, oraz komunikacji w przestrzeni głębokiej, gdzie żądania ponownego wysłania są niekorzystne.

Zachowująca się mocna rozkład solitonów i stopień kropli

Serce kodu LT polega na rozkładzie prawdopodobieństwa wykorzystanym do decyzji, ile bloków źródłowych, nazywanych stopniem, ma połączyć każda kropka. Proste podejście polegające na zawsze łączeniu stałego liczby bloków jest nieefektywne: za mało i odczytywanie się zatrzymuje ze względu na brak wystarczającej ilości nadmiarów do nawiązania łańcuchowej reakcji, za dużo i każda kropka staje się nieprzezroczystym połączeniem, które trzeba rozwiązać dopiero w momencie, gdy prawie wszystko inne jest już znane. Kluczowe odkrycie Luby polega na zachowującej się mocnej rozkładzie solitonów, który świadomie tworzy kontrolowany mieszankę stopni: wiele kropel o stopniu jednym, dostarczających natychmiast rozwiązalne bloki źródłowe do zainicjowania łańcuchowej reakcji odczytywania; rozkład małych stopni, aby nowe bloki źródłowe dawali się pokryć i integrować; oraz rzadko występujące kropelne połączenia z dużą częścią pliku, które pomagają zapewnić, że prawdopodobnie każdy blok źródłowy jest pokryty przynajmniej jednym solitonem. Tego dorysowanego zestawu jest dostatecznie dość, aby odczytywanie mogło się powiedzieć z niewielkim nadmiarem stałą czynnika w stosunku do teoretycznej minimalnej liczby kropel potrzebnych, a nie wymagać znacznie więcej kropel niż bloków źródłowych.

Decodowanie propagacją wierzenia: rozwiązywanie zagadki XOR

Decodowanie kodu LT polega na propagowaniu pewności przez graf dwudzielny łączący krople z źródłowymi blokami, do których one zostały scalone. Dekoder utrzymuje pulę otrzymanych kropl i powtarzająco szuka kropli stopnia jednego, co oznacza, że odnosi się dokładnie do jednego źródłowego bloku, który nie został jeszcze odkodowany; ponieważ kropka stopnia jednego jest w rzeczywistości bezpośrednim kopią tego bloku bez kodowania, można ją czytać bezpośrednio. Odkodowany nowy blok jest następnie XOR-owany z każdym innym blokiem, który odnosił się do niego, co może przekształcić niektóre z tych kropli w nowe kropki stopnia jednego, czyniąc to spowoduje dalsze odkodowywania w reakcji łańcuchowej. Ten proces, znany jako peeling lub propagacja wierzenia, kontynuuje się do momentu, aż całe źródłowe pliku zostanie odkodowane, albo do chwili, gdy dekoder zaszedł, ponieważ nie ma już kropli stopnia jednego wśród niesprawdzonych, co oznacza, że potrzebne są dodatkowe kropki z strumienia. Elegancja tego podejścia polega na szybkości: każda operacja XOR jest tania, a skala złożoności dekodowania w ogólności liniowo sięga wielkości pliku dla dobrze dostosowanej rozkładu stopnia, w przeciwieństwie do ciężkiej arytmetyki wielomianowej używanej przez kodery usunięcia algebraiczne, takie jak Reed-Solomon.

Nadmiar, prawdopodobieństwo błędu i praktyczne dostosowanie

Nie każdy kod fontannowy dekoduje się z pełnymi zerami nadmiarem w praktyce; zwykle potrzebna jest kilka dropletów ponad dokładny liczbę k bloków źródłowych, aby zapewnić, że proces peeling nie zamarznie. Ten nadmiar jest kluczowym elementem trade-offu projektowego. Dla kodów LT z rozkładem solitonów o silnej odporności na uszkodzenia, oczekiwany nadmiar rośnie jak pierwiastek kwadratowy z k razy czynnikiem logarytmicznym, co oznacza, że większe pliki stają się w praktyce względnie bardziej efektywne, wymagając mniejszej procentowej ilości dodatkowych dropletów niż mniejsze pliki. Jeśli dekoder zamarznie i pozostaje kilka nieodzyskanych bloków źródłowych, pozostała mała system równań XOR może często być rozwiązana za pomocą nieco eliminacji Gaussowskich jako alternatywy, co wymienia dodatkowe obliczenia w celu zapewnienia zakończenia nawet gdy propagacja przekonania sama się zamarza. Inżynierzy dostosowują parametry rozkładu stopów do równowagi między szybkością dekodowania a nadmiarem dla swojej konkretnej aplikacji, ponieważ rozkład skojarzony z większymi dodatkami nadmiaru w praktyce dekoduje się szybciej i bardziej wiarygodnie przy użyciu jedynie peelinga, podczas gdy lepszy rozkład oszczędza przepustowość, ale ryzykuje częstsze potrzeby użycia solvera alternatywnego.

Od kodów LT do kodów Raptor i ich zastosowań w praktyce

Kodowanie LT było przełomem, ale ich skomplikowana złożoność dekodowania, choć liniowa na średnim poziomie, nadal wymagała wystarczającej liczby droplet i dostatecznej ilości zarządzania graficznym. Poza tym, nowsze zaprojektowane systemy poszły dalej. Kodowanie Raptor, opracowane przez Amina Shokrollahi, dodaje na topie kodu wewnętrznego typu LT z udeloświetlonymi rozkładami stopni, skierowany jest do zewnętrznego kodu o stałym stawieniu, typu prostej krytycznej sprawdzalności. Ta kombinacja osiąga rzeczywistą liniową złożoność dekodowania i kodowania z małym stałą opóźnieniem niezależnym od wielkości pliku, a właściwość ta była dotychczas niewykonana dla kodów LT. Kodowanie Raptor i jego standardizowana wersja RaptorQ były odjęte do rzeczywistych protokołów, takich jak usługi multimedialne 3GPP, standardy DVB-H telewizji mobilnej, a także specyfikacje IETF dotyczące dostawy plików nadmiarowo stratnych sieci. Linia rozwój od oryginalnego pomysłu fountaine'a Luby przez kodowanie LT do kodowania Raptor ilustruje typowy wzór w teorii kodowania: eleganckie konstrukcje probabilistyczne stopniowo tworzą algebraiczną strukturę, aż osiągają efektywność wystarczającą do massowego zastosowania.

Często zadawane pytania