![\"\"](\"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/bloggers\/2013\/02\/cerchi1.png?ssl=1\")
<\/a>In due dimensioni non ci sono in effetti grossi problemi: ci si pu\u00f2 mettere a fare un po’ di conti e scoprire che per esempio tra le due configurazioni possibili nel caso di tre cerchi (vedi il disegno qui a destra) la configurazione a triangolo ha un’area minore di quella per cos\u00ec dire “lunga”. Non serve fare troppi conti: a parte i tre cerchi, l’area nel primo caso \u00e8 data da due quadrati 2\u00d72 pi\u00f9 un cerchio di raggio 1, quindi 8+\u03c0; nel secondo caso lo spazio centrale ha area \u221a3\u2212(\u03c0\/2) e i tre pezzi esterni hanno area 2\u2212(\u03c0\/2), quindi l’area totale \u00e8 3\u03c0+\u221a3\u2212(\u03c0\/2)+6\u2212(3\u03c0\/2), cio\u00e8 6+\u221a3+\u03c0. Al crescere del numero di cerchi la configurazione ottimale \u00e8 generalmente quella pi\u00f9 esagonale possibile: la cosa non \u00e8 molto semplice, si parla di Groemer packing<\/em> dal nome di Helmut Groemer, ma trovare informazioni al riguardo non \u00e8 facilissimo. Se riuscite a leggere questo articolo di Ian Stewart<\/a> (purtroppo la conversione dei simboli matematici in PDF si \u00e8 persa: il \u03c0 e il \u00d7 sono diventati degli underscore, \u221a \u00e8 la legatura \u0153, mentre al posto di 1\/2 c’\u00e8 \u00ef) scoprirete che nel 1986 Gerd Wegner della Universit\u00e4t Dortmund ha pi\u00f9 o meno risolto il problema per un numero qualunque di cerchi, dove il “pi\u00f9 o meno” sta a significare che in alcuni casi l’impacchettamento migliore noto potrebbe non essere ottimale, sia pure di poco.<\/p>\n Le cose iniziano a diventare pi\u00f9 interessanti nel caso tridimensionale. Prendiamo per esempio sette sfere, e mettiamole in linea, come mostrato nel disegno qui sotto; e proviamo invece a metterle in una configurazione compatta. Se al posto delle sfere avessimo dei tubi come quelli che contengono le palle da tennis, il problema del volume minimo che contiene tutti i tubi si ridurrebbe al caso bidimensionale: quindi l’impacchettamento per lungo non \u00e8 certo ottimale e si rovinerebbe subito, a differenza di quello esagonale. Per\u00f2 noi abbiamo delle sfere: in questo caso gli spazi interni sono molto maggiori che nel caso bidimensionale, e si pu\u00f2 dimostrare – almeno qualcuno l’ha fatto, io in geometria solida sono una capra – che il volume minore si ha con la configurazione “a salsiccia”, dove tutte le sfere sono in fila con i loro centri sulla stessa retta. Questo continua ad essere valido fino a 56 palle: aggiungendone una cinquantasettesima, il sistema collassa e il volume minore lo si ottiene con un “sacco di patate” di sfere. Non sono riuscito a trovare un disegno di questo sacco di patate, e metterne uno a caso non mi pareva bello.<\/p>\n Se saliamo a quattro dimensioni, sappiamo – siamo seri: qualcuno ha dimostrato che, e io mi fido sulla parola – che fino a 50.000 ipersfere \u00e8 meglio la configurazione a ipersalsiccia, ma con 100.000 ipersfere \u00e8 meglio avere un ipersacco. Nessuno sa quale sia il limite esatto in cui la salsiccia non funziona pi\u00f9. E poi? Beh, nel 1975 Laszlo Fejes T\u00f3th formul\u00f2 la Sausage Conjecture, per l’appunto la congettura delle salsicce: per qualunque dimensione n<\/em>\u22655, la configurazione con il minore n<\/em>-volume \u00e8 quella a salsiccia, qualunque sia il numero di n<\/em>-sfere che abbiamo. Essendo una congettura, nessuno sa se \u00e8 vera o no: l’unico risultato parziale noto \u00e8 quello di U. Betke e M. Henk citato da MathWorld<\/a>, che ha dimostrato vera la congettura della salsiccia per le dimensioni superiori o uguali a … 42. Douglas Adams ne sarebbe stato deliziato: non penso sia quella la Risposta alla Domanda Fondamentale sulla Vita, sull’Universo e su Tutto Quanto, ma non si sa mai.<\/p>\n Ah: un grosso ringraziamento va a zar<\/a>, per avere scoperto che avevo in casa il testo pi\u00f9 comprensibile su questa congettura (Professor Stewart’s Cabinet of Mathematical Curiosities<\/em>) e soprattutto per avermi fatto maieuticamente scoprire perch\u00e9 non riuscivo a capire i riferimenti in rete che avevo trovato, tanto che questo post ce l’avevo in canna da quasi un mese. La risposta era semplice: sia MathNEXUS<\/a> che Just A Theory<\/a> avevano malinterpretato le parole di Stewart e scritto che in due dimensioni il pi\u00f9 piccolo caso in cui non si aveva una salsiccia era quello con sette cerchi. Ovviamente i conti non tornavano, ma io continuavo a fidarmi di quanto scritto…<\/p>\n","protected":false},"excerpt":{"rendered":" Impacchettare sfere in maniera ottimale \u00e8 un compito insolitamente difficile, soprattutto negli spazi a pi\u00f9 dimensioni: per\u00f2 la Risposta \u00e8 sempre in agguato…<\/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":[],"class_list":["post-2565","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/phh2yP-Fn","jetpack-related-posts":[{"id":672,"url":"https:\/\/xmau.com\/ilpost\/2015\/12\/03\/teoremi-e-probabilita\/","url_meta":{"origin":2565,"position":0},"title":"Teoremi e probabilit\u00e0","author":".mau.","date":"03\/12\/2015","format":false,"excerpt":"Sembrano due concetti agli antipodi, eppure si possono dimostrare alcuni teoremi con metodi probabilistici.","rel":"","context":"In \"dimostrazioni\"","block_context":{"text":"dimostrazioni","link":"https:\/\/xmau.com\/ilpost\/tag\/dimostrazioni\/"},"img":{"alt_text":"cerchi","src":"https:\/\/i0.wp.com\/xmau.com\/wp\/ilpost\/wp-content\/uploads\/sites\/4\/2015\/12\/cerchi-300x182.png?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":444,"url":"https:\/\/xmau.com\/ilpost\/2014\/10\/31\/aritmetica-di-robinson\/","url_meta":{"origin":2565,"position":1},"title":"Aritmetica di Robinson","author":".mau.","date":"31\/10\/2014","format":false,"excerpt":"I teoremi di G\u00f6del vi sembrano troppo complicati? Eccovi un modo molto semplice per trovare una proposizione indecidibile secondo certe regole aritmetiche.","rel":"","context":"In \"assiomi\"","block_context":{"text":"assiomi","link":"https:\/\/xmau.com\/ilpost\/tag\/assiomi\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":182,"url":"https:\/\/xmau.com\/ilpost\/2010\/09\/10\/il-paradosso-delle-due-buste\/","url_meta":{"origin":2565,"position":2},"title":"Il paradosso delle due buste","author":".mau.","date":"10\/09\/2010","format":false,"excerpt":"Noi siamo generalmente convinti di conoscere perfettamente i numeri, e di cavarcela abbastanza bene la probabilit\u00e0 elementare; ma in effetti basta un semplicissimo esempio per confonderci le idee.","rel":"","context":"In \"paradossi\"","block_context":{"text":"paradossi","link":"https:\/\/xmau.com\/ilpost\/tag\/paradossi\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":381,"url":"https:\/\/xmau.com\/ilpost\/2014\/08\/06\/divulgare-e-barare\/","url_meta":{"origin":2565,"position":3},"title":"Divulgare \u00e8 barare?","author":".mau.","date":"06\/08\/2014","format":false,"excerpt":"Non \u00e8 facile trovare la giusta via tra semplificazione e correttezza","rel":"","context":"In \"divulgazione\"","block_context":{"text":"divulgazione","link":"https:\/\/xmau.com\/ilpost\/tag\/divulgazione\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":180,"url":"https:\/\/xmau.com\/ilpost\/2013\/02\/23\/media-mediana-e-moda-per-un-settenne\/","url_meta":{"origin":2565,"position":4},"title":"Media, mediana e moda per un settenne","author":".mau.","date":"23\/02\/2013","format":false,"excerpt":"Quando si parla di \"media\", non sempre si intende davvero la media. E quel che \u00e8 peggio, se lo si intende \u00e8 possibile che si stia completamente sbagliando strada. Provo a fare un po' di ordine.","rel":"","context":"In \"didattica\"","block_context":{"text":"didattica","link":"https:\/\/xmau.com\/ilpost\/tag\/didattica\/"},"img":{"alt_text":"[media, mediana, moda]","src":"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/bloggers\/2013\/02\/media.png?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":2470,"url":"https:\/\/xmau.com\/ilpost\/2012\/01\/09\/sudoku-minimali-e-massimali\/","url_meta":{"origin":2565,"position":5},"title":"Sudoku minimali e massimali","author":".mau.","date":"09\/01\/2012","format":false,"excerpt":"Il 2012 si \u00e8 aperto con la dimostrazione che per avere un sudoku risolvibile \u00e8 necessario avere almeno 17 numeri. Come ci si \u00e8 arrivati? Forza (quasi) bruta.","rel":"","context":"Similar post","block_context":{"text":"Similar post","link":""},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/www.ilpost.it\/wp-content\/uploads\/bloggers\/2012\/01\/sudoku77.png?resize=350%2C200&ssl=1","width":350,"height":200},"classes":[]}],"_links":{"self":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2565","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=2565"}],"version-history":[{"count":1,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2565\/revisions"}],"predecessor-version":[{"id":2566,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/posts\/2565\/revisions\/2566"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/media?parent=2565"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/categories?post=2565"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/ilpost\/wp-json\/wp\/v2\/tags?post=2565"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}<\/a>