Un Articolo Da Nerd: Candy Crush È Un Problema "NP- Hard"

Emanuele Natale e Stefano Leucci sono due studenti di dottorato (in Informatica Teorica) che di recente, assieme al ricercatore Luciano Gualà, hanno dimostrato che giocare al famoso gioco Candy Crush è un problema computazionalmente difficile (“NP-hard”; è disponibile il preprint su ArXiv).

La prova consiste nel mostrare come trasformare una formula booleana in un livello del gioco in modo che completare il livello equivalga a trovare un assegnamento di verità delle variabili che soddisfa la formula di partenza.

A un certo punto i nostri hanno pensato che sarebbe stato originale e divertente rendere giocabile tale “dimostrazione”, ed hanno creato il sito: http://candycrush.isnphard.com.


Ci raccontano di seguito la loro esperienza...in un articolo da nerd!

Sicurezza Informatica Grazie Alla Matematica

Pensavate che Marco Cameriero si sarebbe accontentato di contribuire al Carnevale della Matematica #57 con la BETA di un nuovo sito dedicato alla Geometria..senza curve? E, invece, no!

Da oltre la metà dei suoi anni, che sono- badate bene- 17 primavere, il nostro baldo studente liceale si occupa di Programmazione, l'altra sua passione insieme alla Matematica!
Non poteva, quindi, resistere alla sana tentazione di coniugare le due interessanti "signore".

Ecco, infatti, in arrivo un articolo, in cui il "nostro" ci informa che si può avere "Sicurezza informatica grazie alla Matematica".

Avevate sospettato qualcosa del genere, vero? Però, non sono sicura che abbiate sentito parlare di "Algoritmi di hash… e non solo impronte digitali", se non vi occupate di Informatica.

Sorprendenti Diagrammi Per La Fattorizzazione

I sorprendenti diagrammi per la fattorizzazione, che sto per presentarvi, sono opera di  Brent Yorgey, dottorando nel programming languages group presso l'Università della Pennsylvania.

In passato, ha insegnato matematica e informatica e ha lavorato come sviluppatore di software Java. Si è laureato in informatica al Williams College nel nord-ovest del Massachusetts.

Guardate il diagramma per la fattorizzazione del 700:

L’algoritmo Di Johnson-Trotter Su Una Scala Pentatonica

Con "L’algoritmo Di Johnson-Trotter Su Una Scala Pentatonica", segnalo un interessante articolo di Vincenzo La Spesa, autore del sito "The Darshan’s Weblog".


Vincenzo studia presso l'Università degli studi di Palermo e si occupa di: 

C, C++, C#, Java, Bash, Javascript, SQL, Mysql , Postgres, GNU Linux, Debian,Windows, HTML, XHTML, CSS, PaintShopPro, PHP, Ruby, x86 Assembler

Matematica E Computer: Considerazioni Di Uno Studente

Nel post precedente, Conrad Wolfram presenta una sua idea radicale: insegnare ai bambini la matematica vera attraverso la programmazione dei computer.


Come docente di Matematica, in linea generale, concordo. I computer  potrebbero essere uno strumento potentissimo al servizio dell'apprendimento di questa splendida disciplina, ingiustamente bistrattata, ma non si vuole o non si è in grado di vederne i potenziali vantaggi.

Penso che sia rilevante ascoltare la voce dei diretti interessati e principali utenti,  gli studenti, attraverso le condivisibili e lucide considerazioni di uno di loro: Marco.

Didamatica 2012: La Tecnologia Per Una Formazione Protagonista Della Societa' Digitale

Ricevo e publico la seguente notizia.

Si apre oggi a Taranto "Didamatica 2012: La tecnologia per una formazione protagonista della società digitale".

La ventiseiesima edizione del convegno dedicato alle tecnologie digitali  nella didattica
Fino al 16 maggio confronti, esperienze e proposte per il futuro dell’educazione
Didamatica 2012 – Taranto 14 – 16 maggio 2012
II Facoltà di Giurisprudenza, Università degli Studi di Bari, Palazzo Rossaroll (14 maggio)
Facoltà di Scienze MM.FF.NN., Quartiere Paolo VI (15 e 16 maggio)

Computer History Museum: La Storia Del Computer

Il Computer History Museum è l'istituzione leader a livello mondiale che esplora la storia dei computer e del loro impatto sulla società attuale.

The Computer History Museum (ovvero il museo della storia del computer) è un museo fondato nel 1996 a Mountain View in California, che ospita la più grande collezione internazionale di manufatti informatici nel mondo: hardware, software, documentazione, fotografie e immagini in movimento. Il Museo racconta la storia del computer, facendola rivivere attraverso la voce di speaker famosi, un sito web dinamico, un tour sul sito, ed exhibition online.

INFORMAGICA Di Jean-Pierre Petit

INFORMAGICA ovvero "Tutto ciò che avreste voluto sapere sull'informatica e non avete mai osato chiedere" è un altro bel fumetto di Jean-Pierre Petit avente come protagonista il nostro Anselmo Lanturlu, che questa volta si cimenta con il mondo dei pc e dell'informatica.

Ne vedrete delle belle! Vi fornisco qualche dettaglio.

Nella nostra storia, ci sono alcuni calcolatori che, grazie all’istruzione speciale  «abracadabra», vi fa accedere all’interno  della macchina, dove c’è una sorpresa inaspettata quanto singolare:  una comunità di diavoli  che trasportano a rapidissima andatura dei vagoncini pieni di fazzoletti.