2025-11-17T17:10:13.329885

Function-Correcting Codes for Locally Bounded Functions

Rajput, Rajan, Freij-Hollanti et al.
In this paper, we introduce a class of functions that assume only a limited number $λ$ of values within a given Hamming $ρ$-ball and call them locally $(ρ, λ)$-bounded functions. We develop function-correcting codes (FCCs) for a subclass of these functions and propose an upper bound on the redundancy of FCCs. The bound is based on the minimum length of an error-correcting code with a given number of codewords and a minimum distance. Furthermore, we provide a sufficient optimality condition for FCCs when $λ= 4$. We also demonstrate that any function can be represented as a locally $(ρ, λ)$-bounded function, illustrating this with a representation of Hamming weight distribution functions. Furthermore, we present another construction of function-correcting codes for Hamming weight distribution functions.
academic

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(u1),C(u2))≥2t+1d(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: Bf(u,ρ)={f(u′)∣u′∈F2k e d(u,u′)≤ρ}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

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 | Tipo di Funzione | Valore λ | Limite Superiore di Ridondanza | Ottimalità | |------------------|----------|--------------------------------|------------| | 2t-localmente binaria | 2 | 2t | Ottimale[1] | | Localmente (2t,3) | 3 | N(3,2t) | - | | Localmente (2t,4) | 4 | 3t | Condizionatamente ottimale | | Localmente (2t,λ) generale | λ | N(λ,2t) | - | ### 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.