Michel wrote:I think it is more critical for detecting draws. The following position is draw
[d]
and it requires looking at very few position to prove it (less than 64x8). Yet it seems
difficult to see this with forward search.
I think this kind of position is more suitable for recognition as a pattern. When you do checks in QS it is easy: if after an unsafe check by a Rook all good captures on the checker lead to draw by stalemate, do not consider other evasions (in QS) but return a draw score.
This way you invert the burden of proof, and require the search to proof that it can avoid the perpetual, rather than make the usual assumption that it can. Which seems justified in the case of a rabid Rook.
Evaluation is no substitute for search. It is a heuristic guess at what the search would find. The best you can hope is that the guess is right more often than not. I think that a rabid Rook is one of the cases where a draw is the dominant outcome, just as white Bishops trapped on a7 or h7 will usually be lost against a Pawn, and white Knights on a8 or h8 will usually be lost with only positional compensation.
It is possible to check it by testing all the tablebases KQKR positions when capturing the rook is leading to stalemate and stronger side is in check to see how many of them are draws and how many of them are wins.
Yes, that would be posible in KQKR, but the principle of the rabid Rook is a general one, and not limited to that end-game. t can easily occur in 7-, 8- or 9-men positions.
Even if draw is not the dominant result, there would be another consideration: Finding an escape from the checks usually requires a much smaller search depth than forcing the draw. So you might have a 90% error rate at d=0 when you take draw as the default assumption, but it could drop to 1% at d=6, because in the other 89% of the cases the search would have found the escape. The alternative would be to hace 10% error rate at d=0, which would stay pretty much 10% upto d=60. My guess is that you would be better off in the first case.