Nachweis der Irreversibilität der 50-Zug-Regel

9

Ich habe kürzlich den Wikipedia-Artikel 50 Move Rule wie folgt bearbeitet :

Der Grund für diese Regel ist, dass Bauernbewegungen und Eroberungen die einzigen irreversiblen Bewegungsarten sind. Das heißt, nach jedem Bauernzug ​​oder jeder Eroberung kann keine vorherige Position im Spiel wiederholt werden.

Leider wurde meine Bearbeitung mit dem Kommentar schnell entfernt: This is unreferenced. Come up with a reference if you can.

Ich denke, das ist ziemlich klar, wenn man nur darüber nachdenkt, aber gibt es irgendwo einen "formalen Beweis", dass das, was ich versucht habe, dem Artikel hinzuzufügen, wahr ist?

EDIT: Die Wörter "der einzige" sollten gelöscht werden. Zusätzlich zu Eroberungen und Bauernbewegungen besteht der Verlust des Rechts auf Burg auf einer oder beiden Seiten (durch Bewegen eines Turmes oder Königs) oder das Versäumnis, einen bestimmten Bauern "en passant" zu erobern (wodurch das Recht darauf später aufgegeben wird) auch irreversibel. Diese sollten logischerweise auch die Anzahl der 50 Züge zurücksetzen, werden jedoch aus Gründen der Einfachheit in den Regeln weggelassen.

Patt
quelle
Für welchen Teil von dem, was Sie hinzufügen wollten, suchen Sie einen Beweis für seine Wahrheit? Dass dies die einzigen irreversiblen Bewegungen sind oder dass dies wirklich die Begründung für die Regel ist? In jedem Fall ist Ihr Titel etwas irreführend und sollte am besten umformuliert werden, um anzugeben, nach welcher Art von Beweis Sie suchen.
ETD
1
Castling und die Ablehnung, en-passant zu fangen, sind ebenfalls irreversible Bewegungen. Bei Schachproblemen zählt die 50-Züge-Regel die Rochade als Möglichkeit zum Zurücksetzen des Zählers, siehe Codex unter saunalahti.fi/~stniekat/pccc/codex.htm
phs
Wenn Sie einen Moment des Ruhms wünschen, um den Wikipedia-Eintrag für die 50-Zug-Regel zu bearbeiten, sollten Sie wissen, dass dieser Satz im aktuellen Artikel falsch ist - "Theoretisch könnte ein Spiel auf diese Weise auf unbestimmte Zeit fortgesetzt werden". Die Einführung der 75-Züge-Regel (eine 75-Züge-Regel, die der 50-Züge-Regel entspricht, die es dem Schiedsrichter ermöglicht, einzugreifen und das Spiel für unentschieden zu erklären) in den Änderungen vom 1. Juli 2014 bedeutet, dass das Spiel in der Praxis nicht auf unbestimmte Zeit fortgesetzt wird, selbst wenn beide Spieler waren unwiderruflich (keiner der Spieler war bereit, ein Unentschieden anzunehmen) oder unwissend (Spieler kennen die Regeln nicht).
Brian Towers
5
Die Frage klingt so, als ob Sie Verweise auf die Tatsache wünschen, dass das, was Sie über Irreversibilität geschrieben haben, die Begründung für diese Regel ist , aber Ihre Kommentare zu Tony Ennis 'Antwort unten scheinen darauf hinzudeuten, dass Sie einen Beweis dafür wollen, dass das, was Sie über Irreversibilität geschrieben haben, wahr ist . Welches möchtest du haben?
JiK
1
Ja, du hast recht ... Ich glaube, ich brauche beides
StaleMate

Antworten:

5

Die beiden irreversiblen Züge können wie folgt irreversibel nachgewiesen werden (es ist unmöglich, diesen Brettstatus später im Spiel zu replizieren).

Annahmen: - Bauern können sich nicht rückwärts bewegen. - Jeder Bauernzug ​​bewegt ihn vorwärts. - Teile können nicht zum Brett hinzugefügt werden. - Es gibt keine Möglichkeit, einen Bauern zu erstellen (im Gegensatz zu Königinnen, Bischöfen, Rittern und Türmen, die durch Bauernförderung erstellt werden können).

Erstens können Captures als irreversibel erwiesen werden, da sie immer ein Stück vom Brett entfernen. Wenn ein Board-Status N Teile hat und einer entfernt wird, haben Sie jetzt N-1 Teile. Es gibt keine Möglichkeit, die Anzahl der Teile zu erhöhen, sodass Sie niemals zu N Teilen zurückkehren können.

