[Retros] "half" proof games
andrew at anselan.com
Tue Feb 24 10:32:59 EST 2004
It's a very good sign that for x=<4 that Francois' work confirms/is
the Gert Wilts/Norbert Geisler work, with the exception of the (1+2) case
where the new
work goes beyond what had previously been checked.
It may be possible to verify using a conventional SPG engine the correctness
of any SPGs which Francois proposes.
To verify that these are the *only* positions of a certain property would be
a lot more work. Perhaps the Wilts/Geisler code can be adapted to use more
For my own purposes I'm happy to take the results on trust, but this is
point on which any paper Francois writes should comment.
----- Original Message -----
From: "oliver sick" <oliver.sick at web.de>
To: <retros at janko.at>
Sent: Tuesday, February 24, 2004 9:49 AM
Subject: Re: [Retros] "half" proof games
Noam Elkies schrieb am 24.02.04 04:58:14:
>Two further questions:
> 1) What move generating routines do you use for your investigation?
> 2) Have you tried to adapt your methods to "one-sided proof games" --
> White series from either the opening array (16+16) or only White's men
I am also highly interested in your investigation.
In my opinion there is a principal question in the 'truth' of your numerical
If we see your counting results as mathematical results (and they are of
nature), then we need a base to check the truth of the statements. And as
far as I can
see this can only be done by writing an own program and rechecking the
by checking and testing your source code. Do you intend to publish it? Or
did I miss
the point and it is actually published to some other people currently
checking it ??
Don't missunderstand this remark, your efforts are phantastic, but it would
nicer to have a 'public truth' .... In fact this is an old problem and as
far as I know it
was a big issue in the proof of the four-color theorem.
Retros mailing list
Retros at janko.at
More information about the Retros