Here's a peach of muddled thinking I missed earlier, but found looking for the link for the above post!
Seems quite hard to explain to @tygxc that while when you are playing a game you can ignore options for the other side and truncate analysis lines, this is _absolutely_ _not_ true when you are solving a chess problem rigorously (and the same goes for the problem "solving chess", which can be described as "From the standard starting position exhibit (or prove the existence of) a forced mate by one or the other side, or exhibit (or prove the existence of) a forced draw for both".
No, you ignore your own non-played options. You ignore options for the other side only when they are definitely non-viable. Otherwise, what do you mean?
So, how exactly do you determine a move by the opponent to be "non-viable" (as opposed to a deep brilliancy, say) WITHOUT ANALYSING IT?
And that's the point I was making. You actually think MY thinking is muddled but that's why the strong and weak solutions aren't distinguishable from one-another UNTIL they've been analysed, which makes it completely impossible to programme a computer to find a weak solution.
It's been done for checkers. It took about 10^14 calculations compared to a search space of 5 x 10^20. So, with all due respect, your claim is definitely not tenable.
As well as this tough example which required 18 years of computations, I exhibited a very simple example in an earlier post, of a game where a weak solution has just 1 node, and a strong solution has to deal with thousands of positions (since they can be reached in a legal game).
Here's a peach of muddled thinking I missed earlier, but found looking for the link for the above post!
Seems quite hard to explain to @tygxc that while when you are playing a game you can ignore options for the other side and truncate analysis lines, this is _absolutely_ _not_ true when you are solving a chess problem rigorously (and the same goes for the problem "solving chess", which can be described as "From the standard starting position exhibit (or prove the existence of) a forced mate by one or the other side, or exhibit (or prove the existence of) a forced draw for both".
No, you ignore your own non-played options. You ignore options for the other side only when they are definitely non-viable. Otherwise, what do you mean?
So, how exactly do you determine a move by the opponent to be "non-viable" (as opposed to a deep brilliancy, say) WITHOUT ANALYSING IT?