Monoid-udvidet FIFO-Kø Med Deamortiseret Vedligeholdelse

Posten præsenterer en alternativ deamortiseret algoritme til monoid-udvidede FIFO-køer med konstant værste-tilfælde kompleksitet.

Algoritmen opdeler køen i ekskretionsliste, staging-liste og indtagelsesliste med løbende suffix- og kørende produkter.

Suffix-produkterne opdateres inkrementelt med én monoid-kombination per push eller pop.

Indtagelseslisten fremmes til staging, når suffix-opdateringen er fuldført, for at bevare en listeforhold ≤1:1.

Python-implementeringen illustrerer de interne invariants og testes med udtømmende push/pop-sekvenser.

I steady state-opførsel opnås amortiseret én kombination per push og per pop, samt op til to per forespørgsel.

Strukturen kræver ingen løkker i vedligeholdelsen og holder lave konstante faktorer uden grenet logik.