mmt Vs. Ovyron (G4 D5 BG2)
Moderators: hgm, Rebel, chrisw
-
- Posts: 4556
- Joined: Tue Jul 03, 2007 4:30 am
Re: mmt Vs. Ovyron (G4 D5 BG2)
Not wanting to answer simple questions is not the same as being unable to answer them. I'll explain the reason of the secrecy after I'm done, and it'll make sense by then.
-
- Posts: 6442
- Joined: Tue Jan 09, 2007 12:31 am
- Location: PA USA
- Full name: Louis Zulli
-
- Posts: 1470
- Joined: Mon Apr 23, 2018 7:54 am
Re: mmt Vs. Ovyron (G4 D5 BG2)
Well, if there's no bug and if the coder who wrote that comment knows what "proved" and "unproved" mean, it would not be "maximality"; it would just be an upper bound on mate. "Maximality" would be the longest possible mate, i.e. the greatest number of moves that don't give up the win (e.g. through the 50-move rule).
I think we can and should run simple tests on SF mate announcements. It's a matter of coming up with the right test positions.
Last edited by jp on Wed Feb 19, 2020 12:40 am, edited 1 time in total.
-
- Posts: 4556
- Joined: Tue Jul 03, 2007 4:30 am
Re: mmt Vs. Ovyron (G4 D5 BG2)
It's maximal assuming best opponent defense.
-
- Posts: 1470
- Joined: Mon Apr 23, 2018 7:54 am
Re: mmt Vs. Ovyron (G4 D5 BG2)
Please let's not discuss wording further, but it's not that. "Maximal" would be the attacking side dragging it out. e.g. Leela queening 8 pawns amid shuffling its king back and forth against a weak opponent.
-
- Posts: 6442
- Joined: Tue Jan 09, 2007 12:31 am
- Location: PA USA
- Full name: Louis Zulli
Re: mmt Vs. Ovyron (G4 D5 BG2)
Maybe just ask politely at https://groups.google.com/forum/?nomobi ... ishcooking ?jp wrote: ↑Wed Feb 19, 2020 12:37 amWell, if there's no bug and if the coder who wrote that comment knows what "proved" and "unproved" mean, it would not be "maximality"; it would just be an upper bound on mate. "Maximality" would be the longest possible mate, i.e. the greatest number of moves that don't give up the win (e.g. through the 50-move rule).
I think we can and should run simple tests on SF mate announcements. It's a matter of coming up with the right test positions.
-
- Posts: 4556
- Joined: Tue Jul 03, 2007 4:30 am
Re: mmt Vs. Ovyron (G4 D5 BG2)
"This is the maximum number of moves it'd take me to beat an opponent that defends perfectly, as they're unable to delay mate further" is a maximal. The maximal of moves to mate by "fooling around" instead of playing best moves from your side ("the slowest mate") makes no sense to discuss, but at least Zenmastur didn't ask for that...
The optimal mate is the one that is both the minimal and maximal, the maximal keeps reducing until both met as more lines for the winning side are explored. The minimal is unknown until all attacks have been exhausted.
The optimal mate is the one that is both the minimal and maximal, the maximal keeps reducing until both met as more lines for the winning side are explored. The minimal is unknown until all attacks have been exhausted.
-
- Posts: 1470
- Joined: Mon Apr 23, 2018 7:54 am
Re: mmt Vs. Ovyron (G4 D5 BG2)
Please stop. It'll just end up going around in circles again. Just focus and solve the **** puzzle, so we can get games. I don't know why you post at all before you've solved it.
Last edited by jp on Wed Feb 19, 2020 1:00 am, edited 1 time in total.
-
- Posts: 4556
- Joined: Tue Jul 03, 2007 4:30 am
Re: mmt Vs. Ovyron (G4 D5 BG2)
When people produce games to test the engine they automatically test for mate claims. You don't need to run any games, just look at mate claims by Stockfish in the PGN and see if at any point it has reported a mate score that was wrong (the defending side can delay mate.)zullil wrote: ↑Wed Feb 19, 2020 12:51 am Maybe just ask politely at https://groups.google.com/forum/?nomobi ... ishcooking ?
What jp is talking about has never been witnessed, I don't know from where this fear of a wrongly reported mate comes from.
-
- Posts: 4556
- Joined: Tue Jul 03, 2007 4:30 am