Author: Uri Blass
Date: 02:04:55 09/12/01
Go up one level in this thread
On September 12, 2001 at 00:49:38, Robert Hyatt wrote: >On September 12, 2001 at 00:00:21, Uri Blass wrote: > >> >>1)The size of the tree is not enormous. >>If it was so big humans had no chance to prove the draw or equal material by a >>tree. > >First, the size of the tree _is_ enormous. It took many humans, searching >all night long, to find the draw in game 2. No It took me with the help of Genius3(p100) and no help from other humans few hours to see a draw evaluation (I proved at that time by a tree that black can force draw evaluation when I consider numbers like +0.2 also as a draw) I needed some hours because the hardware was slow at that time and today 30 minutes are enough. I did not publish my analysis at that time but I know that there was no need for many humans+many hours to Crafty also can see the draw if you continue some plies down in the tree. The hardest line for computers after Ra6 Qe3 is the following line: I used * for obvious singular moves 45.Qxd6 Re8* 46.h4 h5 47.Bf3* Qc1+* 48.Kf2* Qd2+* 49.Be2* Qf4+* 50.Kg1* Qe3+ 51.Kh2* Qf4+* 52.Kh3* Qxf5+* 53.Kh2* Qf4+* Here even Crafty can see 0.00 at depth 12 New position [D]4r3/5kp1/R2Q1p2/1p1Pp2p/1Pp2q1P/2P5/4B1PK/8 w - - 0 1 Analysis by Crafty 18.10: 54.g3 +- (2.97) Depth: 1/3 00:00:00 54.g3 Qf2+ 55.Kh3 Qxe2 -+ (-1.68) Depth: 2/3 00:00:00 54.Kh3 µ (-1.28) Depth: 2/3 00:00:00 54.Kh3 Qe3+ 55.Bf3 Qxc3 +- (1.62) Depth: 2/3 00:00:00 54.Kg1 Qxh4 +- (1.79) Depth: 2/3 00:00:00 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qxh4+ +- (2.14) Depth: 3/6 00:00:00 54.Kg1 Qe3+ 55.Kf1 Qc1+ 56.Kf2 Qf4+ 57.Bf3 Qxh4+ +- (2.21) Depth: 4/8 00:00:00 54.Kg1 Qe3+ 55.Kf1 Qc1+ 56.Kf2 Qf4+ 57.Bf3 Qxh4+ 58.Ke3 +- (2.51) Depth: 5/11 00:00:00 54.Kg1 Qe3+ 55.Kf1 Qc1+ 56.Kf2 Qf4+ 57.Bf3 Qxh4+ 58.g3 Qg5 +- (2.24) Depth: 6/15 00:00:00 21kN 54.Kg1 Qe3+ 55.Kf1 Qc1+ 56.Kf2 Qf4+ 57.Bf3 Qxh4+ 58.Ke2 e4 59.Qd7+ Re7 +- (2.29) Depth: 7/16 00:00:00 55kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qxc3+ 58.Kf1 Qd3+ 59.Be2 Qf5+ 60.Ke1 e4 ± (0.78) Depth: 8/17 00:00:01 185kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qxc3+ 58.Kf1 Qc1 59.Ke2 Qb2+ 60.Kf1 Qc1 ± (1.16) Depth: 9/23 00:00:01 350kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qxc3+ 58.Kf1 Qc1 59.Ra7+ Kg6 60.Ke2 Qb2+ 61.Kf3 c3 ± (1.17) Depth: 10/23 00:00:02 660kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qe3+ 58.Kf1 Qf4+ 59.Kg1 Qc1 60.Ra7+ Kg6 61.Qd7 Qxd1+ 62.Kh2 Rb8 63.Qxg7+ ² (0.35) Depth: 11/25 00:00:03 1633kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qxc3+ 58.Ke2 Qd3+ 59.Ke1 Qc3+ = (0.00) Depth: 12/29 00:00:09 4227kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qxc3+ 58.Ke2 Qd3+ 59.Ke1 Qc3+ = (0.00) Depth: 13/34 00:00:29 13389kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qxc3+ 58.Ke2 Qd3+ 59.Ke1 Qc3+ = (0.00) Depth: 14/35 00:00:39 18185kN 54.Kg1 Qe3+ 55.Kf1 Qf4+ 56.Ke1 Qc1+ 57.Bd1 Qxc3+ 58.Ke2 Qd3+ 59.Ke1 Qc3+ = (0.00) Depth: 15/38 00:01:04 29538kN (Blass, Tel-aviv 12.09.2001) The number of non singular moves in that line is at most 6 plies from Deeper blue's point of view(I count also the first 2 plies Ra6 Qe3 as non singular(Deeper blue did not expect Qe3 when it played Ra6 so it is clear that Qe3 was not singular from it's point of view and I assume that Ra6 was also not singular. Here is part of Deep blue logfile from that position 12(6) #[Ra6](162)[TIMEOUT] 162 T=192 ra8a6 Qb6c6q pd5c6Q Rb8c8 be4d5 Kf7e7 ra6a5 Bd6c7 ra5b5P Ke7d6 bd5f3 Kd6e7 rb5c5 Rc8a8 bf3d5 Ke7d6 --------------------------------------- --> 45. Ra6 <-- 15/75:45 You can see that deeper blue could search depth 18 so 6 non singular moves mean that the remaining depth from the position that Crafty see 0.00 is 12 and depth 12 +singular extension is clearly bigger than depth 12 of Crafty. It seems to me that something is wrong in your assumptions about deeper blue(maybe depth 12(6) is not depth 18 and maybe deeper blue did not extend a full ply for every singular move. Uri
This page took 0.01 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.