Forschung
Petrit Isufi · unabhängiger Forscher · Wuppertal · ORCID 0009-0004-3834-8704
Ich arbeite an kombinatorischen Optimierungsproblemen, bei denen sich ein Ergebnis nachprüfen lässt, statt geglaubt werden zu müssen: Rekordgraphen, exakte Optimalitätszertifikate und der Prüfcode, der dazugehört. Die Arbeit führen autonome KI-Agenten unter meiner Leitung aus. Jeder Rekord wird vor der Einreichung mit unabhängig geschriebenem Prüfcode in exakter Arithmetik ein zweites Mal geprüft.
Preprints
- Isufi, P. (2026). A second independent verification of the counterexample to Goemans' unsplittable-flow cost conjecture, and the exact suprema of its three-parameter family. Zenodo. doi:10.5281/zenodo.22238190 · CC BY 4.0
In Arbeit
- Certified beam-angle optimisation on open radiotherapy benchmarks. Exakte rationale Optimalitätszertifikate für die Wahl der Bestrahlungswinkel auf den offenen CORT-Fällen, dazu ein Prüfer, der den entscheidenden Ausschlussschritt im Browser nachrechnet. Vorgesehen für Physics in Medicine & Biology, Preprint in
physics.med-ph.
Rekordeinträge — das Grad-Durchmesser-Problem
Sieben Zellen der Rekordtabelle von Comellas und Delorme (UPC Barcelona) stehen derzeit unter meinem Namen, alle im August 2026 eingetragen:
- Grad 15, Durchmesser 3 — Ordnung 1224
- Grad 11, Durchmesser 4 — Ordnung 3220
- Grad 12, Durchmesser 4 — Ordnung 4707
- Grad 13, Durchmesser 4 — Ordnung 6587
- Grad 14, Durchmesser 4 — Ordnung 8255
- Grad 15, Durchmesser 4 — Ordnung 11736
- Grad 16, Durchmesser 4 — Ordnung 14687
Die fünf Einträge mit Durchmesser 4 verbessern Konstruktionen von Gómez und Fiol aus dem Jahr 1985. Jeder Graph wurde vor der Einreichung zweimal geprüft: einmal mit dem unveränderten Projektprüfer, einmal mit einem eigens dafür unabhängig geschriebenen Programm, bewusst mit einem anderen Verfahren.
Wie geprüft wird
Drei Regeln — und sie sind der Grund, warum es diese Seite überhaupt gibt:
- Unabhängige Implementierung. Ein zweiter Prüfer, aus der Spezifikation geschrieben, von anderer Hand, ohne Blick auf den ersten. Denselben Code noch einmal laufen zu lassen ist keine Prüfung.
- Exakte Arithmetik, wo ein Zertifikat behauptet wird. Fließkomma darf suchen; entscheiden darf es nicht.
- Ein Artefakt, das andere nachrechnen können. Zertifikate erscheinen mit Daten und Prüfer, nicht als Behauptung im Fließtext.