Robert, A proper search tree is a proof, but there is the issue of determining if there are any flaws in the search and that would require some kind of peer review including a code review. For instance the hash table implementation may not be admissible unless the positions themselves are properly stored which is not the usual technique in game search programs. There is additionally the issue of GHI (Graph History Interaction) which must be handled correctly to consider it a proof. My recollection is that they handled the GHI problem correctly. I'm not sure about hash table signatures.
So the game tree searched used in this program (I don't remember who did it) may not be admissible as a proof and I think they actually gave their disclaimers if I remember correctly. Nevertheless, if the program is reporting a win with a very deep search, in my view it's probably correct although it cannot be trusted as an absolute proof. There is the issue of how much we can trust the result of that 5x5 brute force effort. A well engineered brute force alpha/beta search is almost always going to produce correct results - especially if it was designed for that purpose. So personally I'm not heavily skeptical of the conclusions reached although I know there is a some small chance it is wrong. - Don On Fri, May 22, 2009 at 9:49 AM, Robert Jasiek <jas...@snafu.de> wrote: > Don Dailey wrote: > > Is the 5x5 claim the one you are skeptical about? > > IIRC, I am sceptical about both 5x5 (esp. first move not at tengen) and > 6x6. But I do not recall more details. Maybe I have not read all 5x5 papers > about claimed solutions. If there is something with mathematical proofs > (about the made CG calculations), I would want to read it when I should have > time. So far I have seen only Erik's preliminary draft, and that was not on > the level of complete mathematical proofs about a solution. > > > -- > robert jasiek > _______________________________________________ > computer-go mailing list > computer-go@computer-go.org > http://www.computer-go.org/mailman/listinfo/computer-go/ >
_______________________________________________ computer-go mailing list computer-go@computer-go.org http://www.computer-go.org/mailman/listinfo/computer-go/
