💻 computer science

A 2.37332-Competitive Algorithm for Online Square Packing with Gravity

Dit artikel introduceert het $\mathrm{AsymmetricSlots}$ -algoritme, dat een 2,37332-competitieve ratio bereikt voor online vierkant verpakken in een strook met eenheidbreedte onder Tetris- en zwaartekrachtbeperkingen, waarmee de vorige beste grens van ongeveer 2,6154 wordt verbeterd en tegelijkertijd de optimale afhankelijkheid van de aspectratio voor algemene rechthoeken wordt vastgesteld.

Oorspronkelijke auteurs: Nichlas Langhoff Rasmussen

Gepubliceerd 2026-09-10

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Nichlas Langhoff Rasmussen

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een wereld voor waarin je een toren moet bouwen, één blok tegelijk, zonder ooit te kunnen zien wat er volgt. Je kunt de blokken die je al hebt geplaatst niet herordenen en je kunt niet in de structuur reiken om ze opzij te bewegen. Elk nieuw blok moet van bovenaf vallen en recht naar beneden vallen tot het de bovenkant van de bestaande stapel of de vloer raakt. Als er een gat in de toren zit, maar dit wordt van bovenaf geblokkeerd door een breder blok, dan is dat gat nutteloos; niets kan dat gat ooit bereiken. Dit is de uitdaging van online verpakken onder invloed van zwaartekracht, een probleem dat zich op het snijvlak van geometrie en logistiek bevindt. Het stelt een eenvoudige maar hardnekkige vraag: hoe kan een systeem de best mogelijke beslissingen nemen wanneer het blind is voor de toekomst en gebonden is aan de wetten van de fysica?

Jarenlang was de beste bekende methode om vierkante blokken op deze wijze te stapelen in staat om een toren te garanderen die niet meer dan ongeveer 2,62 keer zo hoog is als de absoluut kortst mogelijke toren die men zou kunnen bouwen als men alle blokken vooraf had gezien. Deze kloof tussen de online realiteit en het offline ideaal vertegenwoordigde een aanzienlijke inefficiëntie. Onderzoekers vermoedden al lang dat een slimmere manier om de ruimte te organiseren deze kloof zou kunnen dichten, maar de beperkingen van zwaartekracht en het gebrek aan vooruitziendheid maakten het vinden van een dergelijke methode uitzonderlijk moeilijk. Het probleem gaat niet alleen over het samenvoegen van vormen; het gaat over het beheren van de stroom van ruimte terwijl deze wordt geconsumeerd, waarbij men ervoor moet zorgen dat de weg voor toekomstige blokken open blijft, zelfs terwijl de huidige structuur groeit.

Een recente studie introduceert een nieuwe strategie genaamd AsymmetricSlots, die erin slaagt de efficiëntiekloof te verkleinen. De onderzoekers ontwikkelden een methode die de worst-case prestaties van het verpakkingsalgoritme verbetert, waarbij zij bewijzen dat de resulterende toren nooit meer dan ongeveer 2,37 keer de hoogte zal zijn van de perfecte, vooraf geplande toren. Dit is een meetbare verbetering ten opzichte van het voorheen beste resultaat, waardoor de theoretische limiet van online vierkante verpakking aanzienlijk dichter bij het ideaal wordt gebracht. Het werk beweert niet het probleem volledig te hebben opgelost, aangezien er een kloof blijft bestaan tussen deze nieuwe bovengrens en de bekende ondergrens van 2, maar het stelt een nieuwe, hogere standaard vast voor wat haalbaar is.

