quattro colori, problema dei 

quattro colori, 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 teorema dei quattro colori), certamente non di tipo classico, bensì ottenuta attraverso la mole di possibilità esplorate dall’elaboratore

quattro colori, problema dei

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 teorema dei quattro colori, 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

combinatòria

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 teorema dei quattro colori (data una superficie piana divisa in regioni connesse, come una carta geografica, sono sufficienti quattro colori per colorare ogni regione in modo che regioni adiacenti non

intelligènza artificiale

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 teorema dei quattro colori diventa allora un problema di colorazione dei vertici di un grafo: si richiede una 4-colorazione che assegni colori diversi a due vertici congiunti da un arco. È facile

Enciclopedia Italiana - VI Appendice (2000)

Finito

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 teorema dei quattro colori. Tale teorema, secondo il quale quattro colori sono sufficienti per colorare senza ambiguità le diverse parti di una qualsiasi carta geografica

La grande scienza. Cronologia scientifica: 1971-1980

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 teorema dei quattro colori, 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

La grande scienza. Combinatoria

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 teorema dei quattro colori.
Un ulteriore risultato da segnalare è la possibilità di associare i microprocessori alla biologia molecolare, sia

Enciclopedia della Scienza e della Tecnica (2007)

Silicio

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 teorema dei quattro colori comporta modificare o allargare il nostro senso di dimostrazione, per altri autori, più convincenti, la

Storia della civiltà europea a cura di Umberto Eco (2014)

La matematica del Novecento

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 teorema dei quattro colori? Mentre nella matematica assiomatica la logica è uno strumento dimostrativo, si è ora di fronte a una

PERCHE LA MATEMATICA?

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 teorema dei quattro colori, ottenuta anche con l’aiuto di un potente computer, ma anche in altri lavori di topologia. Oltre che tra i

Haken

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 ...

problèma

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 ...