🔢 mathematics

A More Efficient Algorithm for Finding the Number of Permutations of $\mathbb{ZZ}/n\mathbb{ZZ}$ with Distinct Partial Sums

Dit artikel presenteert een verbeterd algoritme om permutaties van $\mathbb{Z}/n\mathbb{Z}$ met verschillende partiële sommen te tellen, waarbij specifiek resultaten berekent voor $n=20$ en $n=22, terwijl een bijjectie wordt vastgesteld met een bekende sequentie die de afleiding van nieuwe termen mogelijk maakt.

Oorspronkelijke auteurs: Quinn Baker, Amy Feaver

Gepubliceerd 2026-07-27

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Quinn Baker, Amy Feaver

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 voor dat je op een enorm feest bent waar iedereen een uniek nummer op zijn shirt heeft, variërend van 0 tot een specifieke limiet. De gastheer wil de gasten in een enkele lijn opstellen voor een foto, maar er is een lastige regel: terwijl je langs de lijn loopt, moet je een lopende telling bijhouden van de getallen die je tot nu toe hebt gezien. De regel is dat elke keer dat je een nieuw persoon aan je telling toevoegt, het nieuwe totaal een getal moet zijn dat je nog niet eerder in de hele lijn hebt gezien. Als je een totaal bereikt dat je al eerder hebt geteld, is de lijn verbroken en is de foto verpest. Dit is niet zomaar een partijspel; het is een diepgaande puzzel in de wereld van de wiskunde die "groepentheorie" wordt genoemd, specifiek gericht op hoe we getallen in een cirkel kunnen ordenen (zoals de uren op een klok), zodat onze lopende totalen nooit herhalen totdat we elk getal precies één keer hebben gebruikt. Wiskundigen geven erom omdat het hen helpt de verborgen structuren van symmetrie en orde in het universum te begrijpen, en het vinden van deze speciale lijnen is verrassend moeilijk, als het proberen te vinden van een specifieke naald in een hooiberg die voortdurend van vorm verandert.

Dit artikel gaat over een team van wiskundigen dat een veel slimmere manier heeft gevonden om dit "lopende totaal"-puzzel op te lossen voor bepaalde soorten getallencirkels. Ze richtten zich op cirkels met een even aantal plekken, zoals een klok met 20 uur of 22 uur. In het verleden moesten computers, om uit te vinden hoeveel geldige lijnen er zijn voor deze cirkels, bijna elke mogelijke ordening één voor één controleren. Dit was alsof je probeerde een goede foto te vinden door elke mogelijke combinatie van mensen in de rij te laten staan, wat eeuwig duurt en onmogelijk wordt naarmiddens het feest groter wordt. De auteurs, Baker en Feaver, introduceerden een nieuw algoritme dat werkt als een superintelligente uitsmijter. In plaats van te wachten tot het einde van de lijn om te zien of de foto is verpest, controleert deze uitsmijter het lopende totaal na elke persoon die aansluit. Zodra de uitsmijter een totaal ziet dat al eerder is verschenen, stopt hij onmiddellijk met het laten groeien van die lijn. Ze beseften dat als een korte lijn verbroken is, elke lange lijn die met diezelfde gebroken aanvang begint, ook gedoemd is. Door deze "slechte" takken vroegtijdig af te snijden, besparen ze een enorme hoeveelheid tijd.

Met behulp van deze efficiënte methode heeft het team het exacte aantal geldige lijnen berekend voor cirkels met 20 en 22 plekken. Ze ontdekten dat er voor een cirkel met 20 plekken precies 5.074.931.072 manieren zijn om de gasten te arrangeren. Voor een cirkel met 22 plekken springt het aantal naar een verstijgende 298.557.044.000. Deze getallen waren zo groot dat ze onafhankelijk moesten worden geverifieerd door een andere wiskundige, Bert Dobbelaere, om te garanderen dat ze correct waren. Het artikel bewijst ook een fascinerende connectie tussen deze "lopende totaal"-lijnen en een ander concept genaamd "verschilsets", waarbij het tellen van de één exact hetzelfde is als het tellen van de ander. Dit bewijs stelt hen in staat om de eigenschappen van de één te gebruiken om de ander op te lossen, wat hun efficiëntie effectief verdubbelt.

