🔢 mathematics

On strict ranking by pairwise comparisons

Dit artikel behandelt het probleem van het opstellen van een strikte rangschikking van $n$ items op basis van een matrix van paarwijze vergelijkingen, waarbij eerst een heuristische aanpak wordt voorgesteld en vervolgens een minimaliseringsprobleem wordt geïntroduceerd dat leidt tot consistente, strikt gerangschikte resultaten.

Oorspronkelijke auteurs: Jean-Pierre Magnot

Gepubliceerd 2026-04-14

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Jean-Pierre Magnot

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

🏆 De Strijd om de Perfecte Ranglijst: Een Reis door de Wiskunde van Keuzes

Stel je voor dat je een jury bent voor een talentenjacht. Je hebt 10 kandidaten en je moet ze van 1 tot 10 rangschikken. Maar er is een probleem: je hebt geen cijfers, alleen oordelen. Je zegt: "Kandidaat A is beter dan B", "B is beter dan C", maar dan zegt je ook: "C is beter dan A".

Dit is een wederzijdse vergelijking (pairwise comparison). Het klinkt logisch, maar in de wiskunde is dit vaak een chaos. Dit artikel van Jean-Pierre Magnot probeert een oplossing te vinden voor een heel specifiek probleem: Hoe maak je een ranglijst waarbij niemand gelijk staat, zelfs als de oordelen tegenstrijdig zijn?

Hier is hoe hij dat aanpakt, vertaald naar alledaagse taal:

1. Het Probleem: De "Drie Vrienden" Paradox

Stel je drie vrienden voor: Anne, Bob en Chris.

Anne zegt: "Ik ben sterker dan Bob."
Bob zegt: "Ik ben sterker dan Chris."
Chris zegt: "Ik ben sterker dan Anne."

In de echte wereld is dit normaal (iedereen heeft zijn eigen mening). Maar in de wiskunde willen we een strakke ranglijst (strict ranking). Dat betekent: Anne > Bob > Chris. Er mag geen "gelijkspel" zijn.

Het probleem is dat als je probeert deze tegenstrijdige meningen "op te lossen" door ze gemiddeld te nemen (een techniek die consistentie noemen), je soms de hele ranglijst verpest. Het kan gebeuren dat je na het "rekenen" ineens denkt: "Oh, eigenlijk staan Anne en Chris precies gelijk." Dat is voor de auteur een no-go. Hij wil een lijst waar iedereen een unieke plek heeft.

2. De Oplossing: De "R-Regel" (De R-Condition)

Magnot introduceert een nieuwe regel, de R-Regel.
Stel je voor dat je een kaart hebt met pijlen. Als er een pijl van A naar B wijst, betekent dat "A is beter dan B".

De R-Regel zegt simpelweg: "Als er een pijl van A naar B is, mag er geen pijl van B naar A zijn, en ze mogen niet op dezelfde hoogte staan."
Het mooie is: je hebt geen perfecte logica nodig om dit te doen. Zelfs als de meningen gekkenhuis-achtig zijn (A > B > C > A), kun je vaak toch een volgorde vinden die "werkt", zolang je kijkt naar de richting van de pijlen en niet naar de exacte sterkte van de meningen.

Hij noemt dit een "admissible locus" (een toegestane zone). Het is alsof je door een doolhof loopt. Zelfs als de muren (de meningen) scheef staan, kun je een pad vinden dat je van start naar finish brengt zonder dat je twee keer op dezelfde plek komt.

3. Het Gevaar: De "Reinigingsmachine"

In de wiskunde bestaan er methoden om deze gekke meningen "op te poetsen" tot een perfect logisch geheel (dit heet consistency procedures).
Magnot waarschuwt: Pas op!
Stel je voor dat je een rommelige kamer opruimt met een robot. De robot maakt de kamer perfect schoon, maar hij gooit ook je favoriete stoel weg.

In dit geval: De robot (de wiskundige methode) maakt de meningen logisch, maar hij kan de ranglijst veranderen.
Voorbeeld: Je had een lijst waar A > B was. Na het "op poetsen" zegt de computer plotseling: "Nee, A en B zijn nu precies gelijk."
Magnot bewijst dat deze standaard-methoden vaak de unieke ranglijst vernietigen. Ze maken de meningen logisch, maar ze maken de ranglijst saai (met gelijke standen).

4. De Nieuwe Methode: Een Wiskundige "Spanning"

Hoe los je dit dan op? Magnot bedacht een nieuwe formule (een functie genaamd Φ).
Stel je voor dat je een rubberen band hebt die je om de kandidaten heen spant.

Als de meningen logisch zijn én iedereen een unieke plek heeft, is de rubberen band spanningsloos (waarde 0).
Als er tegenstrijdigheden zijn of als twee mensen gelijk staan, trekt de band zich samen en wordt er spanning opgeleverd (waarde > 0).