Zweitens kann ein Bauer niemals in seine ursprüngliche Position zurückkehren, da jeder Bauernzug ​​ihn vorwärts bewegt. Die einzige Möglichkeit, einen Bauern später in dieser Position zu haben, besteht darin, ihn von einem anderen Bauern besetzen zu lassen. Aber damit ein anderer Bauer die Position einnimmt , muss sich der Bauer bewegen. Es gibt nur eine begrenzte Anzahl von Bauern. Nachdem sich jeder Bauer bewegt hat, um die Position des vorherigen Bauern zu besetzen, sind keine Bauern mehr übrig, um die Position des letzten Bauern zu besetzen, wodurch verhindert wird, dass der Brettstatus wieder erreicht wird.

Omegastick
quelle
Ich hoffe das wird akzeptiert. +1!
user45266
@ user45266 Die Frage wurde vor 3 Jahren gestellt, sie wird wahrscheinlich nicht akzeptiert, haha.
Omegastick
Hey, du weißt es nie. Schöne Antwort!
user45266
3

Der einzige „formale Beweis“, den Sie benötigen, ist ein Verweis auf das Regelwerk des zuständigen Leitungsorgans. In den USA könnte dies die USCF sein. Für internationale Veranstaltungen wäre es FIDE.

Tony Ennis
quelle
1
Ich benutze das Wort "Beweis" in einem mathematischen Sinne
StaleMate
4
Mein Punkt ist, dass es keinen "Beweis" gibt. Es gibt eine willkürliche Regel. Diese Regel ist gut definiert.
Tony Ennis
1
Tony hat absolut recht. Schach ist ein menschliches Konstrukt und seine Regeln eine soziale Konvention. Es gibt viele verschiedene Varianten und es gibt keinen Zwang, gemäß den FIDE- oder USCF-Regeln zu spielen, es sei denn, Sie spielen in einem ihrer Turniere. Es kann keinen Beweis im Sinne der reinen Mathematik geben, da das Spiel und die Regeln abhängig sind.
Brian Towers
2
Ich suche einen formellen Beweis dafür, dass Fänge und Bauernbewegungen irreversibel sind.
StaleMate
2
Dieser Teil ist willkürlich, vereinbart. Aber nicht der Teil "Bauer bewegt oder Stück gefangen".
StaleMate
3

Wer auch immer den Grund für das Entfernen Ihrer Bearbeitung angegeben hat, war freundlich. Ihre angebliche Begründung für die Regel ist nicht korrekt. Die 50-Move-Regel und die 3-fache Wiederholungsregel dienen dazu, kurze Spiele zu schneiden, die nirgendwo hin führen.

Wenn es Fänge oder Bauernzüge gibt, ändert sich die Art der Position und es besteht die Möglichkeit, dass die eine oder andere Seite über diese Züge gewinnt oder verliert. In blockierten Positionen, in denen solche Bewegungen entweder für beide Seiten unmöglich oder selbstmörderisch sind, macht es keinen Sinn, einfach weiter Holz zu schieben. Irreversibilität hat überhaupt nichts damit zu tun.

Brian Towers
quelle
10
"Ihre angebliche Begründung für die Regel ist Unsinn." Das scheint mir zu hart. Ich stimme Ihrer Aussage voll und ganz zu: "Wenn es Eroberungen oder Bauernbewegungen gibt, ändert sich die Art der Position und es besteht die Möglichkeit, dass die eine oder andere Seite gewinnt", aber ich würde argumentieren, dass es genau die Irreversibilität solcher ist Bewegungen, wie vom OP festgestellt, die sie zu Zeichen des Fortschritts machen. ... (Fortsetzung)
ETD
9
(Fortsetzung) ... Spieler können Teile für immer mischen (wobei sie die Wiederholung im Moment ignorieren), aber es gibt eine klare endliche Grenze für die Anzahl der Bauernzüge und Eroberungen, die ausgeführt werden können ( weil diese irreversibel sind), und das Aus diesem Grund sind solche Bewegungen als Maß für den Fortschritt im Spiel sinnvoll.
ETD
1
Die Kommentare können in Bezug auf die 75-Zug-Regel (9.6) verstanden werden, wenn nicht in Bezug auf die 50-Zug-Regel. Zwei Spieler, die sich zu einem unendlichen Spiel gegen einen Schiedsrichter verschwören, der will, dass es endlich ist, werden nach weniger als 130 * 75 Zügen gezogen. Dies bezieht sich zwar auf die Reversibilität, aber auch auf eine absichtlich geringe Anzahl irreversibler Bewegungen, die die Regel als Beweis für den Fortschritt anerkennt.
Jirka Hanika