Difference between revisions of "KPK"

From Chessprogramming wiki
Jump to: navigation, search
 
(2 intermediate revisions by the same user not shown)
Line 31: Line 31:
  
 
==KPK is won==
 
==KPK is won==
* Stronger king defends '''all''' [[Stop square|stop]] and [[Pawn Spans#StopandDistantStop|telestop(s)]], including the [[Promotion Square|promotion square]] up to three squares. With defender to move, one has to consider whether the pawn can be captured, since defended stop square does not necessarily imply the pawn is defended as well. Additionally, there is a [[Stalemate|stalemate]] [https://en.wikipedia.org/wiki/Key_square#An_exception exception] with the knight pawn.
+
* Stronger king defends '''all''' [[Stop Square|stop]] and [[Pawn Spans#StopandDistantStop|telestop(s)]], including the [[Promotion Square|promotion square]] up to three squares. With defender to move, one has to consider whether the pawn can be captured, since defended stop square does not necessarily imply the pawn is defended as well. Additionally, there is a [[Stalemate|stalemate]] [https://en.wikipedia.org/wiki/Key_square#An_exception exception] with the knight pawn.
 
* Defending king is (leaves after moving) outside the [[Rule of the Square#TheSquareofthePawn|square of the pawn]] <ref>[[King Pattern#SetwiseRuleoftheSquare|Set-wise Rule of the Square]] with [[Bitboards]]</ref>
 
* Defending king is (leaves after moving) outside the [[Rule of the Square#TheSquareofthePawn|square of the pawn]] <ref>[[King Pattern#SetwiseRuleoftheSquare|Set-wise Rule of the Square]] with [[Bitboards]]</ref>
 
: if the own king blocks the [[Pawn Spans|frontspan]], it is still won. However the defending king may further reach the "square of the pawn" due to the extra [[Tempo|tempo]] and one needs to apply some more rules to avoid knowledge holes in that cases.
 
: if the own king blocks the [[Pawn Spans|frontspan]], it is still won. However the defending king may further reach the "square of the pawn" due to the extra [[Tempo|tempo]] and one needs to apply some more rules to avoid knowledge holes in that cases.
Line 60: Line 60:
 
==1990 ...==
 
==1990 ...==
 
* [[Guy Haworth]], [[Meel Velliste]] ('''1998'''). ''[http://centaur.reading.ac.uk/4569/ Chess Endgames and Neural Networks]''. [[ICGA Journal#21_4|ICCA Journal, Vol. 21, No. 4]]
 
* [[Guy Haworth]], [[Meel Velliste]] ('''1998'''). ''[http://centaur.reading.ac.uk/4569/ Chess Endgames and Neural Networks]''. [[ICGA Journal#21_4|ICCA Journal, Vol. 21, No. 4]]
* [[Ulrich Thiemonds]] ('''1999'''). ''Ein regelbasiertes Spielprogramm für Schachendspiele''. [https://en.wikipedia.org/wiki/University_of_Bonn University of Bonn], [https://en.wikipedia.org/wiki/Diplom Diplom] thesis,  [http://www.iai.uni-bonn.de/~idb/diplomarbeiten/thiemonds99.ps.gz zipped ps], [http://idb.informatik.uni-bonn.de/publications/da/da_thiemonds_1999.pdf pdf] (German) <ref>[http://idb.informatik.uni-bonn.de/publications/DA Diploma Theses — IDB]</ref> <ref>[http://www.iai.uni-bonn.de/~idb/ehemaligedipl.html Uni Bonn - AG Intelligente Datenbanken - Was sind intelligente Datenbanken?]</ref>
+
* [[Ulrich Thiemonds]] ('''1999'''). ''Ein regelbasiertes Spielprogramm für Schachendspiele''. [https://en.wikipedia.org/wiki/University_of_Bonn University of Bonn], Diplom thesis,  [https://www.idb.uni-bonn.de/publications/da/da_thiemonds_1999.pdf pdf] (German)  
  
 
=Forum Posts=
 
=Forum Posts=
Line 75: Line 75:
 
* [http://www.talkchess.com/forum3/viewtopic.php?f=7&t=70815 Eucalyptus - KPK Bitbases Generator] by [[Toni Helminen]], [[CCC]], May 24, 2019
 
* [http://www.talkchess.com/forum3/viewtopic.php?f=7&t=70815 Eucalyptus - KPK Bitbases Generator] by [[Toni Helminen]], [[CCC]], May 24, 2019
 
* [http://www.talkchess.com/forum3/viewtopic.php?f=7&t=70942 The Poor Man's KP Bitbase] by [[Dennis Sceviour]], [[CCC]], June 07, 2019
 
* [http://www.talkchess.com/forum3/viewtopic.php?f=7&t=70942 The Poor Man's KP Bitbase] by [[Dennis Sceviour]], [[CCC]], June 07, 2019
 +
==2020 ...==
 +
* [http://www.talkchess.com/forum3/viewtopic.php?f=7&t=77499 Syzygy bases from memory] by [[Ed Schroder|Ed Schröder]], [[CCC]], June 16, 2021 » [[Syzygy Bases]]
  
 
=External Links=  
 
=External Links=  

Latest revision as of 08:48, 29 June 2021

Home * Evaluation * Game Phases * Endgame * Pawn Endgame * KPK

A very common pattern in chess games is to be up exactly one pawn and then try to trade down to a won KP vs K endgame. So this is a very fundamental ending that good chess programs should understand.

Bitbase

Since only 3 pieces are involved, it can be handled easily by a 12 KByte per side, pre-calculated bit table that returns the status of this ending from any of the 64*64*4*6 = 98304 distinct configurations for the pawn on one wing. It is always a win or draw for the side with the pawn. Boolean win or not information requires some distance heuristics though to ensure progress.

Perfect Heuristics

This ending can also be determined perfectly with a set of heuristics [1].

Imperfect Heuristics

There is also an imperfect solution that yields reasonably good results - using interior node recognizers detecting positions that are obviously won or drawn, but leaving "unclear" positions to evaluation and/or further search. An example of such a set of heuristics is given below:

KPK is drawn

  • In the case that the pawn can be immediately captured, might be delegated to the quiescence search
  • Defending king stands directly in front of the pawn, the other king - directly behind it, weaker side to move
  • Defending king as above, the other king diagonally behind the pawn, stronger side to move
  • Kings stand in the vertical opposition and the pawn is on the right/left side of the king of the stronger side, which is about to move
  • In the above position the stronger side moves a pawn, giving check
  • Assuming the squares are numbered 0..63, H1 being 0, the following code marks positions as drawn:
// a feeble attempt at using corresponding squares
if ( isPiece(WHITE,KING, pawn_sq-7) || isPiece(WHITE,KING, pawn_sq-8) || isPiece(WHITE,KING, pawn_sq-9) ) {
   if ( isPiece(BLACK,KING, pawn_sq+15) || isPiece(BLACK,KING, pawn_sq+16) || isPiece(BLACK,KING, pawn_sq+17) ) {
     if (to_move == WHITE && ROW(blackKingLoc) != ROW_8 ) return DRAW;
   }
}

Please note that the code must exclude positions where the defending king is on the last rank. Additionally there are drawn rook pawn cases where the defender prevents the king on the pawn's frontspan from leaving the rook file.

KPK is won

  • Stronger king defends all stop and telestop(s), including the promotion square up to three squares. With defender to move, one has to consider whether the pawn can be captured, since defended stop square does not necessarily imply the pawn is defended as well. Additionally, there is a stalemate exception with the knight pawn.
  • Defending king is (leaves after moving) outside the square of the pawn [2]
if the own king blocks the frontspan, it is still won. However the defending king may further reach the "square of the pawn" due to the extra tempo and one needs to apply some more rules to avoid knowledge holes in that cases.

See also

Selected Publications

1970 ...

1980 ...

1990 ...

Forum Posts

2005 ...

2010 ...

2015 ...

2020 ...

External Links

Key square from Wikipedia

References

Up one Level