Het doel is nu niet meer om de meningen "op te poetsen" tot ze logisch zijn. Het doel is om de spanning te minimaliseren.
Je zoekt de positie van de kandidaten waarbij de rubberen band zo strak mogelijk is, maar zonder dat hij breekt (geen gelijke standen).

Dit is een beetje zoals het vinden van de perfecte balans op een hengel. Je wilt niet dat de hengel recht is (dat is saai en soms onmogelijk), maar je wilt dat hij niet omvalt. Je zoekt de "spanningsvrije" toestand die toch een duidelijke volgorde geeft.

5. Waarom is dit belangrijk? (De Menselijke Factor)

Magnot sluit af met een filosofisch punt.
Mensen denken niet in strakke getallen. We denken in "iets beter", "veel beter", of "ongeveer even goed".

Voor computers en netwerken: Getallen zijn prima. Alles moet logisch en consistent zijn.
Voor mensen: Mensen zijn chaotisch. We kunnen tegenstrijdige meningen hebben zonder dat we gek zijn.

Magnot suggereert dat we misschien te veel proberen om menselijke oordelen in een strakke, logische doos te proppen. Misschien moeten we accepteren dat een "perfect logische" ranglijst voor mensen niet bestaat, en dat we beter kunnen kijken naar structuren die ruimte laten voor die menselijke chaos, zolang de uiteindelijke volgorde maar duidelijk blijft.

Samenvatting in één zin

Dit artikel zegt: "Stop met proberen alle tegenstrijdige meningen logisch te maken, want dan verlies je de unieke ranglijst; gebruik in plaats daarvan een nieuwe methode die de chaos accepteert en toch een strakke, unieke volgorde van 1 tot 10 garandeert."

Het is een oproep om de wiskunde van ranglijsten aan te passen aan de chaotische aard van de menselijke geest, in plaats van de menselijke geest te dwingen in een strakke wiskundige kooi.

Titel: On Strict Ranking by Pairwise Comparisons

Auteur: Jean-Pierre Magnot
Datum: April 14, 2026

1. Probleemstelling

Het artikel adresseert een fundamenteel probleem binnen de Paarsgewijze Vergelijkingsmethode (PC-methode): het verkrijgen van een strikt ranking (een rangschikking zonder gelijkgestelde items) op basis van een matrix van paarsgewijze vergelijkingen.

De Uitdaging: Traditionele methoden voor het afleiden van een ranking uit een PC-matrix (vaak gebruikt in Multi-Criteria Decision Making) gaan uit van consistentie. Als een matrix inconsistent is (bijvoorbeeld door menselijke oordeelsfouten of tegenstrijdige data), worden er vaak procedures toegepast om de matrix "consistent te maken" (consistency procedures).
Het Kernprobleem: Bestaande methoden om een inconsistente matrix consistent te maken (zoals orthogonale projectie) garanderen niet dat het resultaat een strikt ranking oplevert. Ze kunnen leiden tot items die gelijk worden gerangschikt (waarbij $a_{i,j} = 1$ voor $i \neq j$ ), wat de oorspronkelijke intentie van een strikte ordening ondermijnt. Bovendien kunnen deze procedures de oorspronkelijke rangorde (de "R-voorwaarde") van de data verstoren, zelfs als de oorspronkelijke data een duidelijke orde suggereerde.

2. Methodologie en Theoretisch Kader

De auteur hanteert een wiskundige benadering die topologie, groepentheorie en optimalisatie combineert.

PC-Matrices: Een $n \times n$ matrix $(a_{i,j})$ met waarden in $\mathbb{R}^*_+$ (positieve reële getallen), waarbij $a_{j,i} = a_{i,j}^{-1}$ en $a_{i,i} = 1$ .
Logaritmische Transformatie: De auteur maakt gebruik van de logaritmische afbeelding ( $\ln$ ) om de multiplicatieve structuur van de PC-matrix om te zetten in een additieve structuur. Dit faciliteert het gebruik van gradientenmethoden en projecties in een lineaire ruimte.
De R-voorwaarde (Ranking Condition):
Een matrix voldoet aan de R-voorwaarde als er een permutatie $\sigma$ bestaat zodanig dat voor alle $i < j$ :
$w_{\sigma(i)} < w_{\sigma(j)} \iff a_{\sigma(i), \sigma(j)} < 1$
Dit betekent dat er een strikte orde is tussen alle items, ongeacht of de matrix consistent is (d.w.z. of $a_{i,k} = a_{i,j} \cdot a_{j,k}$ geldt).
Admissible Loci: De ruimte van PC-matrices wordt onderverdeeld in samenhangende componenten (loci). Een "admissible locus" is een component waarin elke matrix een unieke strikte rangschikking definieert. De auteur bewijst dat er een bijectie bestaat tussen de permutaties van $n$ items en deze admissible loci.

3. Belangrijkste Bijdragen

A. Analyse van Bestaande Consistentie-procedures

