Ang Permanenteng Pag-iisa Kahit Mga Eksperto sa Matematika Ay Nabigyan Na ng Solusyon

Sa ilang mga punto sa buhay, ang karamihan sa mga tao ay nakatayo sa isang rolling pin ng cookie masa at pag-isipan kung paano pinakamahusay na gupitin ang cookies na may maliit na basura hangga’t maaari. Ngayon, kahit na ang mga matematiko ay nag-aatubili na magkaroon ng isang computer algorithm upang malutas ang natatanging problemang geometriko na ito.

Paano natin pinapalaki ang kuwarta habang pinuputol ang mga cookies ng Pasko? Paano kami magbalot ng maleta o punan ang isang kusina sa kusina habang ginagamit ang pinakamahusay na paggamit ng puwang? Maaaring isipin ng isa, “dapat mayroong pinakamahusay na paraan upang magawa ito.” Ang pagsasalamin sa mas malalim na mga katanungan ngayon ay tila isang kumpletong pag-aaksaya ng oras. Narito ang agham upang suportahan na ginagawang imposible, ngayon, upang malaman kung ano ang pinakamahusay na gumagana para sa higit sa apat o limang maanghang na mga tinapay mula sa luya o mga cookies ng Christmas tree.

Ang katulong na si Propesor Mikkel Abrahamamsen ng Kagawaran ng Agham sa Kompyuter at dalawang kapwa mananaliksik ay pinag-aaralan kung gaano kahirap alamin ang pinakapangako na paraan upang magbalot ng mga bagay sa dalawang hindi nabago na sukat – isang kamangha-manghang naipasok sa mga computer scientist sa loob ng mga dekada.

“Habang pinapayagan kami ng mga algorithm na malutas ang mga seryosong kumplikadong problema, ang mga ito ang mananatili sa bibig ng mga computer ngayon. Sa kasalukuyan, hindi posible na magbalot ng higit sa 5-10 na mga item sa karamihan. “Buweno, ang aming resulta ay nagpapahiwatig na ang bilang na ito ay maaaring hindi tumaas sa ngayon,” sabi ni Mikkel Abrahamamsen.

Ang pag-pack ng magagandang bagay ay hindi lamang isang bihirang problema sa bahay, ngunit sa iba’t ibang mga industriya, kabilang ang paggawa ng damit at pagproseso ng metal. Sa bawat kaso, mahalagang bawasan ang mga materyales na maaaring maging sanhi ng mas kaunting basura. Kapag nagpapadala, maaari itong magamit upang i-pack ang mga nilalaman.

Mga Frame ng Pag-iimpake

Kaliwa: Mahusay na packaging ng limang mga frame. Kanan: Ang pinakakilala ngayon na pag-iimpake ng labing-isang mga yunit ng mga parisukat sa isang mas maraming plaza. Kredito: Mikkel Abrahamamsen

Mayroon lamang apat na cookies ng gingerbread

Alam namin ang laki ng pinakamaliit na parisukat na lalagyan kung saan maaari kaming mag-impake ng hanggang sa 10 parisukat na 1 × 1 metro na mga palyet. Ngunit sa simpleng pagdaragdag ng isang labis na layer, imposibleng makalkula ang maximum na laki ng interior. Ipinaliwanag ni Abrahamamsen:

“Tulad ng maraming mga palyete na idinagdag, ang oras ng computational ay tumataas pasulong. Hindi kahit na ang pinaka-advanced na mga computer ay maaaring. Posible ito sa teoretiko. Ngunit alinsunod sa mabilis na paglaki ng lakas ng computing, maaari itong umunat. milyon-milyong mga taon bago namin ma-optimize ang pamamahala ng ilang mga karagdagang bagay. “

Bilang karagdagan, kung ang isa ay gumagana na may mas kumplikadong mga hugis, tulad ng hugis ng Christmas tree gingerbread, sinabi ni Mikkel Abrahamamsen na ang pinakamahusay na mga solusyon ay mahahanap lamang hanggang sa apat na mga item ngayon.

Isang walang katapusang bilang ng mga pagpipilian

Ano ang sanhi ng paghihirap na ito? Ipinaliwanag ni Abrahamamsen na ang problema ay pareho sa paglutas ng mga equation sa degree lima o mas mataas, at marami ang hindi kilala. Dito, alam na ang gayong solusyon ay hindi palaging nakasulat gamit ang maginoo na operasyon ng arithmetic.

“Kinukumpirma ng aming pag-aaral na likas ang problema na likas na nakatuon sa amin sa matematika – na sa madaling sabi, kinakailangan na malaman ang lahat ng mga coordinate kung saan mailalagay ang cookies at lahat ng mga anggulo. umiikot sila, “paliwanag ni Abrahamamsen.

