![](img/logo2.gif) Website founded by Milan Velimirović in 2006
1:37 UTC
![59th WCCC](img/logo3.png)
![Donate MatPlus](img/donate_PNG13.png)
| |
MatPlus.Net Forum Internet and Computing Another popeye mystery |
|
|
|
You can only view this page!
| Page: [Previous] [Next] 1 2 | (1) Posted by Mario Richter [Saturday, Apr 11, 2009 12:37] | Another popeye mystery popeye is quite fast in solving even long series-movers.
It has successfully been used in many longest series-mover composition
contests as a correctness-checking tool.
So I was surprised to hear that it could not solve a (what I thought
would be a relatively simple) series-mover:
Die Schwalbe, Dec.2008 (Heft 234)
13940 - Arno Tüngler
(= 11+16 )
(= 11+12 )
ser-A=>B 320
Since I couldn't believe it, I tested it myself - and yes, after 30 hours
of computation without any response from popeye, I canceled the popeye session.
(The input I used was:
forsyth ss1b4/p3P3/2PrRr2/ssrkBRP1/1Kb2q2/P2PrP2/1r6/1Bs3b1
stip ser-A=>B 320
forsyth ss6/4P3/2PrRr2/KBrk1RP1/P1bB1q2/3PrP2/1r6/2s3b1
option MoveNumber
)
So my questions are:
1. Is there something within the structure of this problem which makes it difficult for popeye to solve it?
2. (To the programmers of popeye) Where does popeye spend its time when trying to solve this problem?
3. I tested it under WindowsXP. Does the same behaviour occur under Linux?
(There is a small chance that WinXP's memory management, which has some influence
on popeye's hash mangement, may be 'suboptimal' ...)
4. Is there somebody out there, who has access to Alybadix or WinChloe (or any other tool,
which can handle the ser-A=>B 320 stipulation), and who can be so kind to test
this problem with his program?
Best regards,
mario | | (2) Posted by Joost de Heer [Saturday, Apr 11, 2009 20:54] | The CVS version solves this without any problems:
Popeye Windows-32Bit v-20090400.52 (1024 MB)
Unknown
Unknown
+---a---b---c---d---e---f---g---h---+
| |
8 -S -S . . . . . . 8
| |
7 . . . . P . . . 7
| |
6 . . P -R R -R . . 6
| |
5 K B -R -K . R P . 5
| |
4 P . -B B . -Q . . 4
| |
3 . . . P -R P . . 3
| |
2 . -R . . . . . . 2
| |
1 . . -S . . . -B . 1
| |
+---a---b---c---d---e---f---g---h---+
ser-a=>b320 11 + 12
Initial (White ->):
Unknown
Unknown
+---a---b---c---d---e---f---g---h---+
| |
8 -S -S . -B . . . . 8
| |
7 -P . . . P . . . 7
| |
6 . . P -R R -R . . 6
| |
5 -S -S -R -K B R P . 5
| |
4 . K -B . . -Q . . 4
| |
3 P . . P -R P . . 3
| |
2 . -R . . . . . . 2
| |
1 . B -S . . . -B . 1
| |
+---a---b---c---d---e---f---g---h---+
ser-a=>b320 11 + 16
1 (e7-e8=Q Time = 16.285 s)
2 (e7-e8=S Time = 16.286 s)
3 (e7-e8=R Time = 16.287 s)
4 (e7-e8=B Time = 16.288 s)
5 (e7*d8=Q Time = 16.289 s)
6 (e7*d8=S Time = 16.291 s)
7 (e7*d8=R Time = 16.292 s)
8 (e7*d8=B Time = 16.294 s)
9 (Re6*d6 + Time = 16.295 s)
10 (Re6*f6 Time = 16.296 s)
11 (c6-c7 Time = 16.297 s)
12 (g5-g6 Time = 16.298 s)
13 (g5*f6 Time = 16.299 s)
14 (Rf5*f4 Time = 16.301 s)
15 (Rf5*f6 Time = 16.302 s)
16 (Be5*b2 + Time = 16.303 s)
17 (Be5-c3 + Time = 16.304 s)
18 (Be5-d4 + Time = 16.306 s)
19 (Be5*f4 + Time = 16.307 s)
20 (Be5*f6 + Time = 16.308 s)
21 (Be5*d6 + Time = 16.310 s)
22 (Kb4*c4 + Time = 16.311 s)
23 (Kb4*b5 Time = 16.312 s)
1.Kb4-a4 2.Bb1-c2 3.Bc2-d1 4.Bd1-e2 5.Be2-f1 6.Bf1-h3 7.Bh3-g4 8.Bg4-h5 9.Bh5-e8 10.Be8-d7 11.Bd7-c8 12.Bc8-a6 13.Ba6*b5 14.Bb5-a6 15.Ba6-c8 16.Bc8-d7 17.Bd7-e8 18.Be8-h5 19.Bh5-g4 20.Bg4-h3 21.Bh3-f1 22.Bf1-e2 23.Be2-d1 24.Bd1-b3 25.Ka4-b4 26.Kb4-c3 27.Bb3-c2 28.Kc3-d2 29.Kd2-d1 30.Bc2-a4 31.Ba4-b5 32.Bb5-a6 33.Ba6-c8 34.Bc8-d7 35.Bd7-e8 36.Be8-h5 37.Bh5-g4 38.Bg4-h3 39.Bh3-f1 40.Bf1-e2 41.Kd1-e1 42.Ke1-f1 43.Kf1-g2 44.Kg2-h3 45.Be2-d1 46.Bd1-a4 47.Ba4-b5 48.Bb5-a6 49.Ba6-c8 50.Bc8-d7 51.Bd7-e8 52.Be8-h5 53.Bh5-g4 54.Kh3-h4 55.Kh4-h5 56.Bg4-h3 57.Bh3-f1 58.Bf1-e2 59.Be2-d1 60.Bd1-a4 61.Ba4-b5 62.Bb5-a6 63.Ba6-c8 64.Bc8-d7 65.Bd7-e8 66.Be8-g6 67.Kh5-h6 68.Kh6-g7 69.Bg6-f7 70.Kg7-f8 71.Kf8-e8 72.Bf7-h5 73.Bh5-g4 74.Bg4-h3 75.Bh3-f1 76.Bf1-e2 77.Be2-d1 78.Bd1-a4 79.Ba4-b5 80.Bb5-a6 81.Ba6-c8 82.Bc8-d7 83.Ke8*d8 84.Kd8-e8 85.Bd7-c8 86.Bc8-a6 87.Ba6-b5 88.Bb5-a4 89.Ba4-d1 90.Bd1-e2 91.Be2-f1 92.Bf1-h3 93.Bh3-g4 94.Bg4-h5 95.Bh5-f7 96.Ke8-f8 97.Kf8-g7 98.Bf7-g6 99.Kg7-h6 100.Kh6-h5 101.Bg6-e8 102.Be8-d7 103.Bd7-c8 104.Bc8-a6 105.Ba6-b5 106.Bb5-a4 107.Ba4-d1 108.Bd1-e2 109.Be2-f1 110.Bf1-h3 111.Bh3-g4 112.Kh5-h4 113.Kh4-h3 114.Bg4-h5 115.Bh5-e8 116.Be8-d7 117.Bd7-c8 118.Bc8-a6 119.Ba6-b5 120.Bb5-a4 121.Ba4-d1 122.Bd1-e2 123.Kh3-g2 124.Kg2-f1 125.Kf1-e1 126.Ke1-d1 127.Be2-f1 128.Bf1-h3 129.Bh3-g4 130.Bg4-h5 131.Bh5-e8 132.Be8-d7 133.Bd7-c8 134.Bc8-a6 135.Ba6-b5 136.Bb5-a4 137.Ba4-c2 138.Kd1-d2 139.Kd2-c3 140.Bc2-b3 141.Kc3-b4 142.Kb4-a4 143.Bb3-d1 144.Bd1-e2 145.Be2-f1 146.Bf1-h3 147.Bh3-g4 148.Bg4-h5 149.Bh5-e8 150.Be8-d7 151.Bd7-c8 152.Bc8-a6 153.Ba6-b5 154.Ka4*a5 155.Ka5-a4 156.Bb5-a6 157.Ba6-c8 158.Bc8-d7 159.Bd7-e8 160.Be8-h5 161.Bh5-g4 162.Bg4-h3 163.Bh3-f1 164.Bf1-e2 165.Be2-d1 166.Bd1-b3 167.Ka4-b4 168.Kb4-c3 169.Bb3-c2 170.Kc3-d2 171.Kd2-d1 172.Bc2-a4 173.Ba4-b5 174.Bb5-a6 175.Ba6-c8 176.Bc8-d7 177.Bd7-e8 178.Be8-h5 179.Bh5-g4 180.Bg4-h3 181.Bh3-f1 182.Bf1-e2 183.Kd1-e1 184.Ke1-f1 185.Kf1-g2 186.Kg2-h3 187.Be2-d1 188.Bd1-a4 189.Ba4-b5 190.Bb5-a6 191.Ba6-c8 192.Bc8-d7 193.Bd7-e8 194.Be8-h5 195.Bh5-g4 196.Kh3-h4 197.Kh4-h5 198.Bg4-h3 199.Bh3-f1 200.Bf1-e2 201.Be2-d1 202.Bd1-a4 203.Ba4-b5 204.Bb5-a6 205.Ba6-c8 206.Bc8-d7 207.Bd7-e8 208.Be8-g6 209.Kh5-h6 210.Kh6-g7 211.Bg6-f7 212.Kg7-f8 213.Kf8-e8 214.Bf7-h5 215.Bh5-g4 216.Bg4-h3 217.Bh3-f1 218.Bf1-e2 219.Be2-d1 220.Bd1-a4 221.Ba4-b5 222.Bb5-a6 223.Ba6-c8 224.Bc8-d7 225.Ke8-d8 226.Kd8-c8 227.Bd7-e8 228.Be8-h5 229.Bh5-g4 230.Bg4-h3 231.Bh3-f1 232.Bf1-e2 233.Be2-d1 234.Bd1-b3 235.Kc8-b7 236.Kb7*a7 237.Ka7-b7 238.Kb7-c8 239.Bb3-d1 240.Bd1-e2 241.Be2-f1 242.Bf1-h3 243.Bh3-g4 244.Bg4-h5 245.Bh5-e8 246.Be8-d7 247.Kc8-d8 248.Kd8-e8 249.Bd7-c8 250.Bc8-a6 251.Ba6-b5 252.Bb5-a4 253.Ba4-d1 254.Bd1-e2 255.Be2-f1 256.Bf1-h3 257.Bh3-g4 258.Bg4-h5 259.Bh5-f7 260.Ke8-f8 261.Kf8-g7 262.Bf7-g6 263.Kg7-h6 264.Kh6-h5 265.Bg6-e8 266.Be8-d7 267.Bd7-c8 268.Bc8-a6 269.Ba6-b5 270.Bb5-a4 271.Ba4-d1 272.Bd1-e2 273.Be2-f1 274.Bf1-h3 275.Bh3-g4 276.Kh5-h4 277.Kh4-h3 278.Bg4-h5 279.Bh5-e8 280.Be8-d7 281.Bd7-c8 282.Bc8-a6 283.Ba6-b5 284.Bb5-a4 285.Ba4-d1 286.Bd1-e2 287.Kh3-g2 288.Kg2-f1 289.Kf1-e1 290.Ke1-d1 291.Be2-f1 292.Bf1-h3 293.Bh3-g4 294.Bg4-h5 295.Bh5-e8 296.Be8-d7 297.Bd7-c8 298.Bc8-a6 299.Ba6-b5 300.Bb5-a4 301.Ba4-c2 302.Kd1-d2 303.Kd2-c3 304.Bc2-b3 305.Kc3-b4 306.Kb4-a4 307.Bb3-d1 308.Bd1-e2 309.Be2-f1 310.Bf1-h3 311.Bh3-g4 312.Bg4-h5 313.Bh5-e8 314.Be8-d7 315.Bd7-c8 316.Bc8-a6 317.Ba6-b5 318.Ka4-a5 319.a3-a4 320.Be5-d4 a=>b
24 (Kb4-a4 Time = 17.621 s)
25 (Kb4-b3 Time = 17.622 s)
26 (Kb4*a5 Time = 17.624 s)
27 (Kb4*c5 + Time = 17.625 s)
28 (Kb4-c3 Time = 17.626 s)
29 (d3-d4 Time = 17.627 s)
30 (d3*c4 + Time = 17.628 s)
31 (a3-a4 Time = 17.629 s)
32 (Bb1-c2 Time = 17.631 s)
33 (Bb1-a2 Time = 17.632 s)
solution finished. Time = 17.635 s | | (3) Posted by Steven Dowd [Sunday, Apr 12, 2009 00:02] | Can someone explain this A--B problem to me? Not that I don't understand the intent, but how long has it been around, etc. I must confess to knowing nothing about it. And it looks fascinating. Are such things solvable by humans (well, normal to below normal humans like me, anyway....)?
Could it be used to solve so-called double and triple seriesmovers, in which one side must get to a certain position, whereupon the other side begins his or her machinations to mate?
I must also admit I never used Popeye because I never could get comfortable with using it, the learning curve was very steep vis-a-vis Alybadix. | | (4) Posted by Miodrag Mladenović [Sunday, Apr 12, 2009 07:40] | Steven wrote:
QUOTE Can someone explain this A--B problem to me?
A->B means that white plays all the moves and has to achieve position B from the postion A. Black does not move at all. During the play white king cannot be in a check. It's OK if it's in check in the initial possition but on the first move white has to eliminate check. Either by moving king out of check or by placing some pice to protect king. A->B is usually not hard to solve. I solved this problem right away because there are no many options. Usually in this type of problems white plays a lot of moves by wK. | | (5) Posted by Thomas Maeder [Sunday, Apr 12, 2009 07:48] |
QUOTE A->B means that white plays all the moves and has to achieve position B from the postion A. Black does not move at all.
I'm sure that this is just a typo in Miodrag's post, but to avoid confusion:
In regular (non-series) A->B, both sides play.
In ser-A->B, White plays a series of moves that lead from position A to position B. | | (6) Posted by Thomas Maeder [Sunday, Apr 12, 2009 07:57] |
QUOTE Can someone explain this A--B problem to me? Not that I don't understand the intent, but how long has it been around, etc.
bernd ellinghoven wrote in feenschach that he "invented" A->B decades ago without publishing it. A->B was first made public at an Andernach meeting around 2000 IIRC, when it was used for the composing tourney.
QUOTE I must confess to knowing nothing about it. And it looks fascinating. Are such things solvable by humans (well, normal to below normal humans like me, anyway....)?
Yes. A->B is just a generalization of proof games.
QUOTE Could it be used to solve so-called double and triple seriesmovers, in which one side must get to a certain position, whereupon the other side begins his or her machinations to mate?
No. Not in is current definition, that is.
QUOTE I must also admit I never used Popeye because I never could get comfortable with using it, the learning curve was very steep vis-a-vis Alybadix.
Some people are more comfortable using a graphical frontend.
Cf. http://en.wikipedia.org/wiki/Popeye_(chess)#Windows_Popeye_Shell if you use Windows.
NB:
1. I have recently modified Popeye to support direct play in A->B, as was suggested by Friedrich Hariuc in a recent feenschach issue; this extension will be available in the next release (scheduled soon).
2. What you suggest above would be possible as well; not for the next release, though. Please submit a feature request (with example problems) on
http://sourceforge.net/tracker/?group_id=200122&atid=972240 | | (7) Posted by Joost de Heer [Sunday, Apr 12, 2009 08:00]; edited by Joost de Heer [09-04-12] | A->B is a generalised type of proofgame, where the starting position is different from the regular starting position of a chess game. In other words: a normal proofgame is an A->B problem with position A = rsbqkbsr/pppppppp/8/8/8/8/PPPPPPPP/RSBQKBSR. Ser-A->B is a generalised form of ser-PG.
The first time I heard of it was in a review of the Andernach meeting in 2001.
Double seriesmovers (i.e. black plays x moves, then white y moves) are supported for some stipulations (i.e. mate, stalemate, selfmate) in popeye: x->ser-STIPy. But souble-series proofgames don't work. | | (8) Posted by Kevin Begley [Sunday, Apr 12, 2009 08:41] | Didn't René Millour compose some A->B problems (using Alice) way back in the late 80s?
Perhaps even earlier?
Perhaps he invented the stipulation, but, I could swear there was some earlier examples...
Since I first saw this idea, I have always kept it logged -- because if ever proofgames show signs of slowing, this is a wonderful "get out of jail free card" to have in hand.
Too bad there is no such card to be found in some other genres!
Of course, there is always fairies -- the ultimate get out of jail free card. | | (9) Posted by René J. Millour [Sunday, Apr 12, 2009 12:10] | Having used it for the first time in Andernach 2001 [2nd Prize], I am not the inventor of the A→B stipulation.
A not so bad A→B problem using Alice is the following. Take care, A and B are already used in Alice, this explains the X→Y stipulation! In the X and Y positions, the B-pieces are upside-down!
René J. MILLOUR
The Problemist, 2006
Position X
(= 7+8 )
X is A(6+5) and B(1+3)
Position Y
(= 1+2 )
Y is A(0+2) and B(1+0)
The stipulation is: h X→Y in 33 single moves, MONOCHROME ALICE!
Small RETRO reasoning on position Y.
1) In Monochrome Alice, 0-0-0 is forbidden and a K appearing in A state on the a-c-e-g files, or in B state on the b-d-f-h files, cannot have played 0-0. On the other hand, a K appearing in B state on the a-c-e-g files, or in A state on the b-d-f-h files, must have castled. In Y, White and Black played 0-0 !
2) Retraction of a move such as Bc3-a1→A is a retro-check, retraction of a wK move is illegal [in the forward play the K would have placed himself in check in A state before turning to B state]. Thus the Ba1-Kg7 paralysis can be broken only by an interposition between a1 and g7. Now, there is no other black-square piece on the board and white-square pieces can only uncapture white-square pieces! An exception saves the day: Pf7 captured Pb2 e.p. !!! The paralysis is thus broken by restoring Pb2, which is legal because, in Alice forward play, the B could have crossed over, in B state, the Pb2 before turning to A state on a1.
Application to position X in FORWARD-PLAY.
Pf7 must do f7xe6xd5xc4xb3e.p., the e.p. capture occurring with Ba1 and Kg7 already in place! On white squares, the pieces Qc4, Rh5, Be6 and Pg2 are necessarily concerned: 3 of them are captured by the bP, the 4th one captures the bP on b3. Already on e6, the wB must move, as Pf7 takes on e6 an A-state piece! For the same reason, Bb8xRa7 is not possible. Pg2 cannot g2xf3xe4xd5: a victim is missing. It can g2-g4xf5xe6 but, in B state on e6, it cannot be captured by Pf7! The sole effective mobilization is the Excelsior g2-g4xh5xg6xh7xg8, possible thanks to Ph7 and Sg8 as victims !
1.Re2→A!! Ra1→B!! 2.Ba7→A! Ba2→A!! 3.Re6→B Rd5→B 4.Bf5→A These strange first moves prepare the future and allow the Excelsior 4...Pg4→B 5.Ph5→B! This P cannot stay on h7, where the wP will capture a B-state piece 5...Pxh5→A 6.Rg6→A ! Pxg6→B 7.Bh7→B Pxh7→A 8.Bd4→B Pxg8=B→B!! A Q in B state would not check, but wait ... 9.Bxa1→A Be6→A Here a Q would check and prevent the castling... 10.0-0→B! Ke7→B 11.Pxe6→B Kxf8→A [Not 10.Pxe6 Ke7 11.0-0 Kxf8, as 11.0-0 is in fact forbidden, the K in A state places himself in check from Qc4, before turning to B state.] 12.Pxd5→A Kg7→B!! This move is possible thanks to Pb2, still on board. 13.Pxc4→B Pb4→B 14.Pxb3e.p.→A! Bxb3→B+! 15.Kh7→A Be6→A 16.Kg6→B Bf5→B+ 17.Kxf5→A Position Y.
Castling! Excelsior! Precise promotion! Strange first moves! Unexpected e.p. capture! Pxg8=B + 0-0 + Pxb3e.p. = Valladao! | | (10) Posted by Miodrag Mladenović [Sunday, Apr 12, 2009 15:27] | @Thomas,
Thank you for this correction. Yes, I even composed few problems of this type.
However, it's an interesting question when condition is only A->B in some number of moves. Does black helps white to achieve position B or trying to prevent this goal? It looks to me like there should be direct A->B and help A->B stipulation to make differentiation between two different cases. So far I only composed few ser-A->B problems and then it does not matter if blacks helps white or not since black does not move at all. | | (11) Posted by Steven Dowd [Sunday, Apr 12, 2009 16:44] | Thanks again for everyone's help. This is one of those things that intrigues me, but whether I will get around to trying it is another issue.
Some more questions:
1. Are these always expected to have great length, or can shorter versions be interesting (seriesmover type)?
2. Has anyone seen Albertston's book Chess Mazes, which strikes me as something very similar to, if not identical to this? He claims that solving such exercises are good for a chessplayer's visualization skills. It does seem that OTB players (in my experience) have the least resistance to seriesmovers as "unorthodox" problems go, the reason not quite clear to me.
3. Wouldn't a good direct A-->B be notoriously difficult to compose? It's like trying to compose a correct and non-trivial =2 problem, which I find very difficult.
Again, thanks all. | | (12) Posted by Steven Dowd [Sunday, Apr 12, 2009 16:52] | The Windows shell for Popeye does not appear to allow animation of the solution (in fact it looks like the kinds of diagrams one saw in the 1980s); this is not critical of the author of course, who offers this for free, but it would eliminate it for me, due to my sight problems, I need to play through solutions on the computer screen. I can't use a board and pieces.
It's just been that kind of a week. :(
Have fun, all. | | (13) Posted by Thomas Maeder [Sunday, Apr 12, 2009 18:42] |
QUOTE However, it's an interesting question when condition is only A->B in some number of moves. Does black helps white to achieve position B or trying to prevent this goal? It looks to me like there should be direct A->B and help A->B stipulation to make differentiation between two different cases.
The next Popeye release will have both (and more: self-A->B, reflex-A->B, semireflex-A->B).
QUOTE So far I only composed few ser-A->B problems and then it does not matter if blacks helps white or not since black does not move at all.
In the tradition of series-moves, this sequence of moves is analoguous to that of a ser-#.
And like there are ser-h#, ser-s#, ser-r#, we can think of ser-hA->B, ser-sA->B, ser-rA->B. And series play with introductory moves by the other side (e.g. black series followed by white series). And more.
The reason for help play being the default for A->B is because A->B was derived from proof games. | | (14) Posted by Cornel Pacurar [Sunday, Apr 12, 2009 21:57]; edited by Cornel Pacurar [09-04-13] | @ Steven
RE: Are these always expected to have great length, or can shorter versions be interesting (seriesmover type)?
Two 'longest series' tournaments using the ser-a=>b stipulation were held in recent years: 2006-2007, Nicolas Dupont (http://www.france-echecs.com/index.php?mode=showComment&art=20061119103001480) and 2008, Itamar Faybish (http://www.geocities.com/ifaybish/tournament2/results.html).
Although the chief aim was to find, within certain criteria, positions employing the largest number of moves, some of the problems with less pieces, and consequently with less moves, are also very interesting! Take a look, for instance, at this one:
James Willson, Cornel Pacurar, Pascal Wassong, Jacques Dupin, Miodrag Mladenovic, Arno Tüngler, Ralf Krätschmer, Nicolas Dupont, Guy Sobrecases
D/3/28, IF TT2
(= 2+3 )
ser-a=>b 28
(= 2+1 )
1.Ka1-b1 2.Kb1-c1 3.Kc1-d1 4.Kd1-e1 5.Ke1-f1 6.Kf1-g1 7.Kg1-h2 8.Kh2-g3 9.Kg3-f4 10.Kf4-e5 11.Ke5*d5 12.Kd5-e4 13.Ke4-f3 14.Kf3-g2 15.Kg2-f1 16.Kf1-e1 17.Ke1-d1 18.Kd1-c1 19.Kc1-b1 20.Kb1*a2 21.Ka2-b1 22.Kb1-c1 23.Kc1-d1 24.Kd1-e2 25.Ke2-f3 26.Kf3-g4 27.Kg4-h5 28.Bf2-e1
@ Thomas
RE: The next Popeye release will have both (and more: self-A->B, reflex-A->B, semireflex-A->B).
That is very good news, thank you! | | (15) Posted by Joost de Heer [Monday, Apr 13, 2009 09:28] | A short A=>B problem:
Rene Millour
Die Schwalbe Heft 203, October 2003
(= 10+8 ) (= 9+7 )
A=>B3 (6 solutions, black starts, =Nightrider, =Grasshopper) | | (16) Posted by Mario Richter [Thursday, Apr 16, 2009 11:43] | @joost Thanks for testing it with the current CVS version of popeye!
Since Joost provides an executable at http://sanguis.xs4all.nl/popeye/ , I should have had the idea to use this executable myself, but I simply didn't think of it ...
Instead I used the last official version 4.47.
Since other defects in that version have shown up in the past, my question to the popeye team: Wouldn't it be good to release a new official version?
Btw., even if popeye now solves the given problem relatively fast, there is still room for improvements:
QUOTE 1 (e7-e8=Q Time = 16.285 s)
...
solution finished. Time = 17.635 s
so popeye spends more than 90% of the solving time with the investigation of a subvariant, which definitively cannot lead to a solution (rule: in an orthodox A->B problem, if number_of_white_pawns(A)==number_of_white_pawns(B), then no wP may be captured or promote) ...
QUOTE bernd ellinghoven wrote in feenschach that he "invented" A->B decades ago without publishing it. A->B was first made public at an Andernach meeting around 2000 IIRC, when it was used for the composing tourney.
Those interested in the history of A->B should please also look at Per Ingvar Olin's comment on that issue, which he made in a posting to the Retros Mailing List:
http://www.pairlist.net/pipermail/retros/2006-December/001644.html
@René J. Millour
I was surprised to see that e.p. capture is allowed in Alice-Chess. Are there precise rules if and when such a capture is allowed?
Best,
mario | | (17) Posted by Joost de Heer [Thursday, Apr 16, 2009 12:24] | If I remember correctly, Popeye will do a breadth-first search. So it will generate all positions in 1 move, in 2, in 3, etc etc. So the first 16 seconds are used to generate all 319-move-and-less positions. Because of optimalisations, this only takes a short while. | | (18) Posted by René J. Millour [Thursday, Apr 16, 2009 16:20] | Answer to (16): “@René J. Millour. I was surprised to see that e.p. capture is allowed in Alice-Chess. Are there precise rules if and when such a capture is allowed?”.
Your surprise surprises me!
It is logic and very simple. The P candidate to be captured e.p. necessarily just made a double-step, therefore it is necessarily in B state at the end of its move (in B state on the 5th rank if it is a BP). This means the P capturing e.p. must itself be in B state before the capturing move (in B state on the 5th rank in case of WPxBPe.p.)! This is all the “rule”!
There are several problems using that. For example the following not really short Retro with only 4 pieces!
René J. Millour
StrateGems, 2001-2, 3rd Prize
Wenigsteiner, 2002, 1st Place
(= 3+1 )
Monochrome Alice A(2+0) B(1+1)
3 questions are asked: a) Last 2 single moves? b) By which piece was Sb8 captured? c) By which piece and where was Bc1 captured?
In Monochrome, a move is legal only when both starting and arrival squares are of the same color. Therefore, 0-0 is possible, 0-0-0 is not, Ss don't move, e.p. captures are legal. In Monochrome Alice, 0-0-0 is forbidden and a K appearing in A state on the a-c-e-g files, or in B state on the b-d-f-h files, cannot haved played 0-0, a K appearing in B state on the a-c-e-g files, or in A state on the b-d-f-h files, must have castled. Here, White played 0-0, Black did not. Since it could not come from a1 in Monochrome, Rd4 is a promotee. Only Rd4 and Kf4 are retromobile because, in Alice, retraction of a move such as Bb7-a8 is a retro-check, retraction of Kg2-h1 is illegal [in the forward play the K would have placed itself in check in A state before turning to B state] Therefore, to avoid Black retrostalemate, White must immediately uncapture. Getting a BP to 5th rank in A state excludes the possibility of a double-step and implies 2 captures, in B state on 4th rank 3 captures, etc... and promoting a P requires 4 or 6 captures depending whether it began with a double-step.
Thus we find that the last move cannot have been b7xa8=B. This B in A state implies, in Alice, a 6-move excelsior, which in Monochrome must be 6 captures, which may include an e.p. If a2xBb3xRc4xPd5xP(e.p.)c6xPb7xXa8=B, the BP captured in A state on d5 would itself have captured d/f7xBc/e6xRd5 and the piece X captured at a8 would be resulting from f/d7-f/d5xPe4xQd3x??c2xSb1=X. Now, this last sequence is impossible: a capturee is lacking for d3 or c2, the unmatched states of the Ps making impossible, in a 5-move excelsior, both an e.p. capture (here of WPd) and the capture of a P at home (here of WPc).
Thus the Ba8-Kh1 paralysis can be broken only by an interposition between a8 and h1. Now, there is no other white-square piece on the board and black-square pieces can only uncapture black-square pieces! An exception saves the day: the WP promoted to R captured e.p. BPb on white square! The paralysis is thus broken by restoring Pb7, which is legal because, in Alice forward play, the B (which did not result from a7-a8=B, illegal in Monochrome) could have crossed over, in B state, Pb7 before turning to A state on a8!
A WP capturing e.p. must be in B state on the 5th rank! Such an Alice Monochrome excelsior [example: b2xQc3xBb4xPc5xP(e.p.)b6xPc7xRd8=R] implies 6 moves and 6 captures. Note that the P therefore is in B state before promoting and a S (here Sb8), in A state because it never moves in Monochrome, cannot be taken by the P!
In addition to the BPb e.p. capture, the excelsior captures 5 black-square pieces: Q, R, B on squares inaccessible to the Ps, and 2 Ps on squares requiring the fewest captures on their part, thus one of the 2 Ps on its home square, and the other on the 5th rank, which itself captured 2 times because it is required to be in A state in order to be captured by a WP, itself in A state on the 4th rank!
One more P, also a black-square one, must be uncaptured on the first retro-move to avoid Black retrostalemate. The WK would produce a BPf4 in B state, which would have made 3 captures, in fact impossible (see below the number of captures by Black on black squares).
The WR restores a BPd4 in A state, which came from the 7th rank by a double-step and a single capture. Black therefore has only two retro-moves and, without delay, White must uncapture a piece by unpromotion!
The last black move, was it c5xd4 or e5xd4? If c5xd4, the P came from c7 and in that case before it promotes to R on b8 the WP must have captured BPe on c5 (after e7xd6xc5), BPb e.p., and BPa on a7. Now, the retroplay Rd8xPd4 c5xYd4 (the White piece Y being undetermined for the time being) Rb8-d8 c7-c5 a7xb8=R... does not work because the R is on b8 in B state, signifying an excelsior in 5 moves, which is inconsistent with the e.p. capture needed on b6. To have the R in A state on b8, requires an extra White retro-move, which is impossible due to Black retrostalemate! However, with promotion on d8, the retroplay Rd8xPd4 e5xYd4 Y_d4 e7-e5 c7xd8=R..., or simply Rd8xPd4 e5xYd4 c7xd8=R, is legal!
The last move Rd8xPd4 is thus known with precision. The White unit Y involved in the move e5xYd4 will be determined later (note that on e5 the P retro-paralyzes the WK without retro-check). If c7x[Q/R/B]d8=R replaces a unit to give Black an infinity of retro-moves, sooner or later White must restore BPc to c7. Then comes the uncapture by e.p. and the return to b7 of BPb, making possible the retraction Kg2-h1 and the retroplay of Ba8. Thus there are restored a BP on c/a5 and 2 other units on the 4th and 3rd ranks.
The BP restored on c/a5 in A state is neither BPe captured by the WR on d4, nor BPc captured by the WP on c7. Is it BPa after a7xb6xc/a5? The 2 victims would have been pieces, not Ps, because Ps would have required too many black-square captures by White (6 black-square captures were already made by White: 5 in the excelsior, 1 in the last move). Thus BPa would have captured 1) WBc on b6 because WRa cannot reach b6 in Monochrome 2) WRa on c/a5. Thus, the capture of the B on b6 won’t work because in this case Sb8 would still have to be present!!! In fact, it could not be captured by the WP upon promoting, as shown above, nor by any of the following pieces:
- the WK because of their differing states (capturing the S would imply a K in A state on a7 or c7, which is not possible given that it has castled),
- the Ra1, which cannot reach the 8th rank in Monochrome,
- the Rd4 which, having only recently been promoted, played only the move Rd8xd4 (see above),
- the Bc1 which, before dying by a7xBb6, was blocked from b8 by Ps at a7 and c7 (capturing the S requires a B in A state, which could not cross over a Pc7 in A state)!
One comes to the paradox that BPa could not be captured as a P nor as a promotee, by the White excelsior which required an extra BP. In fact, the Bc1 captured the Sb8 via a7, before being captured by the BPg, which itself was then captured by the White excelsior, as we shall see.
g7xBg6xRe5xPd4 allows theoretically the promoting WP to capture Pg7 on d4, but the other WP, here captured in A state on d4, must itself capture 2 times. This would make too many captures. On the other hand, the excelsior of BPg, in 5 moves and 4 captures [e.p. not possible / g7-g5xPf/h4xRg3xBh2xSg1=X], does not involve any capture by White.
The unmoved S is captured on g1. A WP (f or h), uncapturable at home, in taken in B state on the 4th rank. Ra1 ends up on the 3rd rank because the 2nd is unavailable to it in Monochrome. Finally, Bc1 cannot be captured at f2 where the capturing P would give check the WK before it played 0-0, which could not yet have occurred since Sg1 has not yet been captured ! Pg7 captured Bc1 on h2. [Now that the promotion of BPg has been shown, one discovers that the piece captured on c/a5 is not necessarily the promoted BPg: the capture squares of the BPg promotee and the 3 other original pieces (Q, R and B) can be interchanged!]
From the captured White pieces, one finds that the piece Y which was captured at d4 was necessarily WPd, which came straight from d2 without capturing. The last Black move therefore was e5xPd4.
Finally, the answers are a) Rd8xPd4 e5xPd4, b) Sb8 captured by Bc1, c) Bc1 captured by Pg7 on h2.
Henryk Juel: The Monochrome condition allows economic positions, but it is exciting that adding the Alice condition has enable the author to construct a Wenigsteiner with interesting content. A delight for the connoisseur. | | (19) Posted by Mario Richter [Friday, Apr 17, 2009 09:00] | @René J. Millour, Post(18)
Dear René, thank you very much for this instructive example!
Just one remark:
QUOTE Your surprise surprises me!
It is logic and very simple.
It's not logic, it's an axiom which must be explicitly stated.
I'm only an amateur chess problem admirer. I do not have tons of old issues of 'diagrammes', 'rex multiplex', 'feenschach', 'FCR' or other chess problem literature on my bookshelf, which I could consult for an exact definition of 'Alice Chess'.
So my only source is the internet, and the website with seemed to me most informative (and complete) with respect to 'Alice Chess' is
http://www.bcvs.ukf.net/alice.htm
where one can read:
QUOTE (c) En passant capture is abolished. The inventor of Alice Chess, V. R. Parton, said nothing about the rule for en passant capture, but since the rule for orthodox chess can be interpreted in at least two different ways (does the capturing pawn have to be on the first or second board?) and is subverted by the fact that the square passed over may be occupied on the other board, it is usual to forgo it.
Best regards,
mario | | (20) Posted by Per Olin [Tuesday, Apr 28, 2009 11:37] | In this chain was earlier mentioned the history of A to B proofgames. Here copied what I wrote in Retrocorner in 2004:
Proofgame starting from an other position than the initial position
The earliest example of a proof game starting from an other position than the initial position is probably the following:
7) Per Olin, Suomen Tehtavaniekat 1/1993
A) 8/PPP2P2/8/8/8/p3pkp1/1T4p1/T3K3
B) B1S2T1D/8/8/8/8/8/6k1/s1K2btd
Stipulation: Shortest proof game from A to B with either white or black to begin
Solution: 1.a2 000 2.a1S Tf2+ 3.exf2 Th1 4.f1L b8D 5.gxh1D Dh8 6.g2 c8S 7.g1T f8T+ 8.Kg2 a8L+. The try where white starts by castling 1.000 ? fails due to the impossibility of the last moves by black.
Sincerely yours
Per Olin | | Read more... | Page: [Previous] [Next] 1 2
MatPlus.Net Forum Internet and Computing Another popeye mystery |
|
|
|