Archiv der Kategorie: Computer

Party-Seiten

Veröffentlicht am von
1

Ich spreche ja immer von “Party-Schach” statt von Partieschach, aber auch dazu gibt es ein paar interessante deutschsprachige Webseiten, die gelegentlich das Anschauen lohnen, wie ich finde.

Wer sich für die deutsche Schach-Bundesliga interessiert, muss natürlich regelmäßig bei bei http://schachbundesliga.de/ vorbeischauen, um die Jagd auf den Titelverteidiger Solingen zu verfolgen.

Allgemein um (deutsches) Schach geht es auf der Seite des Deutschen Schachbundes. Diese Seite ist auch deswegen bemerkens- und besuchenswert, weil dort Wilfried Neef wöchentlich ein Schachproblem vorstellt.

Übrigens, wenn ihr bei Twitter seid, könnt ihr auch dort den Themen folgen: @SchachBL bzw. @Schachbund.

n-Damen-Problem

Veröffentlicht am von
Antworten

Sicher kennt ihr alle diese schachmathematische Fragestellung: Auf wie viele Arten kann man n Damen auf einem nxn-Brett aufstellen, sodass sich keine Damen beobachten?

Besonders interessant ist für uns natürlich n=8, also das normale Schachbrett. Hier ist schon seit 1850 die Lösung 92 bekannt (siehe Bonsdorff, Fabel, Riihhimaa: Schach und Zahl, 3. Auflage 1978, S. 55). Diese 92 Stellungen lassen sich aus 12 “Stammlösungen” durch Drehung und Spiegelung erreichen. Wer einmal Programmieren gelernt hat, hat für diese Fragestellung sicher schon einmal ein Programm geschrieben; die Aufgabe ist das klassische Beispiel für “Backtracking Algorithmen”.

Der Rechenaufwand für größere n steigt sehr stark (etwas stärker als exponentiell, siehe [1]), und nun ist vor ein paar Tagen die Anzahl der Lösungen für n=27 veröffentlicht worden: Die Forschergruppe um Thomas Preußer von der TU Dresden fand die Zahl 234.907.967.154.122.528 (also 234,9 Billiarden) [2] mit 29.363.495.934.315.694 Stammlösungen [1].

Für n=26 existiert die Lösung bereits seit 2009, daran sieht man, wie “schwer” das Problem für wachsende n zu lösen ist. Nun bin ich mal gespannt, wann die Lösung für n=28 bekannt wird…

Zwei interessante Artikel aus dem Netz empfehle ich euch zur weiteren Lektüre:

[1] https://de.wikipedia.org/wiki/Damenproblem
[2] http://www.heise.de/newsticker/meldung/Zahlen-bitte-Das-27-Damen-Problem-ist-geloest-3332513.html

Fehler in Natch

Veröffentlicht am von
Antworten

Die neueste Version des Beweispartie-Prüfprogramms Natch (Version 3.0Beta1) enthält offensichtlich einen Fehler, der dafür sorgt, dass eventuell nicht alle Lösungen gefunden werden. Pascal Wassong, der Autor, ist dabei, ihn zu untersuchen und dann zu beheben.

Wenn eine fehlerbereinigte Version, die dann auch die längere Original-Beweispartie aus dem aktuellen Problemist lösen kann, erschienen ist, werde ich euch darüber informieren.

Natch Bugfix

Veröffentlicht am von
Antworten

Pascal Wassong hat eine fehlerbereinigte Version seines Beweispartie-Prüfprogramms Natch veröffentlicht, nun in der Version 3.0.beta1.

Die Installation ist ganz einfach: Nur die von der Natch-Seite heruntergeladene Zip-Datei (für Windows 64 oder Windows 32) in ein eigenes Verzeichnis entpacken — fertig! Dort findet ihr dann auch die Datei NEWS, die über die Änderungen informiert.

Euclide 1.1

Veröffentlicht am von
Antworten

Kaum hatte ich hier die neue Version von Natch angekündigt, gibt es auch vom “Konkurrenzprodukt” Euclide von Étienne Dupuis ein Update: In der Version 1.1 kann man Einschränkungen bezüglich der Lösung angeben, beispielsweise Euclide mitteilen, dass ein bestimmter Bauer auf einem bestimmten Feld in eine bestimmte Figur umgewandelt werden muss.

Mit diesen Möglichkeiten, die die Prüfdauer deutlich verkürzen können, muss man natürlich sehr vorsichtig umgehen, da man damit möglicherweise nicht nur viele Fehlversuche, sondern auch Nebenlösungen ausblenden kann. Sie hilft also besonders während des Kompositionsprozesses, ersetzt schlussendlich aber keine vollständige Prüfung. Auch wenn ihr das sonst nicht so mögt: Lest unbedingt vorher die Beschreibung dazu in der Hilfe-Datei durch!

Dennoch natürlich ein tolles Feature, das Euclide sicher noch attraktiver als bisher schon macht.

Natch und Teddy

Veröffentlicht am von
Antworten

Gerade sind zwei interessante, aber auch völlig verschiedene Schachprogramme sind in einer neuen Version erschienen:

Natch ist ein Prüfprogramm von Pascal Wassong für orthodoxe Beweispartien. Der Quelltext ist offen, sodass es z.B. für Linux einfach nutzbar ist; für (64bit) Windows liegt es als bereits übersetztes, sofort ausführbares Programm vor. Es läuft unter Windows im Command-Fenster; “natch -h” zeigt alle möglichen Parameter zur Steuerung des Programms an, ebenso gibt es natürlich Informationen auf der Natch Web-Site.
Die neue Version 3.0beta behebt einige Fehler aus 2.50beta und beschleunigt den Lösevorgang dadurch, dass bestimmte zeitliche Abhängigkeiten im Lösungsverlauf erkannt werden, wodurch der Suchbaum eingeschränkt wird. Auf alle Fälle ausprobieren!!

Teddy ist kein eigenes Löseprogramm, sondern eine graphische Oberfläche für Popeye, das Löseprogramm für orthodoxe und sehr viele Märchenaufgaben (Märchensteine, Märchenbedingungen). Auch dieses Programm, das von Bjørn Enemark stammt, ist frei verfügbar und ebenso wie Natch kostenlos nutzbar.
Bjørn verbessert und erweitert Teddy sehr häufig, sodass für Interessenten und Nutzer ein gelegentlicher Blick auf die Teddy Homepage lohnt. Auch Teddy kann ich euch persönlich, vor allen Dingen ab Version 1.3 (aktuell ist nun Version 1.5) nur empfehlen!

Pünktlich zu Andernach

Veröffentlicht am von
Antworten

Pünktlich zum Andernach-Treffen, das ja heute beginnt (auch Spontan-Gäste sind dort natürlich herzlich willkommen!), hat Thomas Maeder die neueste Version von Popeye V4.75 freigegeben und zum Download bereitgestellt.

Neben verschiedenen Fehlerkorrekturen werden nun Märchernsteine und eine Bedingung unterstützt, die, so viel darf ich schon verraten, beim diesjährigen Andernach-Kompositionsturnier eine Rolle spielen werden.