{"id":616,"date":"2015-08-12T22:19:09","date_gmt":"2015-08-12T20:19:09","guid":{"rendered":"http:\/\/xmau.com\/wp\/ilpost\/?p=616"},"modified":"2022-10-11T13:45:27","modified_gmt":"2022-10-11T11:45:27","slug":"cioccolatisti-morigerati","status":"publish","type":"post","link":"https:\/\/xmau.com\/ilpost\/2015\/08\/12\/cioccolatisti-morigerati\/","title":{"rendered":"Cioccolatisti morigerati"},"content":{"rendered":"<p>Jacopo e Cecilia hanno trovato una tavoletta di cioccolato di dimensioni <i>m<\/i>&times;<i>n<\/i> (sia <i>m<\/i> che <i>n<\/i> sono maggiori di 1) e intendono mangiarsela. Per\u00f2 hanno promesso al loro pap\u00e0 (io) di non essere troppo ingordi, e quindi hanno inventato un modo piuttosto peculiare per dividersela. A turni alterni un bambino divide la tavoletta in due parti su una delle suddivisioni. La divisione deve lasciare due parti di dimensioni diverse, quindi non \u00e8 permesso tagliarla a met\u00e0: a questo punto il bambino si mangia la parte pi\u00f9 piccola. Quando non \u00e8 pi\u00f9 possibile fare una suddivisione di questo tipo, chi rimane col cerin&#8230; ehm, con la tavoletta in mano perde, e l&#8217;altro si prende tutta per s\u00e9 la seconda tavoletta che mi ero dimenticato di dire che i due avevano trovato: morigerati s\u00ec, ma non molto. <\/p>\n<p>Tanto per fissare le idee, il gioco termina quando si arriva a una tavoletta 2&times;2, che pu\u00f2 essere solo divisa in due parti 1&times;2 che per\u00f2 sono uguali: non \u00e8 mai possibile arrivare a una tavoletta 1&times;<i>n<\/i>, perch\u00e9 una tavoletta 2&times;<i>n<\/i> non pu\u00f2 essere divisa a met\u00e0 e in una <i>m<\/i>&times;<i>n<\/i> con <i>m<\/i>&ge;3 un taglio sulle righe ne lascia almeno 2. Avete idea di come trovare le tavolette vincenti, senza leggere la soluzione qui sotto?<\/p>\n<p><!--more-->Per la cronaca, il gioco \u00e8 stato proposto su <a href=\"http:\/\/puzzling.stackexchange.com\/questions\/18308\/non-greedy-chocolate-eaters\">Stack Exchange<\/a>, dove potete trovare due risposte equivalenti. La mia soluzione procede alla rovescia per semplicit\u00e0 espositiva. Ricordo a chi non \u00e8 avvezzo alle dimostrazioni di strategie vincenti nei giochi a due di questo tipo &#8211; dove cio\u00e8 chi non ha pi\u00f9 mosse a disposizione perde &#8211; che una posizione \u00e8 vincente quando esiste una mossa che lascia l&#8217;avversario in una posizione perdente ed \u00e8 perdente quando tutte le mosse possibili lasciano l&#8217;avversario in una posizione vincente.<\/p>\n<p>Sappiamo che 2&times;2 \u00e8 una posizione perdente: vediamo cosa possiamo dire per un generico 2&times;<i>n<\/i>. 2&times;3 \u00e8 vincente: si mangia un pezzo 2&times;1 e si lascia 2&times;2. 2&times;4 \u00e8 perdente: l&#8217;unica possibilit\u00e0 ammessa \u00e8 mangiare un pezzo 2&times;1 e quindi si lascia l&#8217;avversario in una posizione vincente. Quindi le posizioni da 2&times;5 a 2&times;7 sono vincenti (si lascia all&#8217;avversario la tavoletta 2&times;4), la 2&times;8 \u00e8 perdente (si deve lasciare una di quelle da 2&times;5 a 2&times;7), e penso sia abbastanza chiaro a tutti che si pu\u00f2 dimostrare per induzione che tutte le posizioni 2&times;2<sup><i>k<\/i><\/sup>, con <i>k<\/i>&ge;1, sono perdenti mentre le altre 2&times;<i>n<\/i> sono vincenti. <\/p>\n<p>Ora andiamo avanti: possiamo supporre senza perdita di generalit\u00e0 che <i>m<\/i>&le;<i>n<\/i>. 3&times;3 \u00e8 evidentemente perdente, perch\u00e9 l&#8217;unica mossa possibile manda in 2&times;3 che \u00e8 vincente. 3&times;4 e 3&times;5 sono pertanto vincenti, visto che si pu\u00f2 arrivare a 3&times;3; 3&times;6 \u00e8 perdente perch\u00e9 si pu\u00f2 andare a 2&times;6 (che abbiamo visto prima essere vincente) oppure 3&times;4 o 3&times;5 che sono anch&#8217;esse vincenti; da 3&times;7 a 3&times;11 si pu\u00f2 arrivare a 3&times;6 e quindi tutte quelle sono posizioni vincenti. Immagino che non abbiate problemi a dimostrare &#8211; sempre per induzione &#8211; che le posizioni 3&times;(3&middot;2<sup><i>k<\/i><\/sup>) siano perdenti e le altre 3&times;<i>n<\/i> vincenti, e forse a questo punto siete anche pronti a immaginare la regola generale: le posizioni <i>m<\/i>&times;(<i>m<\/i>&middot;2<sup><i>k<\/i><\/sup>) sono perdenti, le altre vincenti. Qui sotto uno sketch of proof, sono troppo pigro per mettere tutti i dettagli.<\/p>\n<p>Innanzitutto, da una posizione <i>m<\/i>&times;<i>m<\/i> con <i>m<\/i>&gt;2 si pu\u00f2 solo arrivare a una posizione <i>r<\/i>&times;<i>m<\/i> e l&#8217;avversario pu\u00f2 giungere a <i>r<\/i>&times;<i>r<\/i>, lasciandoci quindi in una posizione perdente per ipotesi induttiva. Nel caso di una posizione <i>m<\/i>&times;(<i>m<\/i>&middot;2<sup><i>k<\/i><\/sup>) i casi sono due: se si tolgono delle colonne arrivando a <i>m<\/i>&times;<i>w<\/i> il nostro avversario pu\u00f2 sempre passare a <i>m<\/i>&times;(<i>m<\/i>&middot;2<sup><i>k<\/i>&minus;1<\/sup>) (perch\u00e9?) che \u00e8 perdente sempre per ipotesi induttiva: se invece si tolgono delle righe arrivando a <i>r<\/i>&times;(<i>m<\/i>&middot;2<sup><i>k<\/i><\/sup>) il nostro avversario pu\u00f2 sempre passare a <i>r<\/i>&times;(<i>r<\/i>&middot;2<sup><i>k<\/i><\/sup>) (perch\u00e9?) che di nuovo \u00e8 perdente per ipotesi induttiva. Tutto qua.<\/p>\n<p>Morale della favola? Se si inizia con calma a provare i casi facili magari pu\u00f2 venire un&#8217;idea della soluzione. Tentar non nuoce :-)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Un gioco per cui si pu\u00f2 trovare una strategia vincente senza eccessiva fatica. <\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":4,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[1],"tags":[82,26],"class_list":["post-616","post","type-post","status-publish","format-standard","hentry","category-uncategorized","tag-induzione","tag-problemi"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-9W","jetpack-related-posts":[{"id":2481,"url":"https:\/\/xmau.com\/ilpost\/2012\/02\/23\/quando-i-matematici-sbagliano\/","url_meta":{"origin":616,"position":0},"title":"Quando i matematici sbagliano","author":".mau.","date":"23\/02\/2012","format":false,"excerpt":"Perch\u00e9 preoccuparsi delle smentite in fisica? Persino in matematica una dimostrazione non \u00e8 sempre corretta.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2642,"url":"https:\/\/xmau.com\/ilpost\/2013\/10\/07\/il-numero-di-dio\/","url_meta":{"origin":616,"position":1},"title":"Il Numero di Dio","author":".mau.","date":"07\/10\/2013","format":false,"excerpt":"Il cubo di Rubik pu\u00f2 sermpre essere risolto in al pi\u00f9 venti mosse. Come lo si \u00e8 scoperto? Usando la forza bruta.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"un cubo di Rubik","src":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/a\/a6\/Rubik%27s_cube.svg\/200px-Rubik%27s_cube.svg.png","width":350,"height":200},"classes":[]},{"id":2648,"url":"https:\/\/xmau.com\/ilpost\/2013\/10\/26\/godel-dio-e-repubblica\/","url_meta":{"origin":616,"position":2},"title":"G\u00f6del, Dio e Repubblica","author":".mau.","date":"26\/10\/2013","format":false,"excerpt":"Stamattina mia moglie mi aveva detto di aver letto qualcosa oggi su Repubblica a riguardo di due ricercatori che avevano \"dimostrato il teorema di G\u00f6del\". Ammetto di non averci fatto troppo caso, non ero nemmeno troppo sveglio. Poi mi \u00e8 capitato di vedere su Facebook la condivisione di questo articolo\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":607,"url":"https:\/\/xmau.com\/ilpost\/2015\/08\/22\/soluzioni-ai-quizzini-di-ferragosto-2015\/","url_meta":{"origin":616,"position":3},"title":"Soluzioni ai quizzini di Ferragosto 2015","author":".mau.","date":"22\/08\/2015","format":false,"excerpt":"Ecco le soluzioni ai quizzini della scorsa settimana! 1. Moltiplicate i puntini Se b fosse 5 oppure 6, la prima cifra del prodotto sarebbe 3. Se b fosse 1, 2 oppure 3, la prima cifra del prodotto sarebbe 0 oppure 1. Dunque b \u00e8 4, e a questo punto \u00e8\u2026","rel":"","context":"In \"quizzini\"","block_context":{"text":"quizzini","link":"https:\/\/xmau.com\/ilpost\/tag\/quizzini\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":2658,"url":"https:\/\/xmau.com\/ilpost\/2017\/06\/30\/4-chilometri-cubi-di-rifiuti\/","url_meta":{"origin":616,"position":4},"title":"4 chilometri cubi di rifiuti","author":".mau.","date":"30\/06\/2017","format":false,"excerpt":"Roberto Zanasi (che abita a Modena) ha trovato questo titolo su un giornale locale, ed \u00e8 metaforicamente balzato sulla sedia. Riuscite a vedere al volo cosa c'\u00e8 di strano nell'affermazione \"Vasco, previsti 4 km cubi di rifiuti\"? No, il problema non sono le battute sulle attuali qualit\u00e0 musicali del cantante\u2026","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"4km3","src":"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/2017\/06\/4km3.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]},{"id":1503,"url":"https:\/\/xmau.com\/ilpost\/2019\/07\/10\/numeri-felici\/","url_meta":{"origin":616,"position":5},"title":"Numeri felici","author":".mau.","date":"10\/07\/2019","format":false,"excerpt":"una categoria di numeri con propriet\u00e0 facili da studiare... ma non troppo.","rel":"","context":"In \"didattica della matematica\"","block_context":{"text":"didattica della matematica","link":"https:\/\/xmau.com\/ilpost\/tag\/didattica-della-matematica\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2019\/07\/happynumbers.png?resize=350%2C200","width":350,"height":200},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/616","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/comments?post=616"}],"version-history":[{"count":1,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/616\/revisions"}],"predecessor-version":[{"id":617,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/616\/revisions\/617"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=616"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=616"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=616"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}