Author: Ross Boyd
Date: 01:09:03 07/01/05
Go up one level in this thread
On July 01, 2005 at 03:17:00, Steven Edwards wrote:
>Symbolic: Light at the end of the tunnel
>
>Consider again BWTC.0031:
>
>[D] 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
>
>It's the well known mate in ten position often referenced in the computer chess
>literature. {Incidentially it was Alexander Alekhine playing White in a game
>from the mid 1920s.) The MacLisp program Paradise used patterns and planning to
>solve the problem with only 109 search nodes using less than an hour back in
>1980 on a pdp10. Today, most programs on fast hardware can solve it under
>tournament time controls, yet may require many millions of nodes to do so.
>
>The above position has also been one of the freqently used tests for Symbolic.
>And, after looking forward for well over a year to having it solved by the
>cognitive search, that goal was achieved yesterday 2005.06.30.
>
>Symbolic was able to locate the winning move 1. Qh5+ using forty-one seconds CPU
>time (700 MHz PPC750). The search tree had sixty-seven interior nodes and
>nineteen leaf nodes for a total of eighty-six nodes. The entire position search
>tree was retained in memory and the search was suspended and resumed at
>different points multiple times.
>
>Some caveats:
>
>1. Some less than perfect defensive moves were tried, so the the entire
>resulting analysis is not perfect. Good enough for the first seven or so ply,
>though.
>
>2. While there is nothing specific in Symbolic in regards to the BWTC.0031 test
>position, the program's cognitive search understands little more than mate
>attack themes.
>
>3. Much of the success is due to the utility of the GA derived mate attack move
>suggestion pattern matcher and not a more sophisticated, to-be-written
>multilevel pattern knowledge library.
>
>4. There is still a very long way to go.
Very very impressive!
For comparison, on a P3 600Mhz TRACE 1.34b needs 18secs to prefer Qh5+
and 21 seconds to announce Mate in 10.
In terms of nodes, Symbolic searched 86 nodes.
TRACE needed 3,808,093... a slight difference. ;)
I am filled with admiration for your single-minded effort and originality.
May the force be with you.
Ross
TRACE 1.34beta:
2 00:00.090 6.123 122.460 -2.18 Kh1 axb3
2 00:00.090 6.143 122.860 -2.18 Kh1
2 00:00.090 6.162 123.240 -2.17 exf6
2 00:00.120 6.180 123.600 -0.17 exf6
2 00:00.120 6.198 123.960 +2.86 exf6 Nxf6
3 00:00.120 6.586 131.720 +2.61 exf6 Nxf6
3 00:00.130 7.285 145.700 +2.38 exf6 Nxf6 fxe6+ Bxe6
4 00:00.130 11.352 141.900 +2.13 exf6 Nxf6
4 00:00.140 15.156 126.300 +1.70 exf6 Nxf6 Bc2 exf5
5 00:00.211 26.001 144.450 +1.45 exf6 Nxf6
5 00:00.241 33.264 151.200 +1.42 exf6 Nxf6 Bc2 Kg8 fxe6 Bxe6
6 00:00.591 101.388 177.873 +1.17 exf6 Nxf6
6 00:01.731 133.141 184.918 +0.97 exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6
Rxd6
7 00:02.763 339.489 195.108 +1.01 exf6 Nxf6 fxe6+ Bxe6 Bxe6+ Rxe6 Be5
Kg8 Qf2
8 00:04.856 800.157 198.058 +0.78 exf6 Nxf6 fxe6+ Bxe6 Bxe6+ Rxe6 Be5
Kg8 Qf2 Rf8
9 00:11.667 2.397.059 203.140 +1.03 exf6
9 00:13.029 2.694.866 202.621 +1.40 exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6
Bxb3 Rxe8+ Rxe8 axb3 gxf6 Qg6+ Kh8 Qxh6+ Kg8 bxa4
9 00:18.297 3.808.093 205.177 +1.41 Qh5+
9 00:18.667 3.875.651 206.042 +3.41 Qh5+
9 00:21.740 4.449.575 211.180 +M10 Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6
Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Bxe6 Rh4+
10 00:26.378 6.131.361 230.762 +M10 Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6
Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Bxe6 Rh4+
11 00:46.986 11.532.560 248.814 +M10 Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6
Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Bxe6 Rh4+
12 01:27.586 23.680.569 272.190 +M10 Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6
Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Bxe6 Rh4+
13 03:54.917 64.827.674 277.041 +M10 Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6
Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3
This page took 0 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.