quattrocolori, problema deiquattrocolori, problema dei problema classico, nato dalla cartografia e risolto positivamente solo negli anni Settanta del secolo scorso. Il problema nasce da una domanda [...] . Haken giunsero a una risoluzione algoritmica che può essere considerata come una dimostrazione (nel cosiddetto teoremadeiquattrocolori), certamente non di tipo classico, bensì ottenuta attraverso la mole di possibilità esplorate dall’elaboratore ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] (si osservi che in caso positivo si avrebbe una generalizzazione del teoremadeiquattrocolori, perché è noto che un grafo planare non può avere K5 come minore). La congettura della colorazione per liste: supponiamo che gli spigoli di un grafo si ...
Leggi Tutto
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] matematici, così come avvenne nel 1976 per il teoremadeiquattrocolori (data una superficie piana divisa in regioni connesse, come una carta geografica, sono sufficienti quattrocolori per colorare ogni regione in modo che regioni adiacenti non ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] di questi vertici se le due regioni sono adiacenti. Il teoremadeiquattrocolori diventa allora un problema di colorazionedei vertici di un grafo: si richiede una 4-colorazione che assegni colori diversi a due vertici congiunti da un arco. È facile ...
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 [...] -k, cioè con un errore esponenzialmente piccolo.
Verificato elettronicamente il teoremadeiquattrocolori. Tale teorema, secondo il quale quattrocolori sono sufficienti per colorare senza ambiguità le diverse parti di una qualsiasi carta geografica ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] (si osservi che in caso positivo si avrebbe una generalizzazione del teoremadeiquattrocolori, perché è noto che un grafo planare non può avere K5 come minore). La congettura della colorazione per liste: supponiamo che gli spigoli di un grafo si ...
Leggi Tutto
Silicio
Franco Bassani
Come scrive Frederick Seitz nel suo libro sulla storia del silicio, la moderna autostrada informatica e computazionale che ha modificato il nostro modo di comunicare e di produrre, [...] , cosa che avrebbe richiesto secoli agli uomini, e chiudere quindi la dimostrazione della validità del teoremadeiquattrocolori.
Un ulteriore risultato da segnalare è la possibilità di associare i microprocessori alla biologia molecolare, sia ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] per analizzare più di un migliaio di configurazioni possibili. Secondo alcuni autori accettare la dimostrazione del teoremadeiquattrocolori comporta modificare o allargare il nostro senso di dimostrazione, per altri autori, più convincenti, la ...
Leggi Tutto
Perché la matematica?
Marco Rigoli
Lo scopo di questo saggio è presentare al lettore, invitandolo nel contempo a una personale riflessione, alcuni aspetti della matematica che permeano gran parte della [...] da errori, è lecito ritenere, pur completata nei dettagli tecnici, la precedente argomentazione ‘una dimostrazione’ del teoremadeiquattrocolori? Mentre nella matematica assiomatica la logica è uno strumento dimostrativo, si è ora di fronte a una ...
Leggi Tutto
Haken
Haken Wolfgang (Berlino 1928) matematico statunitense di origini tedesche. Specializzato in topologia, è noto soprattutto per aver risolto nel 1976, insieme a K. Appel, il classico problema dei [...] lavori di Haken è l’abbondante utilizzo di metodi algoritmici, che si osserva non soltanto nella dimostrazione del teoremadeiquattrocolori, ottenuta anche con l’aiuto di un potente computer, ma anche in altri lavori di topologia. Oltre che tra i ...
Leggi Tutto
problema
problèma s. m. [dal lat. problema -ătis «questione proposta», gr. πρόβλημα -ατος, der. di προβάλλω «mettere avanti, proporre»] (pl. -i). – 1. Ogni quesito di cui si richieda ad altri o a sé stessi la soluzione, partendo di solito...
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...