@5073
"Losing chess is very different to both checkers and chess, since its solution is dominated by forcing moves."
++ In Checkers it is the same. In Chess there are practically forcing moves, not legally forcing moves. If I capture your queen you are most often practically forced to recapture, though there may be other legal moves to play on a queen down. So in Chess there are more moves that are legal, but obviously not optimal.
"This is why it is so small" ++ No, Losing chess is only 10^9 because it is a forced win.
"Nonsense is a sloppy term." ++ Semantics... call it moves that are clearly not optimal.
"clearly" is a sloppy term, as used by you here. It has no literally no place in a rigorous weak solution.
"Very few of those games are fully resolved"
++ 16% are by 3-fold repetition, 10% by reaching a table base draw, 74% by agreement.
Right, so only 26% of these games are fully resolved (including the 16% that are generally effectively by agreement, by a choice to permit repetition (as in one of my fairly recent daily chess games on move 10. Neither of us were actually looking for a draw, we just wandered into a position where it was the prudent choice for both!
"These are human decisions."
++ Yes, they agree on a draw, when neither side has any hope to win, e.g. in some opposite colored bishop ending. Likewise all decisive games are by resignation and none by checkmate.
It is pointless to continue for months until a 3-fold repetition is reached.
Likewise it is pointless to let the cloud engines calculate further in such positions.
That is another reason why the good assistants are needed: to adjudicate clear draws.
"you advocate calling a non-solution a solution."
++ No, a solution is a solution, nothing more and nothing less. It is however stupid to spend time on obviously irrelevant positions. That is not sloppy, that is clever.
No, the entire peer-reviewed literature disagrees. That's the difference between rigour and hand-waving.
"Check the literature. (Eg for the weak solution of checkers or Losing Chess)."
++ For Checkers and Losing Chess humans also guided the computer.
So?
"This paper nowhere supports ignoring a legal opposing move to a strategy based on heuristics"
++ As long as the move opposes to achieving the game theoretic value it should not be ignored. However, if it does not oppose to achieving the game theoretic value or if it opposes less, then it can safely be ignored.
1 a4 opposes less than 1 d4 or 1 e4, can be ignored
1 e4 e5 2 Ba6? does not oppose, can be ignored
Do not confuse rigor and stupidity.
You have failed to find any basis to disagree with the point that I made: This paper nowhere supports ignoring a legal opposing move to a strategy based on heuristics
"Positions may be irrelevant because they are unreachable or are not required for the proof."
Neither of these EVER permit you to ignore a move by the opponent of a strategy. NEVER.
"The rest can be proven to be irrelevant by an Alpha-Beta search"
https://www.researchgate.net/publication/231216842_Checkers_Is_Solved
SAME.
"A similar task could be to avoid dominated lines."
"the above search procedure was augmented by human input"
"there is still a considerable art (or lack of science) involved in the harder ones"
"our heuristics used in automation could be much improved"
https://magma.maths.usyd.edu.au/~watkins/LOSING_CHESS/LCsolved.pdf
Not the slightest support for the erroneous idea that heuristics can be used to ignore legal moves by the opponent without destroying rigour.
You failed to find any support for the validity of "sloppy solution" (this term refers to something that is claimed to be a weak solution but patently isn't because it ignores legal opponent moves).
Two possibilities: either the entire peer-reviewed literature about weak solution of games is wrong, and they could have used hand-waving to ignore the large majority of the computation necessary, or @tygxc needs to learn something.
Heuristics are perfectly acceptably used TO SELECT MOVES FOR THE PROPONENT OF A STRATEGY. NEVER TO IGNORE LEGAL MOVES BY THE OPPONENT OF A STRATEGY.
Capitals to deal with deafness.