 Such endgame tablebases are generated in advance using a form of retrograde analysis, starting with positions where the final result is known (e.g., where one side has been mated) and seeing which other positions are one move away from them, then which are one move from those, etc.Ken Thompson was a pioneer in this area.The results of the computer analysis sometimes surprised people.