tag:blogger.com,1999:blog-31426916.post5897750374361583912..comments2024-03-28T22:48:04.078+01:00Comments on Gli studenti di oggi: Una pecora, in un campo, con un lato nerozarhttp://www.blogger.com/profile/05055303656305567517noreply@blogger.comBlogger8125tag:blogger.com,1999:blog-31426916.post-76982484974070698872013-03-25T23:00:19.830+01:002013-03-25T23:00:19.830+01:00Leggendo semplicemente il sorgente purtroppo non s...Leggendo semplicemente il sorgente purtroppo non sempre è sufficiente; si può leggere quello che in qualche modo viene "previsto" ma non quello che non è stato considerato ed è proprio lì che sta la debolezza del codice. Il codice perfetto non esiste se non quando "appoggiato" a leggi matematiche o comunque proprietà decidibili ed enumerabili (come fa presente G. Lipari). Concordo comunque sul fatto che tutto dipende dalla tipologia di problema e dalle soluzioni che si mettono in atto.<br />Aspetto il tuo prossimo articolo: l'argomento è di quelli interessanti.Marcohttp://www.marcosroom.it/Didatticando/Tra_I_Numeri/Default.aspxnoreply@blogger.comtag:blogger.com,1999:blog-31426916.post-59895699701813083362013-03-25T19:49:31.154+01:002013-03-25T19:49:31.154+01:00In informatica si fanno spesso le dimostrazioni pe...In informatica si fanno spesso le dimostrazioni per enumerazione. Per esempio, il famoso "model checking" corrisponde (più o meno, eh) nell'enumerare (in maniera più o meno furba) tutti i possibili stati di un sistema per scoprire se certe proprietà sono vere oppure no. E funziona abbastanza bene, se le proprietà sono decidibili... Giuseppe Liparihttps://www.blogger.com/profile/00725132152602547855noreply@blogger.comtag:blogger.com,1999:blog-31426916.post-1152557010689788602013-03-25T18:19:35.848+01:002013-03-25T18:19:35.848+01:00Bé, leggendo il sorgente del programma, possiamo v...Bé, leggendo il sorgente del programma, possiamo vedere se considera tutte le mosse oppure no. Dipende dal programma, e dipende dal problema.zarhttps://www.blogger.com/profile/05055303656305567517noreply@blogger.comtag:blogger.com,1999:blog-31426916.post-22666207321326205292013-03-25T17:02:49.688+01:002013-03-25T17:02:49.688+01:00"Un programma che analizza tutte le mosse&quo..."<i>Un programma che analizza tutte le mosse</i>"... e proprio qui potrebbe stare il problema: come facciamo ad essere certi che il programma abbia davvero preso in considerazione tutte le mosse?<br /><br />La discussione sulla validità di una dimostrazione via 'puter è sempre accesa e gli schieramenti sono abbastanza arroccati sulle proprie idee. Proprio oggi è uscito <a href="http://www.galileonet.it/articles/51501eafa5717a059b000118" rel="nofollow">questo articolo</a>; potrebbe esserci qualche spunto per il tuo eventuale articolo.<br />Se ne riparla eventualmente domani.<br />Marcohttp://www.marcosroom.it/Didatticando/Tra_I_Numeri/Default.aspxnoreply@blogger.comtag:blogger.com,1999:blog-31426916.post-21714558859934335152013-03-25T16:52:56.180+01:002013-03-25T16:52:56.180+01:00e io commenterò (positivamente) domani. e io commenterò (positivamente) domani. .mau.https://www.blogger.com/profile/09641196427325175260noreply@blogger.comtag:blogger.com,1999:blog-31426916.post-5698111184127411042013-03-25T16:52:02.816+01:002013-03-25T16:52:02.816+01:00D'accordo sul fatto che i quesiti da risolvere...D'accordo sul fatto che i quesiti da risolvere a tentativi non siano un gran che. Però non sono d'accordo sul fatto che un programma che analizza tutte le mosse non sia una dimostrazione. Ne parlo domani :-)zarhttps://www.blogger.com/profile/05055303656305567517noreply@blogger.comtag:blogger.com,1999:blog-31426916.post-46522645585789532013-03-25T14:43:40.007+01:002013-03-25T14:43:40.007+01:00In sei anni che partecipo non era mai successa una...In sei anni che partecipo non era mai successa una cosa del genere, ovvero soluzioni che cambiano a gara ormai conclusa. Già il giorno dopo se ne parlava su <a href="http://www.lanostra-matematica.org/2013/03/semifinale-giochi-matematici-16-marzo.html" rel="nofollow">Matem@ticamente</a> (per chi è interessato ci sono tutti i quesiti con tutte le soluzioni, alche il procedimento del quesito 6 con i 22 passaggi passo passo). <br />Negli anni ci sono stati quesiti che andavano risolti "a tentativi", ma sempre con tentativi numericamente abbastanza limitati. Salendo con gli ipotetici tentativi minimi (22 son ben tanti), le combinazioni possibili aumentano enormemente e già da questo si doveva capire che non era un quesito ideale per i giochi matematici dove anche il tempo ha la sua importanza.<br />Comunque, tornando al "lato nero del campo", non c'è certezza senza dimostrazione. Rimane quindi il dubbio che i 22 passaggi non siano realmente il minor numero. M'era venuta quasi la voglia di impostare un brute force, ma anche scoprendo (improbabile) un numero di tentativi minore di 22 non si sarebbe trattato di dimostrazione e quindi niente certezza. Poi da Milano hanno ufficializzato il 22 e a quel punto non valeva più la pena di perderci tempo.<br />A parte questa situazione particolare, io comunque abolirei completamente quesiti da risolvere a tentativi; non ne vedo l'utilità logico-matematica.<br />Un saluto<br />MarcoMarcohttp://www.marcosroom.it/Didatticando/Tra_I_Numeri/Default.aspxnoreply@blogger.comtag:blogger.com,1999:blog-31426916.post-39907143389088900542013-03-25T14:39:43.102+01:002013-03-25T14:39:43.102+01:00per completezza aggiungo che io ci ho provato per ...per completezza aggiungo che io ci ho provato per una decina di minuti e non ho trovato una soluzione né in 22, né in 24 né in 26 mosse..mau.https://www.blogger.com/profile/09641196427325175260noreply@blogger.com