Existe-t-il des exemples concrets (ou une riche source) d'application des nombres -adiques en informatique?
Existe-t-il des exemples concrets (ou une riche source) d'application des nombres -adiques en informatique?
Réponses:
De, Kurur, Saha et Saptharishi ont donné une version modulaire de l'algorithme de multiplication des nombres entiers de Fürer dans leur article Multiplication des nombres entiers rapides en utilisant l'arithmétique modulaire , dans laquelle les nombres p-adiques remplacent les nombres complexes utilisés par Fürer. Les deux algorithmes donnent la meilleure complexité en bits pour la multiplication d'entiers.
Le levage de Hensel est très étroitement lié aux -adiques: il obtient essentiellement une meilleure et meilleure approximation d'un nombre -adique, "meilleur" dans le sens de "plus proche dans l' évaluation -adique. Le levage de Hensel est utilisé dans de nombreux algorithmes comme factoriser des polynômes ou faire de l'algèbre linéaire sur (si je me souviens bien, Dixon a un papier sur ce dernier).
Il existe également des modèles de calcul:
Voici le premier article: Rusins Freivalds: automates ultramétriques et machines de Turing. Turing-100 2012: 98-112
voici une belle étude générale avec un bref aperçu des diverses applications (récentes) de CS pour la théorie p -adique, p3
Que sont les nombres p-adiques? Pour quoi sont-ils utilisés? / Rozikov
Voici des domaines où la dynamique p-adique s'est avérée efficace: informatique (programmes en ligne droite), analyse numérique et simulations (nombres pseudo-aléatoires), distribution uniforme des séquences, cryptographie (chiffrement de flux, fonctions T), combinatoire (carrés latins) , théorie des automates et langages formels, génétique. La monographie [9] contient l'enquête correspondante. Pour des résultats plus récents, voir les articles et références récents: [10, 14, 15, 28, 36, 37, 38, 48, 51]. De plus, il existe des études en informatique et en cryptographie qui, avec la physique mathématique, ont stimulé dans les années 1990 des recherches intensives en dynamique p-adique car il a été observé que les principales instructions informatiques (et donc les programmes composés de ces instructions) peuvent être considérées comme des transformations continues dans le respect à la métrique 2-adique, voir [11, 12].