svart-riddare / euclide Goto Github PK

Le fichier de sortie comprend la position, sous forme FEN, ainsi que la (ou les 
dans le cas d'une démolition) solution.

Certains utilisateurs ont exprimé le souhait d'avoir également un diagramme.

Sous Linux, comme le précise Pascal Wassong dans un courriel daté du 31 
décembre, les lettres non ASCII ne s'affichent pas correctement.

« Le é accentué dans le mot "stratégie" ne s'affiche pas correctement.  
J'ai 
un caractère contenant un point d'interrogation sur fond blanc. »

D'après un courriel de Silvio Baier :

In the position 1kd2s2/1l4s1/bbbbbbbb/6t1/1t3l2/8/8/TSLDKLST 48, Euclide 0.99 
simply crashes after about 24 hours of calculation on different Windows 
platforms.

(1.b4 Sh6 2.b5 Sf5 3.b6 ab 4.g4 Ra4 5.g5 Rb4 6.g6 hg 7.a4 Rh5 8.a5 Rg5 9.a6 ba 
10.h4 Bb7 11.h5 Qc8 12.h6 gh 13.f4 Sg7 14.f5 Kd8 15.f6 ef 16.c4 Bd6 17.c5 Bf4 
18.c6 dc 19.d4 Sd7 20.d5 Sf8 21.d6 cd 22.e4 Kc7 23.e5 Kb8 24.e6 fe)

Date: Tue, 21 Jul 2009 11:09:20 +0200
From: "Silvio Baier" <[email protected]>
Subject: Bug in Euclide 0.93??
To: [email protected]

Dear Etienne,

while checking the P1000618 in the PDB with WTM 
(tsldkl/bbbbbbb//LL5b/1KB/2S4T/BB3B/T2D2S)
, Euclide 0.93 found a "wrong" solution within 22 half moves, where an 
additional bS is on d2 at the end of the solution. A similar wrong solution 
is found in 26 moves - one strategy between 13000 and 14000 with additional 
bRh2). Could you clarify, please?


Best regards
Silvio

Date: Fri, 4 Sep 2009 22:56:51 -0400 (EDT)
From: Paul Monsky <[email protected]>
To: [email protected]
Subject: Fwd: a bug in Euclide

----- Forwarded Message -----
From: "Paul Monsky" <[email protected]>
To: [email protected]
Sent: Friday, September 4, 2009 9:40:33 PM GMT -05:00 US/Canada Eastern
Subject: a bug in Euclide



Dear Etienne Dupuis,
  I composed a 13.5 move SPG, but when I checked it for soundness on 
Euclide the program declared it cooked on
strategy 1024. But the output file didn't result in my position--black had 
an extra knight on a6. Mario Richter
replicated my finding independently.


Qrb2bnr/1p1ppppp/8/k1BR4/P1P5/1PP5/4PPPP/1NK2BNR     (13.5)

                                                    Thanks, Paul Monsky

My intended solution is  1.c4 a5  2.Nc3 a4 3.Qxa4 Nc6 4.b3 Rb8 5.Qa8 Na7 
6.a4 c6 7.Ba3 Qa5 8.O-O-O Kd8

                         9.Nb1 Qc3+ 10.dxc3 Kc7 11.Rd5 Kb6 12.Bc5+ Ka5 
13.Bxa7+ c5 14.Bxc5+

D'après un courriel reçu de Silvio Baier :

I already asked you (maybe two years ago) whether it could be possible (= I 
hope you could find time to do it) to optimize Euclide by ignoring physically 
impossible strategies. Perhaps you can work on it when you try to remove the 
bugs(?)
One related PG is 1sld2st/1bb2bbb/Lb2k3/t2Sb3/4B3/l1B1L3/BB2KBBB/3DT1ST 33 
(1.d4 e5 2.d5 Ba3 3.Qd4 Se7 4.Qb6 ab 5.d6 Ra5 6.de d5 7.e4 d4 8.Ba6 d3 9.Sc3 
d2+ 10.Ke2 d1S 11.Sd5 Se3 12.c3 Sf5 13.Be3 Kd7 14.Re1 Ke6 15.e8Q+ Se7 16.Qa4 
Sg8 17.Qd1).
Euclide is analyzing strategy No.3 which contains d7-d5 and d2-d8=Q:d5. This is 
of course impossible. It seems to be quite easy (at least from outside) to 
exclude those strategies with pawns blocking each other on their paths.


Effectivement, la stratégie n° 3 consiste à promouvoir le Pd2 en d8 alors 
que son homologue noir joue d7-d5 et est capturé par la dame promue. Les pions 
n'ayant pas effectués de capture, c'est bien évidemment impossible.

D'après un échange avec Henrik Juel, le 10/12/2014 et 30/12/2014 :

« I tried to test P1257246 from the PDB (a PG in 28.0 moves) by version 1.00, 
and it immediately stopped with an internal error: Position.cpp <1206>
After reading the help page, I installed version 1.01, but the same error 
occurred.
Could it be that the PG is too long? »

« Yes, the first time the window appears, it has already stopped (at time 
0.00) and says something like '... Internal error, consult the author' in red.
Here are the two lines I used for input:
1stdk3/bDbSbTbb/1bb2b1B/7s/2BTK2L/B3BB2/B2B2B1/5t2
56 P1257246 »


Le problème référencé est en fait (coquille, fou en c8 plutôt que tour) :
1sldk3/bDbSbTbb/1bb2b1B/7s/2BTK2L/B3BB2/B2B2B1/5t2
56

Celui donné par Henrik n'a vraisemblablement pas de solution, ce qu'Euclide 
aurait dû indiquer plutôt que de provoquer une erreur interne.

Signalé sur la rétro mailing list et sur le blog de Thomas Brand :

- http://www.pairlist.net/pipermail/retros/2014-February/004129.html
- http://www.thbrand.de/2014/02/18/problem-mit-euclide/

Euclide ne trouve pas de solution pour la partie justificative suivante :

Bernd Gräfrath, Version: Silvio Baier
Beweispartie in 9,5 Zügen (C+!?)
Lösung: 1.d3 f5 2.Dd2 f4 3.Db4 f3 4.Dg4 fxg2 5.Sf3 g1=D 6.Lf4 Dg3 7.Lh3 Dh4 
8.0-0 Dg3+ 9.Kh1 Dg1+ 10.Txg1. 

Quelques commentaires de Pascal Wassong, dans un courriel daté du 31 
décembre 2009 :

b. Les couleurs sont très bien, sauf, les pièces blanches sur cases
blanches ne se voient pas.  Ni les pièces noires sur cases violettes.

c. Il est frustrant de savoir qu'il y a une solution, sans la voir.

d. Il serait plus clair d'ajouter des espaces dans le nombre de
pièces : (16 + 12) plutôt que (16+12).

e. Au moment de passer au prochain problème, le message pourrait
indiquer que 'escape' permet de stopper la résolution.

Un courriel de Paul Raican, datée du 12 janvier 2010 :


Cher Etienne,
Je crois que Euclide a un bug. La position suivante (PJ17), donne une 
solution par euclide et deux solutions par Natch!
Natch:
1sbq1rB1/1Rppp2p/1p3kss/R4p2/r7/2P1S3/P1PP1PP1/4KBS1
34 single moves. 13 + 14
The resolution begins at Tue Jan 12 21:34:47 2010
Solution 1 (position 3)
1.Ph2-h4   Pb7-b5   2.Ph4-h5   Pb5-b4   3.Ph5-h6   Pb4-b3  
4.Ph6xg7   Sg8-h6   5.Pg7-g8=B Bf8-g7   6.Sb1-a3   Bg7-c3  
7.Pb2xc3   Pb3-b2   8.Ra1-b1   Pb2xc1=S 9.Rb1-b7   Sc1xe2  
10.Qd1-b1   Se2-f4   11.Qb1-b6   Pa7xb6   12.Rh1-h5   Ra8-a4  
13.Rh5-a5   Pf7-f5   14.Bg8-b3   Rh8-f8   15.Sa3-c4   Ke8-f7  
16.Sc4-e3   Kf7-f6   17.Bb3-g8   Sf4-g6  
Solution 2 (position 7)
1.Ph2-h4   Pb7-b5   2.Ph4-h5   Pb5-b4   3.Ph5-h6   Pb4-b3  
4.Ph6xg7   Sg8-h6   5.Pg7-g8=B Bf8-g7   6.Sb1-a3   Bg7-c3  
7.Pb2xc3   Pb3-b2   8.Ra1-b1   Pb2xc1=S 9.Rb1-b7   Sc1xe2  
10.Qd1-b1   Se2-f4   11.Qb1-b6   Pa7xb6   12.Rh1-h5   Ra8-a4  
13.Rh5-a5   Pf7-f5   14.Bg8-b3   Sf4-g6   15.Sa3-c4     O-O   
16.Sc4-e3   Kg8-g7   17.Bb3-g8   Kg7-f6  
The resolution ends at Tue Jan 12 21:34:49 2010
Resolution time : 2.03 s.

Euclide:
Problem analysed:
 1nbq1rB1/1Rppp2p/1p3knn/R4p2/r7/2P1N3/P1PP1PP1/4KBN1
 34

Solution #1 :
---------------------------------------------------------------------
 1. Ph2-h4   Pb7-b5     2. Ph4-h5   Pb5-b4     3. Ph5-h6   Pb4-b3   
 4. Ph6xg7   Ng8-h6     5. Pg7-g8=B Bf8-g7     6. Nb1-a3   Bg7-c3   
 7. Pb2xc3   Pb3-b2     8. Ra1-b1   Pb2xc1=N   9. Rb1-b7   Nc1xe2   
10. Qd1-b1   Ne2-f4    11. Qb1-b6   Pa7xb6    12. Rh1-h5   Ra8-a4   
13. Rh5-a5   Pf7-f5    14. Bg8-b3   Rh8-f8    15. Na3-c4   Ke8-f7   
16. Nc4-e3   Kf7-f6    17. Bb3-g8   Nf4-g6   

Result:
 Unique solution
 1.06 seconds
Peux-tu remedier?
Amicalement,
   Paul

Un courriel de Michel Caillaud, daté du 13 avril 2010 :

Bonjour Etienne,

Suite à la nouvelle version effectivement beaucoup plus rapide, j'ai 
effectué pas mal de tests.
Là, je tombe sur un message qui me dit de communiquer avec l'auteur, donc 
je communique...
Je joins le pb.txt et le Output.txt
(il s'agit des premiers coups d'un pb de Pronkin & Frolkin; en 29,5, 
Euclide résoud bien; en rajoutant 30...g5, j'obtiens le message...).

Amicalement,
 Michel


Output.txt


#############################################
## Euclide 0.96, ©2000-2010 Étienne Dupuis ##
#############################################

Problème analysé :
    2rt2ct/1f5P/1Dc1t2F/d1f1p1pt/T2P1P2/p1t4T/1T2C3/TC2RF1T
    60


pb.txt

2rt2ct/1f5P/1Dc1t2F/d1f1p1pt/T2P1P2/p1t4T/1T2C3/TC2RF1T
60

D'après un courriel de Michael Barth, reçu le 9 mai 2011 :

I use Euclide with German messages to test my proof games. Last weekend I had 
the following position on the board (see SCREENSHOT00.GIF):

#############################################
## Euclide 0.98, ©2000-2010 Étienne Dupuis ##
#############################################

Problem analysiert:
 tsl3sS/bb1bb2k/1T5l/d6b/8/1K6/BDBBBBB1/t4LST
 29


Lösung #1 :
---------------------------------------------------------------------
 1. Bh2-h4   Bc7-c5     2. Bh4-h5   Bc5-c4     3. Bh5-h6   Bc4-c3   
 4. Bh6xg7   Bc3xb2     5. Bg7xh8=S Bb2xc1=T   6. Sh8xf7   Tc1xb1   
 7. Sf7-h8   Tb1-c1     8. Ta1-b1   Dd8-a5     9. Tb1-b6   Tc1-a1   
10. Dd1-b1   Bh7-h5    11. Ke1-d1   Lf8-h6    12. Kd1-c1   Ke8-f8   
13. Kc1-b2   Kf8-g7    14. Kb2-b3   Kg7-h7    15. Db1-b2  

Then I added the black move 15. Ta1-b1 (see SCREENSHOT01.GIF) and I got the 
following effect:

#############################################
## Euclide 0.98, ©2000-2010 Étienne Dupuis ##
#############################################

Problem analysiert:
 tsl3sS/bb1bb2k/1T5l/d6b/8/1K6/BDBBBBB1/1t3LST
 30


Ergebnis:
 Keine Lösung gefunden
 8.53 Sekunden

When I use Natch, then the solution will be found.

Un courriel de Michel Caillaud daté du 1er juin 2010 :

Deuxième test : patatras!

Il s'agit des 28,0 premiers coups d'un pb de Thierry Probleemblad 1997 
(version de son 4ème Prix 1996).

Verdict Euclide 0.97 :
"Ce problème est insoluble! Vérifiez attentivement l'énoncé!"
J'ai bien vérifié...Euclide 0.95 que j'avais conservé par miracle "démolit" 
le problème (mais c'est normal; il faudrait aller jusqu'à 30.0-0-0 pour 
rétablir la correction).

5fc1/P2pppP1/c1p1fP2/1pp2ft1/8/1PP5/3P2Pd/T3R1rt
56

Thierry Le Gleuher a adopté un Mac et serait ravi de pouvoir exécuter Euclide 
sur sa nouvelle machine

D'après un échange de courriels entre Paul Monsky et Mario Richter :


From: "Mario Richter"
Date: November 2, 2012 7:36:42 PM EDT
To: "Paul Monsky"
Subject: Re: A bug in Euclide?

Dear Paul,

> rnb1k2b/Qppppp1p/8/3P2p1/8/2N2PKR/P1P1P1P1/5BqR
>
> This is reached in 12.5 by the sequence:
>
> 1. d4 Nh6  2. BxN  g5  3. d5  Bg7  4. Qd4  O-O  5. Qxa7  Bxb2  6. BxR
> Bh8  7. Nc3  QxB  8. Rd1  Qh6  9. Rd3  Qxh2  10. Rh3  Kf8  11. f3
> Ke8  12. Kf2  QxN check  13. Kg3
>
> But when I fed it to my Euclide program it  said "no solution found"
> after examining 2 strategies, not even considering the possibility of
> black castling. Does your Euclide
> program have the same defect?

Yes!
My version (0.98) too investigates only two strategies, then claiming that
no solution exists.

Obviously, the program correctly counts: Ke8-f8-e8 + Rh8-f8 costs three moves,
but forgets, that Ke8-g8-f8-e8 + Rh8-f8 also costs only three moves (since
Ke8-g8+Rh8-f8 =0-0 is only one move) ...

Also interesting: Natch solves this PG correctly:
rsb1k2b/Qppppp1p/8/3P2p1/8/2S2PKR/P1P1P1P1/5BqR
25 single moves. 12 + 13

The resolution begins at Sat Nov 03 00:26:11 2012

Solution 1 (position 6)
1.Pd2-d4   Sg8-h6   2.Bc1xh6   Pg7-g5   3.Pd4-d5   Bf8-g7
4.Qd1-d4     O-O    5.Qd4xa7   Bg7xb2   6.Bh6xf8   Bb2-h8
7.Sb1-c3   Qd8xf8   8.Ra1-d1   Qf8-h6   9.Rd1-d3   Qh6xh2
10.Rd3-h3   Kg8-f8   11.Pf2-f3   Kf8-e8   12.Ke1-f2   Qh2xg1
13.Kf2-g3

The resolution ends at Sat Nov 03 00:26:11 2012
Resolution time : 0.38 s.


To summarize: you've detected a bug in Euclide, and you should inform
Étienne Dupuis about it.

Best regards,

Lorsque la position est évidemment illégale, par exemple parce que le trait 
est au noir mais que les blancs sont en échec (donc à leur dernier coup les 
blancs n'ont pas paré l'échec, ce qui est illégal), Euclide commence son 
analyse comme si de rien n'était. Évidemment il ne trouvera aucune 
solution...

Mieux vaudrait dans ce genre de cas qu'il annonce 'position illégale' dès 
le début.

Exemple de Nicolas, pour lequel Natch trouve une « solution » :

Brbq1bn1/11pn3R/b2pk1pQ/6b1/8/4r3/P1PN1Pp1/1KBR1BN1
49

1.b4 h5 2.b5 h4 3.b6 h3 4.b×a7 b5 5.d4 b4 6.d5 b3 7.d6 b2 8.d×é7 b×ç1=F
 9.Dd6 Fg5 10.Cd2 h×g2 11.0-0-0 Th3 12.Rb1 Té3 13.h4 f5 14.h5 f4 15.h6 f3
 16.h7 f×é2 17.h8=F é×f1=F 18.Th7 Fa6 19.Dh6 g6 20.Fb2 d6 21.Fç1 Rd7
 22.é8=F Ré6 23.Fb5 Cd7 24.Ff1 Tb8 25.a8=F 


Dans cet exemple, Euclide prend près de 4 minutes pour annoncer qu'il n'y a 
pas de solution.