ein schnellerer Algorithmus für kürzeste Wege

kurz gesagt

Geby Jaff beschreibt eine Anstrengung von zehn Claude-Opus-5.5-Agenten, die C-HD hervorbrachte, einen formal geprüften exakten Kürzeste-Wege-Algorithmus für gerichtete Graphen mit nichtnegativen reellen Gewichten. In einem eingeschränkten Regime dünner Dichte verbessert seine bewiesene Schranke Dijkstra und zwei neuere deterministische Ergebnisse, indem er wiederholte lokale Such- und Datenstrukturarbeit reduziert. Das Ergebnis ist asymptotisch, nicht empirisch: Es wurden nur kleine Korrektheitssimulationen ausgeführt, die Konstanten sind enorm, und Bellman–Ford deckt andere Eingaben ab.

ideen

• Der Gewinn ist regimespezifisch. C-HD verbessert die führende Schranke entlang eines dünnen Graphenprofils, mit einem zertifizierten Bereich, der nicht jede Kantendichte abdeckt.
• Lokale Suche kontrolliert wiederholte Arbeit. Begrenzte Suchen, die Buchführung unerforschter Blätter, Pivots und Kantenlöschung verhindern, dass sich rekursive Verarbeitung unnötig vervielfacht.
• Formale Verifikation macht die Behauptung prüfbar. Lean und der Comparator etablieren das Laufzeitziel, die Exaktheit, die erlaubten Axiome und die angegebenen asymptotischen Vergleiche.
• Das Theorem ist kein Benchmark. Der Autor führte nur kleine Korrektheitssimulationen aus; riesige Konstanten bedeuten, dass der Beweis keine praktische Beschleunigung belegt.
• Ein Schwarzes Brett machte parallele Forschung kombinierbar. Zehn Agenten konnten Rollen neu organisieren, Funde teilen, Behauptungen anfechten und gescheiterte Ansätze bewahren, während sie einen reproduzierbaren Beweis verfolgten.

zitate aus der Quelle