De kern van deze nieuwe aanpak ligt in de manier waarop de beschikbare ruimte wordt verdeeld. Eerdere methoden behandelden de verticale strook ruimte als een reeks gelijkvormige, geneste compartimenten, waarbij de breedte op elk niveau in tweeën werd gesplitst. De nieuwe algoritme doorbreekt deze symmetrie. In plaats van de ruimte gelijkmatig te splitsen, verdeelt het elke beschikbare slot in twee ongelijke kinderen: één brede en één smalle. Wanneer een nieuw vierkant arriveert, beslist het algoritme waar het naartoe gestuurd moet worden op basis van de grootte ten opzichte van deze ongelijke verdelingen. Als een vierkant te groot is voor het smalle kind, wordt het gedwongen in het brede kind. Als het klein genoeg is om in beide te passen, stuurt het algoritme het naar het kind met de laagste stapel blokken. Dit lokale besluitvormingsproces, dat zich herhaalt terwijl het vierkant door de hiërarchie van slots naar beneden daalt, stelt het systeem in staat om de belasting effectiever te balanceren dan de oude symmetrische methoden.

Om te bewijzen dat deze strategie werkt, gebruikten de onderzoekers een boekhoudmethode die de "kosten" van elk geplaatst vierkant bijhoudt. Ze stelden zich voor dat elk vierkant betaalt voor de hoogte die het aan de toren toevoegt met zijn eigen oppervlakte als valuta. Grote vierkanten, die naar specifieke slots worden gedwongen, betalen direct voor hun eigen hoogte. Kleinere vierkanten, die de flexibiliteit hebben om tussen slots te kiezen, worden afgehandeld via een systeem van tijdelijke kredieten die in de loop van de tijd in evenwicht worden gebracht. De analyse laat zien dat het verlies aan efficiëntie veroorzaakt door deze flexibele keuzes niet accumuleert naarmate de toren hoger wordt; in plaats daarvan blijft het begrensd. Dit wiskundige bewijs bevestigt dat de prestaties van het algoritme stabiel en voorspelbaar zijn, ongeacht de volgorde van de ontvangen blokken.

De studie breidt deze logica ook uit naar rechthoeken die geen perfecte vierkanten zijn, maar wel beperkt zijn in hoe lang en dun ze kunnen zijn. Voor deze vormen ontdekten de onderzoekers dat de efficiëntie van de verpakking direct afhangt van de maximale verhouding tussen de lengte en de breedte van een rechthoek. Ze bewezen dat naarmate deze verhouding toeneemt, de moeilijkheid van het verpakken op een voorspelbare, lineaire wijze toeneemt. Dit resultaat suggereert dat de methode robuust is en kan worden aangepast aan een breder scala aan vormen, mits de vormen niet oneindig dun worden. Omgekeerd hebben ze ook aangetoond dat geen enkel online algoritme aanzienlijk beter kan presteren dan deze lineaire relatie, wat betekent dat de afhankelijkheid van de proporties van de vorm fundamenteel is voor het probleem zelf.

Hoewel het nieuwe algoritme een belangrijke stap voorwaarts vertegenwoordigt, merken de onderzoekers er zorgvuldig bij op dat het probleem nog niet volledig is opgelost. Ze construeerden specifieke scenario's waarin hun nieuwe algoritme een toren produceert die twee keer zo hoog is als de optimale offline oplossing, waarmee zij aantonen dat de kloof tussen de best mogelijke online prestatie en het theoretische ideaal nog steeds aanzienlijk is. Het verschil tussen de nieuwe bovengrens van ongeveer 2,37 en de ondergrens van 2 blijft een brede kloof die wiskundigen moeten overbruggen. Echter, door een nieuwe, nauwere grens vast te stellen en een kader te bieden dat zowel vierkanten als begrensde rechthoeken behandelt, verheldert dit werk het landschap van het probleem. Het laat zien dat met de juiste asymmetrische organisatie, de beperkingen van zwaartekracht en onwetendheid over de toekomst met een grotere precisie kunnen worden beheerd dan voorheen voor mogelijk werd gehouden.

Technische Samenvatting: Een 2.37332-competitief algoritme voor online vierkant-verpakking met zwaartekracht

Probleemdefinitie
Het artikel behandelt het online strip packing probleem voor as-parallelle vierkanten onder Tetris- en zwaartekrachtrestricties. In dit model arriveren vierkanten sequentieel zonder kennis van toekomstige items en moeten ze onomkeerbaar in een strook van eenheidbreedte met onbegrensde hoogte worden geplaatst.

