teoriadeigrafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. deigrafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] lati), stabilire se sia possibile determinare un percorso che partendo da uno dei vertici attraversi tutti i lati una e una sola volta. Da allora la teoriadeigrafi ha subito un sorprendente sviluppo con applicazione a vari settori delle scienze ...
Leggi Tutto
Nel linguaggio scientifico, struttura relazionale formata da un insieme finito di oggetti detti nodi o vertici, e da un insieme di relazioni tra coppie di oggetti dette archi o spigoli. Per indicare un [...] una rete idraulica i collegamenti sono tipicamente bidirezionali (a meno che nell’impianto esistano valvole).
Sviluppi della teoriadeigrafi
L’origine storica della teoria del g. è in genere fatta risalire a una memoria di L. Eulero del 1736, nella ...
Leggi Tutto
Botanica
Pianta perenne legnosa, con fusto diritto, colonnare, che solo a qualche metro d’altezza porta rami o un ciuffo di grandi foglie. Il fusto dell’a. è chiamato tronco; mentre la chioma è l’insieme [...]
Informatica
Struttura di dati che realizza un a. radicato, che ha cioè origine da un unico punto (nodo radice). Come in teoriadeigrafi, un a. è costituito da punti o nodi (che contengono informazioni) e rami (che collegano nodi). Nodi da cui non ...
Leggi Tutto
Negli ultimi anni si sono straordinariamente diffuse calcolatrici elettroniche di piccolissime dimensioni e di grandi prestazioni, le cosiddette calcolatrici tascabili o da tavolo. Queste macchine, la [...] di 1 il valore di i.
L'interpretazione del grafo è la seguente. S'inizia dal nodo I e seguendo prossimo numero ai alla somma s dei suoi predecessori e a sottrarre 1 , Calcolatori elettronici. Introduzione alla teoria delle reti logiche, Milano 1972 ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] lineare non è più necessario e il problema della ricostruzione quantitativa si può ridurre a una semplice applicazione della teoriadeigrafi. Il risultato finale è una ricostruzione della struttura della scena che è unica a meno di un numero di ...
Leggi Tutto
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] dimostrazioni che richiedono un gran numero di calcoli non controllabili dall’uomo, come, per es., i calcoli sui nodi di un grafo che hanno portato alla dimostrazione nell’ambito della teoriadeigrafi del problema dei quattro colori (➔ colore). ...
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, [...] ) hanno proposto una soluzione di costo O(nm log(n²/m)) per grafi con n nodi e m archi, trent'anni dopo il classico (ma multiplo di n, allora n è composto. La teoriadei numeri consente di dimostrare che esistono opportune definizioni di ...
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 [...] come devono essere M1, M2 e M3, provengono dalla teoriadei numeri primi e dall'aritmetica modulare. Un intero è e io, senza fargli sapere quale ho scelto, permuto le etichette dei due grafi. Se il mio interlocutore è veramente un oracolo, può dirmi ...
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. [...] di Dyck, dal nome di uno studioso di teoriadei gruppi (che però appartiene a un periodo precedente 2. Un esempio di problema della classe IP è quello del non-isomorfismo deigrafi. Il Verificatore sceglie a caso un indice i∈{1,2} e una permutazione ...
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 [...] studiano nella teoriadei linguaggi formali.
Automi e gruppi
Nella teoriadei gruppi, la teoria computazionale è . Un esempio di problema della classe IP è quello del non-isomorfismo deigrafi. Il verificatore sceglie a caso un indice i∈{1,2} e una ...
Leggi Tutto
grafo
s. m. [dal tema del gr. γράϕω «scrivere»]. – In matematica, configurazione (detta più propriam. g. lineare o singramma) formata da un insieme di punti (vertici o nodi del g.) e di linee (lati o spigoli del g.) che uniscono coppie di...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...