Eigentlich sollte ich mich zur Zeit vor allem mit der Wiederholung von Datenanalyse (mathematisches Nebenfach im Physikstudium) beschäftigen, doch eine mathematische These, die mir während des Übens in den Sinn gekommen ist, lässt mich nicht mehr los:
N = (n+1)·n/2 beliebig in einer Ebene verteilte Punkte lassen sich jeweils paarweise so durch gerade, sich nicht kreuzende Linien verbinden, sodass
- an 3 Punkten je zwei,
- an 2·(n-2) Punkten je vier und
- an den übrigen Punkten je sechs Linien enden.
Nach einigen Diskussionen mit Freunden und Kollegen hat das Ding mittlerweile den Namen „Erweitertes-Triforce-Problem“ bekommen, aber leider noch keine Lösung. Der Name geht darauf zurück, dass sich für eine gleichmäßige Anordnung mit n=3 ein bekanntes Bild ergibt.
Nach mehreren Stunden Überlegung habe ich nun eine gute Idee für einen „Entknotungsalgorithmus“, der – sollte er funktionieren – das n-stufige Triforce auf ein (n-1)-stufiges zurückführt. (Ein Hoch auf die vollständige Induktion!) Falls jemand ein Gegenbeispiel oder einen Beweis hat, ehe ich einen finde: Diejenige Person, die das Problem löst, bekommt ein Bier von mir. Ansonsten wird dieses Problem mich vermutlich noch deutlich länger beschäftigen: Der Entknotungsalgorithmus müsste schließlich auch bewiesen werden, das Problem ist also nur verlagert.