[Retros] "half" proof games

[Andrew Buchanan]

It's a very good sign that for x=<4 that Francois' work confirms/is
confirmed by
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
modern hardware.

For my own purposes I'm happy to take the results on trust, but this is
clearly a
point on which any paper Francois writes should comment.

Cheers,
Andrew.

----- 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


Hi

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

> (16+0)?


to F.Labelle,

I am also highly interested in your investigation.

In my opinion there is a principal question in the 'truth' of your numerical
statements.
If we see your counting results as mathematical results (and they are of
mathematical
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
results or
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
be
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.

Greetings
Oliver




_______________________________________________
Retros mailing list
Retros at janko.at
http://www.pairlist.net/mailman/listinfo/retros