Website founded by Milan Velimirović in 2006
21:14 UTC
 
MatPlus.Net Forum Internet and Computing Proof Games 



You can only view this page!
  (1) Posted by Geoff Foster [Tuesday, Jun 5, 2007 11:57]  Proof Games I believe that some proof games have been created using a computer program. How is this possible? Surely there are too many possible positions? How many possible positions are there after 10 moves? After 20 moves?
Also, how do proof game solving programs work? Do they play backwards from the diagram position, attempting to reach the initial game position?   (2) Posted by Hauke Reddmann [Thursday, Jun 7, 2007 10:50]  I doubt that they have been *created* (only *verified*).
Since I never tried to decompile NATCH :) I can only assume
that they work just like a human  counting moves,
taking care for collisions...only more reliable.
Computers usually have a hard time with "meta" style reasoning.
Don't see offhand an example for that in the case of proof games.
Hauke   (3) Posted by Hans Gruber [Saturday, Jun 16, 2007 15:20]  Hi Geoff,
some years ago, Norbert Geissler and Gerd Wilts wrote a program to compute massacre proofgames.
Their main goal was so investigate whether there exists a unique proofgame leading to a 2men position without additional condition. They increased the number of single moves stepbystep. (30 captures needed, but no capture possible in the first two plies. Thus: Starting with 32 single moves, then 33.) As far as I know, their study included the full analysis of 34 single moves, and they found no unique proofgame. But some quite nice byproducts resulted from these analyses.
Hans Gruber   No more posts 
MatPlus.Net Forum Internet and Computing Proof Games 