Tetris-restrictie: Een inkomend vierkant moet een botsingsvrij, monotoon dalend pad van boven naar zijn uiteindelijke positie volgen.
Zwaartekrachtrestrictie: Het vierkant moet tot rust komen op de bodem van de strook of op het bovenste oppervlak van eerder geplaatste vierkanten.
Haalbaarheid: Een geometrisch lege regio kan onbruikbaar zijn als deze niet bereikbaar is via een dalend pad of als er geen ondersteuning ontbreekt.

Het doel is om de totale hoogte van de verpakking te minimaliseren. De prestatie wordt gemeten door de asymptotische competitieve ratio ( $CR$ ), gedefinieerd als de infimum van $\rho$ waarvoor $A(\sigma) \le \rho \cdot OPT(\sigma) + \beta$ geldt voor alle invoersequenties $\sigma$ , waarbij $A(\sigma)$ de hoogte van het algoritme is en $OPT(\sigma)$ de optimale offline hoogte.

Methodologie: AsymmetricSlots
De auteur introduceert AsymmetricSlots, een recursief algoritme dat de voorheen best bekende aanpak, SlotAlgorithm (Fekete et al., 2014), die een dyadische (symmetrische) hiërarchie gebruikte, verbetert.

Asymmetrische Hiërarchie:
In plaats van een slot van breedte $w$ in twee gelijke helften te splitsen, splitst het algoritme het in een brede kind-slot van breedte $pw$ en een smalle kind-slot van breedte $qw$, waarbij $p \in (1/2, 1)$ en $q = 1-p$ . Deze hiërarchie staat vast voordat er items arriveren.
Lokale Routeringsregels:
Bij aankomst daalt een vierkant met zijde $a$ af door de hiërarchie op basis van zijn grootte ten opzichte van de huidige slotbreedte $w$ :

Direct: Als $a > pw$, wordt het vierkant direct aan de huidige slot toegewezen.
Gedwongen (Forced): Als $qw < a \le pw$ , wordt het vierkant gedwongen in de brede kind-slot.
Flexibel: Als $a \le qw$ , wordt het vierkant gerouteerd naar de kind-slot met de kleinste huidige virtuele hoogte (waarbij bij gelijke gevallen de voorkeur wordt gegeven aan de brede kind-slot).

Virtueel Hoogteprofiel & Haalbaarheid:
Het algoritme onderhoudt een stuksgewijs constante virtuele hoogteprofiel $h(x)$ om routering te sturen. Een vierkant dat aan een slot $T$ wordt toegewezen, werkt de virtuele hoogte van het interval van die slot bij met zijn zijde $a$ .

Lemma 1 bewijst dat, ondanks dat het virtuele profiel de fysieke hoogte mogelijk overschat, de fysieke plaatsing altijd haalbaar is onder Tetris- en zwaartekrachtrestricties. Specifiek kan het fysieke vierkant altijd vallen naar een ondersteuningsniveau $y^*$ (bepaald door bestaande vierkanten of de bodem van de strook) dat $\le$ het virtuele update-niveau is, wat garandeert dat er geen botsingen optreden tijdens de daling.

Analyse via Lokale Belasting (Local Charging):
Het bewijs maakt gebruik van een lokale fase-invariant en een belastingargument dat de asymmetrie van de splitsing uitbuit:

Gedwongen Vierkanten: Grote vierkanten ($a > qw$) worden in specifieke paden gedwongen. Hun oppervlakte is voldoende om de hoogte die zij creëren te "betalen" ( $wa - \rho a^2 \le 0$ ).
Flexibele Vierkanten: Kleine vierkanten ( $a \le qw$ ) maken balans tussen de kinderen mogelijk. De analyse gebruikt een "fase-gebaseerde" boekhouding waarbij het algoritme een krediet $\delta w^2$ behoudt. De asymmetrie zorgt ervoor dat het verlies geassocieerd met flexibele plaatsingen lokaal begrensd is en niet accumuleert met de diepte van de hiërarchie.
Fase-afsluiting: Een fase van een slot eindigt wanneer een "direct" vierkant (één die te groot is voor de kinderen) wordt geplaatst, wat het virtuele profiel reset.

