Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] ) di un problema, al quale viene attribuita la c. dell'algoritmo che lo risolve (v. informatica, App. V, ii, p , la comparsa della sessualità ha provocato un incremento della diversità genetica e della c. dei sistemi viventi. La sua enorme diffusione ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] e, grazie a questa tecnica, realizza la prima mappa genetica del DNA dello stesso virus. Nathans condividerà con W si basa sulla difficoltà di fattorizzare un numero con gli algoritmi attualmente noti.
Irrazionalità di ζ(3). Il francese Roger Apéry ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] log logn), anziché in tempo O(n2) come avviene per l'algoritmo classico.
La teoria delle basi di Gröbner. L'austriaco Bruno Buchberger di Eduardo Scarano, del Laboratorio Internazionale di Genetica e Biofisica di Napoli.
Scoperte le mutazioni ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] morta 30 milioni di anni fa ca.; ciò indica che le molecole genetiche si conservano assai più a lungo di quello che si pensava sinora.
Nasce L'informatico americano Peter Shor trova un algoritmo efficiente (cioè polinomiale) di fattorizzazione per ...
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. [...] dalla stessa parola, si definisce 'coppia critica'.
Esiste un algoritmo che permette di completare un sistema di riscrittura e trasformarlo molecolare, e in particolare la scoperta del codice genetico, hanno aperto un nuovo campo di ricerca, la ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] New York, riesce a trasformare con i metodi dell'ingegneria genetica il vaccino per il vaiolo in vaccini contro l'herpes, parte simili ai neuroni normali.
Messo a punto l'algoritmo BLAST. Questo strumento (basic local alignment search tool computer ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] per la chimica.
Il modo di operare dei geni. Il genetista Tracy M. Sonneborn sostiene che i geni per operare necessitano teoria delle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel ...
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 [...] tali che per ogni n>n′, per ogni dato di dimensione n, l'algoritmo esegue un numero di passi limitato da cf(n) e che i logaritmi utilizzati in essere eseguite sono quelle classiche della manipolazione genetica: per esempio, individuare e separare ...
Leggi Tutto
metodo
mètodo s. m. [dal lat. methŏdus f., gr. μέϑοδος f., «ricerca, indagine, investigazione», e anche «il modo della ricerca», comp. di μετα- che include qui l’idea del perseguire, del tener dietro, e ὁδός «via», quindi, letteralmente «l’andar...