De auteurs zijn zeer vertrouwd met deze getallen omdat ze zijn afgeleid van een rigoureus wiskundig bewijs en een computercrash die systematisch onmogelijke opties elimineert. Ze zijn echter voorzichtig genoeg om op te merken dat hoewel hun methode de snelste bekende manier is om deze arrangementen te tellen, het probleem nog steeds ongelooflijk moeilijk is. Naarmate het aantal plekken op de cirkel toeneemt, groeit het aantal mogelijke arrangementen zo snel dat zelfs hun slimme uitsmijter er voor altijd niet meer bij kan houden. Ze suggereren dat de ratio van geldige lijnen tot alle mogelijke lijnen steeds kleiner wordt, en met ongeveer tien keer afneemt voor elke stap omhoog in grootte. Hoewel ze geen magische formule hebben gevonden om het antwoord voor elke grootte direct te voorspellen, bewijst hun werk dat door slim te zijn over wanneer we de zoektocht stoppen, we de grenzen van wat we weten veel verder kunnen verleggen. Ze laten ons met het idee achter dat de beste weg vooruit misschien het vinden van meer van deze "slimme afkortingen" is om een paar bekende oplossingen naar alle andere te mappen, maar voor nu is hun nieuwe algoritme het krachtigste instrument dat we hebben om deze wiskundige meesterwerken te tellen.

Technische Samenvatting: Een efficiënter algoritme voor het vinden van het aantal permutaties van $\mathbb{Z}/n\mathbb{Z}$ met verschillende partiële sommen

Probleemstelling
Dit artikel behandelt de enumeratie van specifieke permutaties binnen de additieve groep van gehele getallen modulo $n$ ( $\mathbb{Z}/n\mathbb{Z}$ ), waarbij $n$ een even geheel getal is. Het kernproblein betreft het tellen van het aantal permutaties $\sigma = (\sigma_0, \sigma_1, \dots, \sigma_{n-1})$ zodanig dat de verzameling partiële sommen (of "factorialen" in de context van de groep) allemaal verschillend zijn. Specifiek richt het artikel zich op de reeks A141599 in de On-Line Encyclopedia of Integer Sequences (OEIS), die het aantal "verschilsets" telt voor permutaties van $\mathbb{Z}/2k\mathbb{Z}$ met verschillende verschillen.

Een permutatie heeft verschillende verschillen als de verzameling van waarden $d_i \equiv \sigma_i - \sigma_{i-1} \pmod n$ voor $1 \le i \le n-1$ elk niet-nul element van $\mathbb{Z}/n\mathbb{Z}$ precies één keer bevat. De auteurs merken op dat dergelijke permutaties alleen bestaan wanneer $n$ even is. De computationele uitdaging ligt in het feit dat het totale aantal permutaties ( $n!$ ) factorialisch groeit, waardoor brute-force enumeratie onhaalbaar is voor grotere $n$ .

Methodologie
De auteurs stellen een recursief backtracking-algoritme voor dat de zoekruimte aanzienlijk verbetert ten opzichte van eerdere brute-force benaderingen door de zoekruimte vroegtijdig te snoeien (pruning). De methodologie rust op drie belangrijke pijlers:

Bijjectie tussen Verschilsets en Sequencings:
Het artikel stelt een formele bijjectie (Stelling 1) vast tussen "verschilsets met verschillende verschillen" en "sequencings" van $\mathbb{Z}/n\mathbb{Z}$ . Een sequencing wordt gedefinieerd als een permutatie waarbij de partiële sommen $s(\sigma, i) = \sum_{j=0}^i \sigma_j$ allemaal verschillend zijn. Het bewijs toont aan dat een verschilset $D_\tau = (d_1, \dots, d_{n-1})$ kan worden afgebeeld naar een sequencing $\sigma = (0, d_1, \dots, d_{n-1})$ , en vice versa. Dit stelt de auteurs in staat om sequencings te tellen in plaats van direct verschilsets.
Symmetrie-reductie via Vermenigvuldiging:
Door gebruik te maken van Lemma 2, gebruiken de auteurs de eigenschap dat als $\sigma$ een sequencing is en $r$ een geheel getal is dat copriem is met $n$ ( $\gcd(r, n) = 1$ ), dan het elementgewijze product $(r\sigma_0, r\sigma_1, \dots, r\sigma_{n-1})$ ook een sequencing is. Hierdoor kan het algoritme sequencings berekenen voor een specifieke "tak" (permutaties beginnend met $0, 1$) en dit aantal vermenigvuldigen met de Euler totient functie $\phi(n/d)$ om andere takken te accounten, in plaats van ze individueel te berekenen.
Recursieve Tak-snoeien (Algoritme 2):
De kern van het nieuwe algoritme is een recursieve zoektocht die partiële permutaties construeert. In tegen tegenstelling tot eerdere brute-force methoden die volledige permutaties valideerden, houdt dit algoritme een staat van "partiële sommen" (partials) bij.
- Snoeilogica: Als het toevoegen van een nieuw element aan de partiële permutatie resulteert in een partiële som die al eerder is gezien (of die voortijdig $0$ wordt), wordt de tak onmiddellijk verlaten.
- Efficiëntie: Dit voorkomt dat het algoritme de $(n-k)!$ permutaties verkent die een ongeldige partiële sequentie zouden uitbreiden. Bijvoorbeeld, in $\mathbb{Z}/20\mathbb{Z}$ levert de partiële sequentie $(0, 1, 19)$ een partiële som van $0$ op bij index 2, wat ongeldig is; het algoritme verwerpt deze hele tak, wat $17!$ potentiële aanroepen aan een validator bespaart.

