Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] più piccole. Volker Strassen mostrò per primo che, se il prodotto di due matrici quadrate di ordine 2n è fattorizzabile nel prodotto di matrici quadrate di ordine n, un ingegnoso metodo di combinazione delle matrici più piccole consente di ottenere ...
Leggi Tutto
Crittografia
GGiancarlo Bongiovanni
di Giancarlo Bongiovanni
SOMMARIO: 1. Introduzione e definizioni. ▭ 2. Cenni storici. ▭ 3. Crittografia a chiave segreta: a) l'algoritmo DES; b) l'algoritmo IDEA; [...] . Un esempio, come già detto, è il cifrario RSA: se in futuro dovesse venir trovato un metodo per fattorizzare velocemente grandi numeri, RSA diverrebbe inutilizzabile. Al proposito è interessante notare che esiste un modello teorico di calcolo detto ...
Leggi Tutto
Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] del c. quantistico.
Uno dei risultati più importanti del c. quantistico è l'algoritmo di P.W. Shor per la fattorizzazione (decomposizione in fattori primi) di numeri interi: nel 1994 Shor ha infatti dimostrato che nel modello di c. quantistico tale ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] su idee che rientrano nel campo degli automi finiti e dei linguaggi formali. Uno dei più famosi è il metodo di Ziv-Lempel che fattorizza l'input in blocchi x1x2…xn… dove xn è la parola più corta tra quelle che non si trovano nella lista (x1,x2,…,xn ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] idee che rientrano nel campo degli automi finiti e dei linguaggi formali. Uno dei più famosi è il metodo di Ziv-Lempel, che fattorizza l'ingresso in blocchi x12…xn…, dove è la parola più corta tra quelle che non si trovano nella sequenza (x1,x2,…,xn ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] di principio, i calcolatori quantistici potrebbero essere più potenti di quelli deterministici poiché essi consentono di eseguire la fattorizzazione di un intero in tempo polinomiale, cosa che viene ritenuta non possibile con un normale calcolatore ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] più piccole. Volker Strassen mostrò per primo che, se il prodotto di due matrici quadrate di ordine 2n è fattorizzabile nel prodotto di matrici quadrate di ordine n, un ingegnoso metodo di combinazione delle matrici più piccole consente di ottenere ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] , i calcolatori quantistici potrebbero essere più potenti di quelli deterministici, in quanto essi consentono di eseguire la fattorizzazione di interi in tempo polinomiale ed effettuare operazioni di ricerca in un insieme di n dati non ordinati ...
Leggi Tutto
fattorizzazione1
fattoriżżazióne1 s. f. [der. di fattorizzare]. – Operazione matematica, eseguibile in un insieme algebrico in cui sia definita una moltiplicazione, consistente nel decomporre, cioè nell’esprimere un elemento dell’insieme come...