17 indizi per risolvere il Sudoku
1Che fosse un numero magico, come molti dei numeri primi, non era in discussione neanche prima. Ma ora il 17 assume un'aura ancora più potente grazie a uno studio irlandese che spiega come questo sia il numero minimo di indizi necessari per risolvere un Sudoku. Gli indizi sono, in questo caso, alcuni numeri da cui partire, già posizionati in alcune caselle. Per dimostrare che con 16 o meno indizi non si arriva a una soluzione univoca, Gary McGuire e il suo team dello University College di Dublino hanno impiegato 7,1 milioni di ore di calcolo all’Irish Centre for High-End Computing.
Infatti, i ricercatori hanno dovuto controllare tutte le possibili griglie con 16 indizi, all’incirca 6.670.903.752.021.072.936.960 schemi (circa 6.671 miliardi di miliardi). Fortunatamente, come spiegano su Arxiv, gli studiosi irlandesi hanno potuto fin da subito ridurre il numero alla minore – seppure sempre considerevole – cifra di 5.472.730.538. Questa riduzione è stata possibile grazie a un algoritmo, detto di forza bruta, in grado di identificare tutti quegli schemi a geometria uguale (quelli in cui numeri diversi, per esempio 6 e 9, occupano le stesse posizioni: la soluzione finale sarà diversa, ma la geometria è identica). Questi ultimi schemi portano quindi a soluzioni multiple.
Successivamente i ricercatori hanno controllato, grazie a un programma chiamato Checker, i 5,5 miliardi di schemi restanti, impiegando praticamente tutto il 2011. Il 1 gennaio di quest’anno hanno finalmente pubblicato online i risultati di tutti questi milioni di ore di calcolo: non esistono schemi a sedici indizi che abbiano una soluzione univoca. Il minimo sono diciassette.
La tesi di McGuire ha ottenuto un discreto consenso a una recente conferenza di matematici appena conclusasi a Boston, dove è stata presentata pubblicamente per la prima volta dai ricercatori irlandesi. Tuttavia, a chi non ama la matematica pura, e cerca un’applicazione pratica di studi e teorie, potrebbe sembrare uno studio che lascia il tempo che trova. Per questo motivo gli scienziati sottolineano il fatto che il loro metodo di ricerca e il loro algoritmo potrebbero trovare facile applicazione in tutti quei campi in cui è necessario esaminare enormi quantità di dati, come il sequenziamento dei genomi o l'analisi dell'espressione genica, ma anche per testare nuovi software.
Riferimenti: Nature doi:10.1038/nature.2012.9751
Arxiv
Credits immagine a Olivander via Flickr
Leggi anche
-
Otto sfide per il 2012
circa un mese fa -
Obiettivo Exaflop
circa un mese fa -
La formula della canzone di successo
2 mesi fa
Commenti lascia un commento
-
7.1 milioni di ore di calcolo = 810.5 anni Mi sfugge qualcosa?
Lascia un commento
Autore
Caterina Visco
Laureata in Scienze Biologiche, ha lavorato come web content editor per il portale medico Yahoo!Salute. Nel 2009, dopo uno stage a Internazionale, approda a Galileo, dove, oltre contribuire alla produzione dei contenuti, è community manager e coordinatrice della redazione. Scrive per diverse testate giornalistiche tra cui L'espresso, Wired, Le Scienze, Mente e Cervello, Nova - Sole 24 ore, Il Venerdì di Repubblica.
Vai alla pagina dell'autore
Oggi su Galileo
-
Così nasce un superbug
circa 14 ore fa -
Una super Terra tutta d'acqua
circa 17 ore fa -
I radiotelescopi raccontano l'origine degli oceani
circa 20 ore fa
Sondaggio
Segui Galileo su
Galileo Servizi Editoriali
Parole per la scienza
Galileo servizi editoriali è un service giornalistico che realizza inchieste per le principali testate italiane, sviluppa progetti di comunicazione per le aziende e gli enti di ricerca, produce formazione universitaria, organizza mostre, eventi, conferenze, realizza pubblicazioni su carta e siti web. vai al sito di Galileo Servizi Editoriali-
Madri dopo la chemio
L'ESPRESSO
Madri dopo la chemio
Mancano poche settimane, e poi la prima donna italiana a rimanere incinta dopo la chemioterapia grazie al trapianto del suo tessuto ovarico sarà madre
E ancora
L'oro in una pianta
Tecnoshop: La scatola del suono
(continua a leggere su L'Espresso n.8)
vai al sito galileoedit.it -
Training d'oro
VELVET DI MARZO
Training d'oro
Costruirsi un corpo atletico non è difficile. Basta seguire le regole e le diete dei campioni che parteciperanno ai Giochi di Londra. Una guida alla portata di tutti
(continua a leggere su Velvet di marzo)
vai al sito galileoedit.it -
Le vie della chimica
SAPERE DI FEBBRAIO
Le vie della chimica
DOSSIER/
LE VIE DELLA CHIMICAUna ricerca fondamentale per affrontare le grandi sfide globali che l'umanità ha di fronte
DONNE E SCIENZA
Nuove strategie contro il gender gap
CRONACHE DI LABORATORIO/EMODINAMICA
Simulazioni ad alta fedeltà con cluster di GPU
ARTE E SCIENZA
C'è una firma frattale nelle tele di Pollock?
GEOPOLITICA
Le mani della Cina sull'Africa
CATTIVA SCIENZA
Cinque grandi bufale del 2011
TERREMOTI
Se l'allarme lo dà il rospo
NANOTECH
Solidi senza peso
vai al sito galileoedit.it -
Epatite C sei in trappola
L'ESPRESSO
Epatite C sei in trappola
Colpire il virus e impedire che si diffonda nell'organismo. Una nuova classe di farmaci cambia il destino di milioni di malati
vai al sito galileoedit.it -
Il cuore al centro
LE SCIENZE
Il cuore al centro
Grazie all'esperienza nel campo del nucleare, SORIN è leader nel campo delle tecnologie medicali per cardiochirurgia e trattamento dei disturbi del ritmo cardiaco
E ancora
La vista più acuta del Cambriano
La Cina in testa nella classifica dei brevetti
Troppi cesarei in Italia
(continua a leggere su Le Scienze di febbraio)
vai al sito galileoedit.it -
Giochi da primate
NATIONAL GEOGRAPHIC KIDS
Giochi da primate
I piccoli di scimpanzé giocano esattamente come i cuccioli di umani: fanno le lotte e si sfidano a ruba bandiera. E nessuno si fa mai male seriamente
(continua a leggere su National Geographic Kids n.17)
vai al sito galileoedit.it