Belangrijkste Bijdragen

Nieuwe termen voor OEIS A141599: Met behulp van het verbeterde algoritme hebben de auteurs de 10e, 11e en 12e termen van de reeks berekend (overeenkomend met $n=20, 22, 24$ $n = 20, 22, 24$ ). De waarden zijn:
- $n=20$ : 5.074.931.072
- $n=22$ : 298.557.044.000
- $n=24$ : 21.224.961.132.544
  De 10e en 11e termen zijn onafhankelijk geverifieerd door Bert Dobbelaere.
Theoretische Unificatie: Het artikel biedt een rigoureus bewijs voor de bijjectie tussen verschilsets en sequencings, waarmee klassieke resultaten (Gilbert, Gordon) worden verenigd met de huidige computationele aanpak.
Algoritmische Optimalisatie: De introductie van de recursieve tak-zoektocht met vroege terminatie op basis van botsingen in partiële sommen vertegenwoordigt de meest efficiënte bekende methode voor dit specifieke telprobleem tot nu toe.

Resultaten en Data-analyse
Het artikel presenteert data (Tabellen 1 en 2) die het aantal sequencings vergelijkt met het totale aantal permutaties ( $n!$ ) voor even $n$ tot en met 22. De resultaten geven aan dat de ratio van sequencings tot totale permutaties strikt en snel afneemt naarmate $n$ toeneemt, waarbij het bij elke stap met ongeveer een orde van grootte daalt. Voor $n=22$ is de ratio ongeveer $2,66 \times 10^{-10}$ .

Dit empirische bewijs ondersteunt de effectiviteit van de snoeistrategie. Omdat geldige sequencings extreem schaars zijn binnen de ruimte van alle permutaties, is het genereren en valideren van volledige permutaties inefficiënt. De recursieve aanpak, die ongeldige partiële paden onmiddellijk elimineert, sluit aan bij de geobserveerde schaarste.

Betekenis en Claims
De auteurs claimen dat hun algoritme de meest efficiënte bekende methode is voor het berekenen van de termen van reeks A141599. Zij stellen dat hoewel de tijdscomplexiteit super-polynomiaal blijft (waarschijnlijk slechter dan exponentieel maar beter dan $O(n!)$ ), de snoeitechniek een "strikte verbetering" biedt ten opzichte van brute-force methoden door verspilde berekening op ongeldige takken te vermijden.

De auteurs concluderen bescheiden dat verdere verbeteringen aan het telalgoritme waarschijnlijk beperkt zijn, tenzij er nieuwe wiskundige transformaties geïdentificeerd kunnen worden. Specifiek suggereren zij dat toekomstige vooruitgang zou kunnen afhangen van het identificeren van een volledige verzameling transformaties (voorbij de vermenigvuldiging met coprime gehele getallen) die een kleine verzameling bekende sequencings naar de volledige verzameling voor een gegeven $n$ kunnen mappen, waardoor een volledige zoektocht potentieel volledig kan worden omzeild. Zij stellen echter geen dergelijke transformaties voor in dit werk, en merken op dat de huidige recursieve aanpak de stand van de techniek is voor het oplossen van het probleem zoals gedefinieerd.

Meer zoals dit