Belangrijkste Resultaten

Verbeterde Bovengrens voor Vierkanten:
Door de splitsingsparameter $p$ te optimaliseren, leidt de auteur een competitieve ratio af van 2.373318506....

De optimale parameter $p^\star$ is de unieke wortel in $(1/2, 1)$ van $16p^3 - 8p^2 + p - 1 = 0$ , wat $p^\star \approx 0.5786$ oplevert.
De resulterende ratio is $\rho^\star = 1/(1-p^\star) \approx 2.3733$ .
Een rationale benadering met $p = 11/19$ levert een heldere ratio op van 2.375 ( $19/8$ ).
Dit verbetert de voorheen beste bovengrens van $34/13 \approx 2.6154$ die door Fekete et al. werd vastgesteld.

Ondergrens voor het Algoritme:
Het artikel stelt een specifieke ondergrens vast voor AsymmetricSlots. Met behulp van een herhaalde-vierkant constructie tonen zij aan dat voor $p$ in een bereik dat $p^\star$ bevat, de competitieve ratio ten minste 2 is.

Hiermee geldt $2 \le CR(AsymmetricSlots_{p^\star}) \le 2.3733...$
De algemene ondergrens voor elk deterministisch online algoritme in dit model blijft $3/2$ (van Fekete et al.).

Extensie naar Rechthoeken:
Het raamwerk wordt uitgebreid naar rechthoeken met een begrensde aspectratio $\kappa$ (waarbij breedte $u$ en hoogte $v$ voldoen aan $u/\kappa \le v \le \kappa u$ ).

Bovengrens: Het algoritme bereikt een asymptotische competitieve ratio van $O(\kappa)$ .
Ondergrens: Een overeenkomende $\Omega(\kappa)$ ondergrens wordt bewezen via een alternerende constructie van dunne verticale en brede ondiepe rechthoeken.
Dit stelt vast dat de optimale afhankelijkheid van de aspectratio $\Theta(\kappa)$ is.

Betekenis en Claims
Het artikel claimt de best bekende bovengrens te bieden voor het online vierkant-verpakkingsprobleem met Tetris- en zwaartekrachtrestricties, waarbij de competitieve ratio wordt verminderd van $\approx 2.6154$ naar $\approx 2.3733$ .

Methodologische Bijdrage: De verschuiving van een symmetrische (dyadische) naar een asymmetrische recursieve decompositie maakt een efficiënter lokaal belastingargument mogelijk. De asymmetrie scheidt plaatsingen in "gedwongen" (grote) en "flexibele" (kleine) categorieën, waardoor de accumulatie van fouttermen die eerdere analyses dwarsboomden, wordt voorkomen.
Reikwijdte: De resultaten zijn strikt theoretisch en richten zich op de competitieve analyse van deterministische algoritmen. Het artikel claimt niet het algemene offline probleem op te lossen of een polynoomtijd-benaderingsschema voor het offline geval te bieden.
Beperkingen: De auteur merkt op dat de kloof tussen de algoritme-specifieke ondergrens (2) en de bovengrens (2.3733) blijft bestaan, evenals de kloof tussen de algemene ondergrens (1.5) en de bovengrens. Het artikel suggereert dat toekomstig werk niet-zelfgelijke splitsingen of meer dan twee subslots kan verkennen om deze kloven mogelijk te dichten.

Samenvattend verfijnt dit werk de theoretische grenzen van online vierkant-verpakking onder fysieke restricties, en toont aan dat een asymmetrische hiërarchische decompositie een strikt betere competitieve ratio oplevert dan voorheen bekende symmetrische benaderingen.

Meer zoals dit