Gemischte Signale

[Cauchykriterium]

Original von Gotthardlok
Aus Erfahrung habe ich mir folgende Regel gegeben (Für Cauchykriterium als zu beweisender Satz?):

Zwiegt von einer (frequentierten) zweigleisigen Strecke eine Strecke ab, und verkehren auf dieser mehr als 2 Züge, muss die abzweigende Strecke im Anschluss an die andere ebenfalls ein Stück weit (Block mit Zuglänge) zweigleisig sein, ohne dass es zu deadlocks kommt.

Um daraus einen Satz zu machen, sollte man noch 'frequentiert' definieren, sowie 'mehr als zwei' durch 'zwei oder mehr' ersetzen. Ich wuerde den Satz graphentheoretisch beweisen, da gibt es kein frequentiert. Im Uebrigen muss jede Strecke mit n Zuegen eine Ringstrecke sein oder mindestens n Ausweichstellen (parallel oder seriell) haben, so dass alle Zuege sich passieren koennen. Es ist gar nicht so einfach, so etwas korrekt zu formulieren. Hier staende sehr viel Definitionsarbeit an. Aber waere mal interessant, das zu eruieren.

In dem Sinne viel Spass beim Fussball! :-)