De paper toont aan dat standaard methoden om een matrix consistent te maken (zoals orthogonale projectie in de additieve ruimte) niet compatibel zijn met het behoud van een strikte ranking.

Een matrix die aan de R-voorwaarde voldoet (en dus een strikte orde heeft), kan na toepassing van een consistentie-procedure veranderen in een matrix die niet meer aan de R-voorwaarde voldoet (bijvoorbeeld door items gelijk te stellen).
Er wordt bewezen dat er "niet-admissible" loci bestaan in de ruimte van PC-matrices, wat betekent dat niet elke mogelijke configuratie van vergelijkingen leidt tot een geldige strikte rangschikking.

B. De R-voorwaarde als Onafhankelijk Concept

Een cruciale inzichten is dat strikte rangschikking wiskundig losstaat van consistentie. Een matrix kan inconsistent zijn (met cycli van tegenstrijdigheden) maar toch binnen een admissible locus liggen, waardoor een unieke, strikte rangschikking mogelijk is zonder dat de matrix eerst "gerepareerd" hoeft te worden.

C. Introductie van de Functionaal $\Phi$

Om het probleem op te lossen, stelt de auteur een nieuwe optimalisatieprobleem voor via een functionaal $\Phi: APC_n \to \mathbb{R}^+$ .

Doel: Minimaliseren van $\Phi$ om een matrix te vinden die zowel consistent is als aan de R-voorwaarde voldoet.
Definitie: $\Phi(A) = 0$ dan en slechts dan als $A$ een consistente PC-matrix is die een strikte ranking oplevert.
Constructie: De functionaal combineert een bestaand inconsistentie-indicator ($ii(A)$) met termen die afwijken van 1 (d.w.z. $a_{i,j} \neq 1$ $a_{i, j} \neq = 1$ ). De formule is ontworpen zodat:
1. Als de matrix niet strikt is (d.w.z. $a_{i,j}=1$ voor $i \neq j$ ), de functionaal niet gedefinieerd is of divergeert.
2. Als de matrix inconsistent is, is $\Phi(A) > 0$ .
3. Alleen bij een perfecte, strikt consistente ranking is $\Phi(A) = 0$ .

4. Resultaten

Theorema 3.3 & 3.6: Er is een bijectie tussen de permutaties van $n$ items en de admissible loci in de ruimte van PC-matrices. Voor $n \geq 3$ bestaan er echter loci die niet admissible zijn (niet elke combinatie van vergelijkingen leidt tot een strikte orde).
Theorema 3.8: Bestaande consistentie-procedures (zoals orthogonale projectie) kunnen een matrix uit een admissible locus verplaatsen naar een niet-admissible locus, waardoor de oorspronkelijke strikte rangschikking verloren gaat.
Theorema 4.2: De geïntroduceerde functionaal $\Phi$ heeft de gewenste eigenschappen: hij is nul op de verzameling van consistente matrices met een strikte ranking en is positief (of niet gedefinieerd) elders.
Gradientenmethode: De auteur suggereert dat gradientenmethoden (gebaseerd op het werk uit [28]) effectief kunnen worden toegepast om $\Phi$ te minimaliseren, aangezien $\Phi$ divergeert bij de randen van de verzameling (waar items gelijk worden), wat de zoektocht naar een strikte oplossing forceert.

5. Betekenis en Conclusie

Paradigmaverschuiving: Het artikel daagt de traditionele aanpak uit waarbij consistentie het primaire doel is. Het stelt dat voor strikte ranking, de orde (R-voorwaarde) prioriteit moet hebben boven wiskundige consistentie, en dat bestaande methoden deze orde kunnen vernietigen.
Toepassing: De methode is relevant voor gebieden zoals asset management, financiën en netwerkanalyse, waar een duidelijke, niet-gelijkgestelde rangschikking cruciaal is.
Psychologische Implicatie: De auteur merkt op dat menselijke oordelen vaak "vage" (linguïstische) waarden zijn die moeilijk in strikte getallen te vertalen zijn. De huidige PC-methode, gebaseerd op $\mathbb{R}^*_+$ , is mogelijk te beperkt voor complexe menselijke problemen. De auteur suggereert dat geavanceerdere structuren (zoals niet-abelse Lie-groepen of principal bundles) nodig zouden kunnen zijn om menselijke voorkeuren beter te modelleren.
Toekomstig Onderzoek: De volledige studie van de regulariteit van de functionaal $\Phi$ en de convergentie van de bijbehorende gradientenmethoden wordt aangewezen als een open vraag voor verder onderzoek.

Samenvattend: Magnot biedt een wiskundig onderbouwd kader om strikte rangschikkingen te garanderen door een nieuwe optimalisatiefunctie ( $\Phi$ ) te introduceren die consistentie en strikte orde simultaan afdwingt, terwijl hij waarschuwt dat traditionele "reparatie"-methoden van inconsistentie vaak contraproductief werken voor het behoud van de gewenste rangschikking.