Codici Correttori di Funzioni per Funzioni Localmente Limitate

Informazioni Fondamentali

• ID Articolo: 2504.07804
• Titolo: Function-Correcting Codes for Locally Bounded Functions
• Autori: Charul Rajput, B. Sundar Rajan, Ragnar Freij-Hollanti, Camilla Hollanti
• Istituzioni: Aalto University (Finlandia), Indian Institute of Science (India)
• Classificazione: cs.IT, math.IT (Teoria dell'Informazione)
• Data di Pubblicazione: 12 novembre 2025 (arXiv v3)
• Link Articolo: https://arxiv.org/abs/2504.07804

Riassunto

Questo articolo introduce una nuova classe di funzioni — funzioni localmente (ρ, λ)-limitate, che assumono al massimo λ valori finiti all'interno di una sfera di Hamming ρ-dimensionale. Gli autori sviluppano codici correttori di funzioni (FCC) per sottoclassi di queste funzioni e propongono limiti superiori sulla ridondanza basati sulla lunghezza minima del codice. In particolare, quando λ=4, vengono fornite condizioni sufficienti di ottimalità. L'articolo dimostra inoltre che qualsiasi funzione può essere rappresentata come una funzione localmente (ρ, λ)-limitata e illustra il caso della funzione di distribuzione del peso di Hamming, fornendo un metodo di costruzione FCC alternativo per tale funzione.

Contesto di Ricerca e Motivazione

Definizione del Problema

Nella trasmissione e nell'archiviazione dei dati, i tradizionali codici correttori di errori (ECC) mirano a proteggere l'intero vettore di messaggio dagli errori. Tuttavia, in molti scenari pratici, il ricevente è interessato solo a un attributo specifico o a un valore di funzione del messaggio (come output di apprendimento automatico, peso di Hamming, ecc.), non al messaggio completo. I codici correttori di funzioni (FCC) sono progettati precisamente per risolvere questo problema.

Importanza della Ricerca

1. Miglioramento dell'Efficienza: Quando il messaggio è grande ma l'output della funzione è piccolo, proteggere il valore della funzione è più efficiente che proteggere l'intero messaggio
2. Applicazioni Pratiche: Possiede valore significativo in scenari come l'archiviazione di dati d'archivio, la protezione dell'output di algoritmi di apprendimento automatico, la resilienza consapevole del contesto
3. Significato Teorico: Gli FCC forniscono una nuova prospettiva di ricerca per la teoria dell'informazione, collegando la teoria della codifica e la protezione delle funzioni

Limitazioni dei Metodi Esistenti

• Lenz et al. 1 hanno proposto per la prima volta la teoria degli FCC, progettando codifiche per specifiche famiglie di funzioni come funzioni localmente binarie e funzioni di peso di Hamming
• Il lavoro esistente si concentra principalmente su categorie di funzioni specifiche, mancando di un quadro teorico unificato
• La ricerca sui limiti di ridondanza per funzioni generali è insufficiente
• La caratterizzazione delle condizioni di ottimalità non è sufficientemente completa

Punti di Innovazione di Questo Articolo

Questo articolo generalizza le funzioni localmente binarie al quadro più generale delle funzioni localmente (ρ, λ)-limitate, fornendo metodi sistematici di costruzione FCC e analisi teorica per una classe più ampia di funzioni.

Contributi Principali

1. Estensione del Quadro Teorico: Generalizzazione delle funzioni localmente binarie a funzioni localmente (ρ, λ)-limitate, fornendo un sistema di classificazione di funzioni più generale
2. Limiti Superiori di Ridondanza:
   • Per funzioni localmente (2t, 4)-limitate, si dimostra che rf(k,t) ≤ 3t
   • Per funzioni localmente (2t, λ)-limitate generali, si dimostra che rf(k,t) ≤ N(λ, 2t)
3. Condizioni di Ottimalità: Fornite condizioni sufficienti per cui l'FCC raggiunge l'ottimalità quando λ=4 (Teorema 5)
4. Teorema di Rappresentazione di Funzioni: Dimostrazione che qualsiasi funzione può essere rappresentata come una funzione localmente (ρ, λ)-limitata, con analisi specifica della funzione di distribuzione del peso di Hamming
5. Metodi di Costruzione: Forniti metodi sistematici di costruzione FCC basati su mappature di colorazione e codici correttori di errori
6. Istanze di Applicazione: Costruzione ottimale concisa fornita per la funzione di distribuzione del peso di Hamming

Dettagli dei Metodi

Definizione del Compito

Codice Correttore di Funzioni (f, t)-FCC: Data una funzione f: F₂ᵏ → S, una codifica sistematica C: F₂ᵏ → F₂ᵏ⁺ʳ è chiamata (f, t)-FCC se per qualsiasi u₁, u₂ ∈ F₂ᵏ soddisfacente f(u₁) ≠ f(u₂), vale: $d(C(u_1), C(u_2)) \geq 2t+1$

dove d denota la distanza di Hamming. Ciò garantisce il corretto recupero del valore della funzione f(u) anche dopo t errori di bit.

Ridondanza Ottimale: rf(k,t) è definita come la ridondanza minima r di una codifica C: F₂ᵏ → F₂ᵏ⁺ʳ quando esiste un (f, t)-FCC.

Concetti Fondamentali

1. Funzioni Localmente Limitate

Definizione (Sfera di Funzione): La sfera di funzione di raggio ρ della funzione f: F₂ᵏ → S in u ∈ F₂ᵏ è definita come: $B_f(u, \rho) = \{f(u') | u' \in \mathbb{F}_2^k \text{ e } d(u, u') \leq \rho\}$

Definizione (Funzione Localmente (ρ, λ)-Limitata): Se per tutti u ∈ F₂ᵏ, |Bf(u, ρ)| ≤ λ, allora f è chiamata funzione localmente (ρ, λ)-limitata.

Condizione di Continuità: Si assume l'esistenza di un ordine totale ≺ su Im(f) tale che ogni Bf(u, ρ) formi un blocco contiguo (contiguous block).

2. Mappatura di Colorazione (Coloring Mapping)

Idea Centrale del Lemma 1: Per funzioni localmente (ρ, λ)-limitate che soddisfano la condizione di continuità, esiste una mappatura Colf: F₂ᵏ → λ tale che per qualsiasi d(u,v) ≤ ρ con f(u) ≠ f(v), vale Colf(u) ≠ Colf(v).

Metodo di Costruzione:

• Sia Im(f) = {y₀ ≺ y₁ ≺ ... ≺ yₑ₋₁}
• Definire γ: Im(f) → λ, γ(yⱼ) = 1 + (j mod λ) (colorazione ciclica)
• Definire Colf(u) = γ(f(u))

Poiché ogni sfera di funzione è un blocco contiguo di dimensione ≤λ, la colorazione ciclica è iniettiva su di essa, garantendo così la proprietà di separazione.

Metodi di Costruzione FCC

Costruzione 1: Caso λ=4 (Lemma 2)

Funzione di Codifica: Enc(u) = (u, uₚ), dove uₚ = (u'ₚ)ᵗ, e $u'_p = \begin{cases} 000 & \text{se } Col_f(u) = 1\\ 110 & \text{se } Col_f(u) = 2\\ 101 & \text{se } Col_f(u) = 3\\ 011 & \text{se } Col_f(u) = 4 \end{cases}$

Prova di Correttezza:

• Caso 1: Quando d(u,v) ≥ 2t+1, direttamente d(Enc(u), Enc(v)) ≥ 2t+1
• Caso 2: Quando d(u,v) ≤ 2t, dalla proprietà di Colf si ha Colf(u) ≠ Colf(v), quindi d(u'ₚ, v'ₚ) = 2, da cui d(uₚ, vₚ) = 2t, e aggiungendo d(u,v) ≥ 1, la distanza totale ≥2t+1

Ridondanza: rf(k,t) ≤ 3t

Costruzione 2: Caso λ Generale (Teorema 6)

Funzione di Codifica: Utilizzare un codice correttore di errori binario C con λ parole di codice, distanza minima 2t, lunghezza N(λ, 2t). Siano le parole di codice C₁, C₂, ..., Cλ, definire: $Enc(u) = (u, u_p), \quad u_p = C_{Col_f(u)}$

Limite Superiore di Ridondanza: rf(k,t) ≤ N(λ, 2t)

Punti Tecnici Chiave:

• Utilizzo della mappatura di colorazione per mappare i valori di funzione all'insieme finito λ
• Utilizzo dell'ECC per garantire distanza sufficiente tra i bit di ridondanza corrispondenti a colori diversi
• Combinazione astuta della distanza dei bit di informazione e della distanza dei bit di ridondanza

Costruzione 3: Funzione di Distribuzione del Peso di Hamming (Teorema 8)

Per ∆ₜ(u) = ⌊wt(u)/T⌋, quando (4t)/(m-1) ≥ T > (4t)/m:

Funzione di Codifica: Sia a = ⌈m/2⌉ + 1, utilizzare un ECC C con a parole di codice e distanza minima 2t, definire: $Enc(u) = (u, u_p), \quad u_p = C_{\Delta_T(u) \mod a}$

Limite Superiore di Ridondanza: r∆ₜ(k,t) ≤ N(⌈m/2⌉ + 1, 2t)

In particolare, quando t ≥ T > 2t/3, r∆ₜ(k,t) ≤ 3t.

Punti di Innovazione Tecnica

1. Quadro Unificato: Attraverso la limitatezza locale e le condizioni di continuità, unificazione di molteplici categorie di funzioni in un unico quadro
2. Tecnica di Colorazione: Utilizzo innovativo del metodo di colorazione ciclica, trasformazione del problema di mappatura dei valori di funzione in un problema di colorazione combinatoria
3. Progettazione Modulare: Decomposizione della costruzione FCC in due moduli indipendenti: mappatura di colorazione e ECC, miglioramento della flessibilità
4. Combinazione di Teoria e Costruzione: Non solo fornire limiti superiori, ma anche costruzioni esplicite che raggiungono tali limiti
5. Ottimizzazione dei Parametri: Analisi fine dei limiti per diversi intervalli di parametri

Configurazione Sperimentale

Questo articolo è un lavoro puramente teorico e non coinvolge esperimenti nel senso tradizionale. La validità dei metodi è verificata principalmente attraverso prove matematiche e analisi teorica.

Metodi di Verifica Teorica

1. Prova Costruttiva: Attraverso la costruzione esplicita di funzioni di codifica che soddisfano le condizioni, si dimostra la raggiungibilità dei limiti superiori di ridondanza
2. Analisi dei Limiti Inferiori: Utilizzo del limite di Plotkin e della teoria delle matrici di requisiti di distanza per stabilire limiti inferiori di ridondanza
3. Verifica di Ottimalità: Attraverso l'uguaglianza di limiti superiori e inferiori, si dimostra l'ottimalità della costruzione per parametri specifici

Analisi di Casi

Esempi 1-3: Matrice di Requisiti di Distanza

Attraverso funzioni concrete f: F₂² → {0,1}, si illustra il processo di calcolo di DRM e FDM, verificando l'operabilità del quadro teorico.

Esempio 4: Funzione di Riordinamento Lessicografico

Illustrazione di una funzione concreta che soddisfa la condizione di continuità: $f(u) = 0^{k-wt(u)}1^{wt(u)}$

Dimostrazione che la sua sfera di funzione Bf(u, ρ) = {0ᵏ⁻ʲ1ʲ : j ∈ Wu,ρ} forma un blocco contiguo.

Risultati Sperimentali

Risultati Teorici Principali

1. Limiti Superiori di Ridondanza (Risultato Centrale)

Teorema 6: Per funzioni localmente (2t, λ)-limitate, $r_f(k,t) \leq N(\lambda, 2t)$

Lemma 3: N(4, 2t) = 3t (valore esatto)

Corollario: Per funzioni localmente (2t, 4)-limitate, rf(k,t) ≤ 3t

2. Condizioni di Ottimalità

Teorema 5: Per funzioni localmente (2t, 4)-limitate, se |Im(f)| ≥ 3 e esistono u₁, u₂, u₃ soddisfacenti:

• f(ui) ≠ f(uj) (i ≠ j)
• d(u₁, u₂) = 1, d(u₃, u₁) = 1, d(u₃, u₂) = 2

allora rf(k,t) = 3t è ottimale.

Idea della Prova: Attraverso il limite di Plotkin si ottiene il limite inferiore rf(k,t) ≥ 3t, combinato con il limite superiore si ottiene la stretta limitazione.

3. Funzione di Distribuzione del Peso di Hamming

Teorema 7: ∆ₜ è una funzione localmente (2t, ⌊4t/T⌋ + 2)-limitata

Corollari:

• T > 4t: ∆ₜ è una funzione 2t-localmente binaria
• 4t ≥ T > 2t: ∆ₜ è una funzione localmente (2t, 3)-limitata
• t ≥ T > 2t/3: r∆ₜ(k,t) ≤ 3t

Corollario 2: La funzione di peso di Hamming è una funzione localmente (2t, 4t+2)-limitata

Confronto dei Limiti

Scoperte Teoriche

1. Universalità: Qualsiasi funzione f: F₂ᵏ → S può essere rappresentata come una funzione localmente (ρ, λ)-limitata, dove λ = max_{u∈F₂ᵏ} |Bf(u, ρ)|
2. Relazione tra Parametri: Per la funzione di distribuzione del peso di Hamming, λ è inversamente proporzionale alla soglia T: maggiore è T, minore è λ, maggiore è l'efficienza della codifica
3. Relazione di Lunghezza di Codice: Il risultato esatto N(4, 2t) = 3t fornisce garanzie teoriche per il caso λ=4
4. Importanza della Continuità: La condizione di continuità è l'ipotesi chiave per il metodo di costruzione, garantendo l'efficacia della mappatura di colorazione

Lavori Correlati

Teoria Fondamentale degli FCC

Lenz et al. 1 (2023): Prima proposta sistematica del quadro teorico degli FCC

• Definizione della matrice di requisiti di distanza (DRM) e della matrice di distanza di funzione (FDM)
• Costruzioni per funzioni localmente binarie e funzioni di peso di Hamming
• Stabilimento della teoria di base dei limiti superiori e inferiori

Estensioni e Applicazioni

Xia et al. 12 (2024): Estensione al canale di lettura di coppie di simboli

• Proposizione di codici FCC per coppie di simboli (FCSPCs)
• Ottimizzazione per modelli di canale specifici

Premlal & Rajan 13 (2025): Ricerca sui limiti inferiori di ridondanza

• Fornitura di limiti inferiori generali di ridondanza per FCC
• Dimostrazione della stretta limitazione nel caso di funzioni lineari

Ge et al. 14 (2025): Ottimizzazione della funzione di peso di Hamming

• Miglioramento dei limiti di ridondanza della funzione di peso di Hamming
• Fornitura di costruzioni ottimali che raggiungono i limiti inferiori

Singh et al. 15 (2025): Canale di lettura b-simbolo

• Estensione al canale di lettura b-simbolo su campi finiti
• Introduzione di codici di distanza b-simbolo irregolari

Vantaggi Relativi di Questo Articolo

1. Universalità Teorica: Fornitura di un quadro unificato di funzioni localmente limitate, coprendo una classe più ampia di funzioni
2. Sistematicità della Costruzione: Il metodo di costruzione basato su mappatura di colorazione possiede modularità e scalabilità
3. Raffinamento dei Parametri: Fornitura di limiti di ridondanza esatti per diversi valori di λ
4. Flessibilità di Applicazione: Dimostrazione che qualsiasi funzione può essere incorporata in questo quadro, aumentando l'applicabilità della teoria

Conclusioni e Discussione

Conclusioni Principali

1. Quadro Teorico: Stabilimento con successo del sistema teorico di funzioni localmente (ρ, λ)-limitate, generalizzazione del concetto di funzioni localmente binarie
2. Limiti di Ridondanza: Per funzioni localmente (2t, λ)-limitate che soddisfano la condizione di continuità, si dimostra rf(k,t) ≤ N(λ, 2t), in particolare quando λ=4, rf(k,t) ≤ 3t
3. Ottimalità: Fornitura di condizioni sufficienti per raggiungere l'ottimalità nel caso λ=4, e dimostrazione che N(4, 2t) = 3t
4. Universalità: Dimostrazione che qualsiasi funzione può essere rappresentata come una funzione localmente (ρ, λ)-limitata, estensione dell'ambito di applicabilità degli FCC
5. Istanze di Applicazione: Fornitura di costruzioni ottimali concise per la funzione di distribuzione del peso di Hamming

Limitazioni

1. Ipotesi di Continuità: Tutte le costruzioni dipendono dall'ipotesi che le sfere di funzione formino blocchi contigui, limitando l'ambito di applicabilità
   • Non tutte le funzioni localmente limitate soddisfano questa condizione
   • Per funzioni che non soddisfano la continuità, il metodo non è applicabile
2. Limitazione al Dominio Binario: La teoria attuale è rivolta solo a F₂ᵏ, l'estensione a campi finiti generali Fqᵏ non è ancora completata
3. Condizioni di Ottimalità: Solo condizioni sufficienti fornite per λ=4, la caratterizzazione dell'ottimalità per altri valori di λ è incompleta
4. Dipendenza da ECC: Il limite superiore di ridondanza dipende dall'esistenza di N(λ, 2t), mentre la costruzione di ECC ottimali è di per sé un problema difficile
5. Verifica di Praticità: Mancanza di valutazione delle prestazioni in scenari di applicazione reale e analisi della complessità

Direzioni Future

1. Estensione a Campi Finiti: Generalizzazione della teoria a campi finiti generali Fqᵏ (gli autori menzionano che è in corso)
2. Rilassamento della Continuità: Ricerca di costruzioni FCC per funzioni localmente limitate che non soddisfano la condizione di continuità
3. Caratterizzazione Completa dell'Ottimalità: Fornitura di condizioni necessarie e sufficienti di ottimalità per valori generali di λ
4. Complessità Computazionale: Analisi della complessità temporale degli algoritmi di codifica e decodifica
5. Applicazioni Pratiche: Verifica dell'efficacia del metodo in scenari reali come archiviazione di dati e apprendimento automatico
6. Codici Non Sistematici: Ricerca se i codici FCC non sistematici possono ulteriormente ridurre la ridondanza

Valutazione Approfondita

Punti di Forza

1. Innovazione Teorica (★★★★★)

• Generalizzazione di Concetti: La generalizzazione da funzioni localmente binarie a funzioni localmente (ρ, λ)-limitate è naturale e significativa
• Quadro Unificato: Fornitura di una prospettiva unificata per trattare molteplici categorie di funzioni
• Novità Tecnica: Il metodo di mappatura di colorazione trasforma astutamente il problema di protezione delle funzioni in un problema combinatorio

2. Rigore Matematico (★★★★★)

• Tutti i teoremi hanno prove complete e rigorose
• La catena logica è chiara, progredendo sistematicamente dai concetti fondamentali ai risultati principali
• Utilizzo di molteplici strumenti dalla combinatoria e dalla teoria della codifica

3. Completezza dei Risultati (★★★★☆)

• Fornitura di limiti superiori e condizioni di ottimalità
• Metodi di costruzione espliciti forniti
• Verifica della teoria attraverso categorie di funzioni concrete
• Mancanza di ricerca sistematica dei limiti inferiori (principalmente dipendente da risultati esistenti)

4. Chiarezza della Presentazione (★★★★★)

• Struttura chiara, organizzazione ragionevole dalle conoscenze preliminari ai risultati principali
• Illustrazione di concetti astratti attraverso esempi concreti
• Sistema di simboli coerente, definizioni precise

Insufficienze

1. Limitazioni dell'Ambito di Applicabilità

Ipotesi di Continuità: Tutti i Lemma 1 e le costruzioni successive dipendono dall'ipotesi che le sfere di funzione formino blocchi contigui. Sebbene l'Esempio 4 illustri funzioni che soddisfano questa condizione:

• Mancanza di caratterizzazione sistematica di quali funzioni soddisfano questa condizione
• Assenza di metodi alternativi per funzioni che non soddisfano la continuità
• Complessità della verifica della continuità non discussa

2. Completezza Teorica

• Condizioni di Ottimalità: Il Teorema 5 fornisce solo condizioni sufficienti per λ=4, nessun risultato simile per λ>4
• Ricerca dei Limiti Inferiori: Utilizzo principalmente del limite di Plotkin esistente, mancanza di limiti inferiori specializzati per funzioni localmente limitate
• Ottimizzazione dei Parametri: Il valore esatto di N(λ, 2t) è fornito solo per λ=4, altri casi dipendono dalla teoria degli ECC

3. Valutazione di Praticità

• Complessità Computazionale: Mancanza di analisi della complessità temporale della codifica e decodifica
• Applicazioni Pratiche: Assenza di valutazione delle prestazioni in scenari di applicazione concreta (come archiviazione di dati, apprendimento automatico)
• Confronto con ECC: Sebbene l'Osservazione 1 indichi che FCC è superiore a ECC, mancano confronti quantitativi

4. Dettagli Tecnici

• Mappatura di Colorazione: La colorazione ciclica è ottimale? Esistono altri schemi di colorazione?
• Scelta di ECC: Come selezionare l'ECC appropriato per minimizzare N(λ, 2t)?
• Dipendenza dai Parametri: La relazione della ridondanza con k (lunghezza dell'informazione) non è esplicitamente chiarita

Impatto

Contributo al Campo (★★★★☆)

1. Estensione Teorica: Fornitura di importante generalizzazione della teoria degli FCC, colmatura del divario tra funzioni localmente binarie e funzioni generali
2. Metodologia: Il metodo di mappatura di colorazione fornisce un nuovo strumento per ricerche successive
3. Potenziale di Applicazione: La dimostrazione che qualsiasi funzione può essere rappresentata come funzione localmente limitata amplia l'ambito di applicabilità degli FCC

Valore Pratico (★★★☆☆)

• Orientamento Teorico: Attualmente principalmente contributo teorico, applicazioni pratiche richiedono ulteriore lavoro
• Fattibilità della Costruzione: I metodi di costruzione forniti sono direttamente implementabili, con base pratica
• Flessibilità dei Parametri: Diversi valori di λ corrispondono a diversi scenari di applicazione, fornendo flessibilità di progettazione

Riproducibilità (★★★★★)

• Tutte le costruzioni hanno algoritmi espliciti
• Le prove sono complete e indipendentemente verificabili
• Gli esempi sono concreti e facilitano la comprensione e l'implementazione

Scenari di Applicabilità

1. Scenari Ideali

• Caratteristiche della Funzione: Le sfere di funzione formano blocchi contigui (come la funzione di distribuzione del peso di Hamming)
• Intervallo di Parametri: λ relativamente piccolo (come λ≤4), ottenimento di limiti stretti
• Esigenze di Applicazione: Protezione solo del valore della funzione piuttosto che del messaggio completo

2. Applicazioni Concrete

• Archiviazione di Dati: Protezione dei metadati di dati d'archivio (come dimensione del file, checksum)
• Apprendimento Automatico: Protezione dell'output di classificazione, confidenza, ecc.
• Calcolo Distribuito: Protezione del valore di funzione dei risultati di calcolo intermedi
• Internet delle Cose: Protezione delle quantità statistiche dei dati dei sensori

3. Scenari Non Applicabili

• Le sfere di funzione non formano blocchi contigui
• Necessità di proteggere il messaggio completo (in questo caso ECC è più appropriato)
• λ molto grande (vicino a |Im(f)|), vantaggio degli FCC non evidente

Riferimenti Bibliografici (Riferimenti Chiave)

1 A. Lenz, R. Bitar, A. Wachter-Zeh, and E. Yaakobi, "Function-correcting codes," IEEE Trans. Inf. Theory, 2023.

• Lavoro fondamentale degli FCC, stabilimento del quadro teorico di base

13 R. Premlal and B. S. Rajan, "On function-correcting codes," IEEE Trans. Inf. Theory, 2025.

• Ricerca sui limiti inferiori di ridondanza, fornitura di base teorica per questo articolo

14 G. Ge, Z. Xu, X. Zhang, and Y. Zhang, "Optimal redundancy of function-correcting codes," arXiv preprint, 2025.

• Costruzione ottimale della funzione di peso di Hamming, comparabile con la costruzione di questo articolo

17 M. Plotkin, "Binary codes with specified minimum distance," IRE Trans. Inf. Theory, 1960.

• Limite di Plotkin, utilizzato per la dimostrazione dei limiti inferiori

Valutazione Complessiva

• Innovazione Teorica: ★★★★★
• Profondità Tecnica: ★★★★☆
• Valore Pratico: ★★★☆☆
• Qualità della Presentazione: ★★★★★
• Valutazione Complessiva: ★★★★☆

Questo è un articolo di alta qualità di ricerca teorica che fornisce importanti contributi teorici nel campo degli FCC. La proposizione del quadro di funzioni localmente limitate e l'applicazione del metodo di mappatura di colorazione sono entrambe innovative. Sebbene ci sia spazio per miglioramenti nella verifica di praticità e nella completezza teorica, come ricerca teorica fondamentale, questo articolo pone una base solida per il lavoro successivo. Particolarmente adatto per i ricercatori interessati alla teoria della codifica e alla teoria dell'informazione.