Kreuzungszahlen — Turáns Ziegelei

Über diese App

Wie wenige Kreuzungen braucht eine Zeichnung, in der jeder Punkt mit jedem verbunden ist? Knoten ziehen, Bögen umklappen, suchen lassen: Der Zähler landet bestenfalls auf der Formel von Harary–Hill bzw. Zarankiewicz. Mit geraden Kanten bleibt ab K₈ eine Lücke; die Zwei-Seiten-Zeichnung trifft die Formel genau. Ergebnis aus github.com/openai/math (Familie 165, Lean-formalisiert).

Fach: Offene Probleme, gelöst von KI

Mehr aus Offene Probleme, gelöst von KI

• Die Ebene ist nicht fünffärbbar (Hadwiger–Nelson)
• Dreiecksbillard — irrationale Winkel mischen (3D)
• Dreiecksgitter — universelle Optimalität
• Gaußscher Graben — kein Weg ins Unendliche
• Hot-Spots-Vermutung (3D)
• Isoperimetrie im Würfel-Torus (3D)
• Standardabbildung: Chaos auf echter Fläche

Eine VisuApp von heyprof: interaktiv, kostenlos im Browser, ohne Anmeldung. Was ist eine VisuApp? · Alle Apps