Author: Miguel A. Ballicora
Date: 15:46:01 03/08/02
Go up one level in this thread
On March 08, 2002 at 15:18:35, Uri Blass wrote: >On March 08, 2002 at 14:46:41, Miguel A. Ballicora wrote: > >>On March 08, 2002 at 12:43:05, Uri Blass wrote: >> >>>On March 08, 2002 at 12:31:14, Heiner Marxen wrote: >>> >>>>On March 08, 2002 at 09:22:58, Ed Schröder wrote: >>>> >>>>>[d]4r3/p1p1pPp1/P1P1P1P1/5K2/3p2P1/7p/3P1ppr/3R1nkq w - - id M19; >>>>> >>>>>I came across this beauty, mate in 19 moves. Rebel has no clue. >>>>> >>>>>Ed >>>> >>>>After 15 minutes (Athlon 1500+, 128 MB hash) Chest says "no mate in 12". >>>>With an EBF above 6 this extrapolates to 8 years for the mate in 19. >>>>Uhh. >>>>Not reachable for Chest, as is. >>>> >>>>Cheers, >>>>Heiner >>> >>>I am not so sure >>>Maybe chest is going to surprise us and find an alternative mate in 14. >>> >>>I also could not prove that there is no shorter mate then mate in 19 so I cannot >>>be sure that the mate in 19 that I found is really the shortest mate. >> >>There is no shorter mate than 19. It is very easy to solve but it is beautiful! >> >>Regards, >>Miguel > >Did you prove it? > >The only way is to prove that black can draw or force a checkmate after every >alternative to the original solution. You can use logic to prove too. If you do not follow the solution path, black is stalemated immediately or liberated, in that case black wins. Miguel >I found a mate in 19 by myself but I did not try to prove that it is the >shortest mate. > >I need to prove that black can force at least a draw after moves like >1.Rc1,1.Rb1,1.Ra1 2.Nd6 when my program do not find a forced mate and >there is no option with the commercial programs to search for a forced mate or >repetition that may be an easier task. > > > >Uri
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.