Dahil ang mga posibleng pagsasama ay walang hanggan, walang paraan upang mag-ipon ng isang listahan ng lahat ng mga lokasyon na kailangang subukin upang makahanap ng pinakamahusay na solusyon sa packaging. Gayunpaman, ang mga algorithm na malulutas ang pinakamahalagang mga problema sa pag-iimpake ay kailangang karagdagang pag-aralan, na nangangailangan ng oras. Taliwas ito sa maraming iba pang mga kilalang mga problema sa algorithm, kung saan maaaring subukan ng isang tao ang isang limitadong bilang ng mga kumbinasyon bago hanapin ang pinakamahusay. Sa gayon, ang mga problema sa pagbalot ay mas mahirap.

Kaya’t sa pagsasagawa, walang mas mahusay na mga solusyon sa mga problema sa pagbabalot kaysa sa naiisip ng mga tao.

“Sa parehong industriya at sa counter ng kusina dapat tayong magpatuloy na nasiyahan sa hindi gaanong pinakamahalagang mga solusyon at tiyakin na tayong mga tao ay mas mahusay kaysa sa mga computer para sa mga gawaing ito – sa ngayon,” pagtapos niya. ni Mikkel Abrahamamsen.

  • Sa computer science at matematika, ang mga problema sa pagbabalot ay isang klase ng mga problema sa pag-optimize na nagsasangkot ng pagsubok sa pag-pack ng maraming mga item hangga’t maaari sa dalawa o tatlong laki. Ang mga Matemikista ay nakikipag-usap sa mga problema sa pagpapakete sa daang daang taon.
  • Bilang isang resulta, nagtapos ang dalawang-dimensional na problema sa pag-iimpake ng pagtatapos na may mas mataas na antas ng pagiging kumplikado sa computational, na minarkahan ng ∃ℝ. Dati ay pinaniniwalaan na ang tanong ay pagmamay-ari ng klase ng NP kasama ang sikat na “naglalakbay na problema sa salesman”, na tumutukoy sa pagkalkula ng pinakamaikling paglalakbay para sa pagbisita sa lahat ng mga bayan sa isang naibigay na listahan.
  • Ang pananaliksik ay isinasagawa ni Mikkel Abrahamamsen sa University of Copenhagen’s BARC Center, sa Kagawaran ng Computer Science; Si Tillmann Miltzow mula sa Utrecht University sa Netherlands at Nadja Seiferth mula sa Freie Universität Berlin sa Alemanya. Ang pananaliksik ay nakatanggap ng pagpopondo mula sa VILLUM Foundation, bukod sa iba pa.
  • Ang pag-aaral ay ipinakita sa prestihiyosong FOCS 2020 (IEEE Symposium on Foundations of Computer Science) kumperensya, na naganap mula 16-19 Nobyembre.

Sanggunian: “Framework para sa ∃R-Pagkumpleto ng Dalawang Mga Dimensyon sa Pag-pack ng Dimensyon” ni Mikkel Abrahamamsen, Tillmann Miltzow at Nadja Seiferth, Abril 16, 2020 ,.
arXiv: 2004.07558

Related articles

Comments

LEAVE A REPLY

Please enter your comment!
Please enter your name here

Share article

Latest articles

Pagkuha ng Impormasyon sa Kasaysayan ng Neanderthal na Populasyon Gamit ang Sinaunang Nuclear DNA Mula sa Mga Ciment Sediment

Gallery sa lugar ng yungib ng mga estatwa sa hilagang Espanya. Kredito: Javier Trueba - Madrid Scientific Films Ang Mitochondrial DNA ng mga archaic...

Kung Paano Maaaring Lumaki ang Iba Pang Mga Karamdaman na Fungi Sa Maliit na Puwang

Ang isang pangkat na pinangunahan ng Tsukuba University ay natagpuan ang isang makabuluhang pagkakaiba na nagpapaliwanag kung bakit ang ilang mga species ng fungi...

Para sa Mga Tatanggap ng Transplant, Isang Pangatlong Dosis ng Bakuna sa COVID Maaaring Mag-alok ng Mas mahusay na Proteksyon

Ipinakita ng mga mananaliksik sa Johns Hopkins Medicine na tatlong dosis ng bakuna laban sa SARS-CoV-2-ang virus na sanhi ng pagtaas ng antas ng...

Ang mga sigla ng usok na nasa daang siglo na napanatili sa niyebe ay nagbubunyag ng isang maalab na nakaraan – at ang hinaharap...

Inisyu ni Harvard John a. Paulson School of Engineering at Applied Science Hunyo 18, 2021 Ang usok mula sa mga wildfires na gawa ng tao...

Inihanda ng NASA ang “Moonikin” na kumander para sa Artemis 1 lunar na misyon

Sa larawang ito, sinusubukan ng mga inhinyero ang isang pagsubok na panginginig ng boses sa upuan ng Orion at ang Chemini Space Center -...

Newsletter

Subscribe to stay updated.