Esistono esempi concreti (o una ricca fonte di) esempi di applicazione dei numeri -adici nell'informatica?
Esistono esempi concreti (o una ricca fonte di) esempi di applicazione dei numeri -adici nell'informatica?
Risposte:
De, Kurur, Saha e Saptharishi dato una versione modulare dell'algoritmo interi moltiplicazione del Fürer nel loro articolo moltiplicazione veloce intero usando aritmetica modulare , in cui i numeri p-adic sostituiscono i numeri complessi utilizzati da Fürer. Entrambi gli algoritmi offrono la migliore complessità in bit per la moltiplicazione dei numeri interi.
Il sollevamento di Hensel è strettamente correlato ai -adics: fondamentalmente sta ottenendo un'approssimazione sempre migliore a un numero p -adic, "migliore" nel senso di "più vicino nella valutazione p -adic. Il sollevamento di Hensel è usato in molti algoritmi come polinomi di factoring o algebra lineare su Z (se ricordo bene Dixon ha un articolo su quest'ultimo).
Esistono anche alcuni modelli computazionali:
Ecco il primo articolo: Rusins Freivalds: automi ultrametrici e macchine di Turing. Turing-100 2012: 98-112
ecco un bel sondaggio generale con una breve panoramica di diverse (recenti) applicazioni CS per la teoria p -adica, p3
Cosa sono i numeri p-Adic? A cosa servono? / Rozikov
Qui ci sono aree in cui la dinamica p-adica si è dimostrata efficace: informatica (programmi a linea retta), analisi numerica e simulazioni (numeri pseudocasuali), distribuzione uniforme delle sequenze, crittografia (cifre di flusso, funzioni T), combinatoria (quadrati latini) , teoria degli automi e linguaggi formali, genetica. La monografia [9] contiene l'indagine corrispondente. Per risultati più recenti, vedere articoli e riferimenti recenti: [10, 14, 15, 28, 36, 37, 38, 48, 51]. Inoltre, ci sono studi in informatica e crittografia che insieme alla fisica matematica hanno stimolato la ricerca intensiva del 1990 in dinamica p-adica poiché è stato osservato che le principali istruzioni informatiche (e quindi i programmi composti da queste istruzioni) possono essere considerate trasformazioni continue rispetto alla metrica 2-adica, vedere [11, 12].