teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] per la prima volta nel 1852, il problema è stato finalmente risolto nel 1977 da Kenneth Appell e Wolfgang Haken mediante una dimostrazione che (pur notevolmente semplificata in seguito) richiede il ricorso a verifiche via computer. Fondamentali in un ...
Leggi Tutto
Il concetto di complessità è differentemente definito e utilizzato in discipline anche assai diverse fra loro. Il fisico S. Loyd ha contato ben 45 possibili definizioni di complessità, ma le definizioni [...] del 20° secolo; in particolare il gruppo di I. Prigogine alla Université libre de Bruxelles e il gruppo di H. Haken e W. Weidlich dell'Istituto di fisica teorica dell'Università di Stoccarda, che si sono entrambi occupati di problemi economici. Anche ...
Leggi Tutto
colore
colóre [Der. del lat. color -oris] [LSF] Sensazione visiva che si prova illuminando un corpo con una luce non monocromatica in dipendenza della varia composizione spettrale di questa, e anche [...] minimo di c. necessari per colorare convenientemente la carta. Il problema è stato risolto nel 1976 da W. Haken che, con una dimostrazione assistita da un calcolatore elettronico, ha dimostrato che qualunque carta può essere colorata con quattro ...
Leggi Tutto
Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] merita la dimostrazione della verità della congettura dei quattro colori, realizzata nel 1976 da K. Appel e W. Haken mediante un’elencazione, esaustiva di tutte le possibili configurazioni, ottenuta mediante un elaboratore; non sono mancate critiche ...
Leggi Tutto