Checkers Solved, Unbeatable Database Created
tgeller writes "My story on the Nature site announced that a team of computer scientists at the University of Alberta has solved checkers. From the game's 500 billion billion positions (5 * 10^20), 'Chinook' has determined which 100,000 billion (10^14) are needed for their proof, and run through all relevant decision trees. They've set up a site where you can see the proof, traverse the logic, and play their unbeatable automaton. '[Jonathan] Schaeffer notes that his research has implications beyond the checkers board. The same algorithms his team writes to solve games could be helpful in searching other databases, such as vast lists of biological information because, as he says, "At the core, they both reduce to the same fundamental problem: large, compressed data sets that have to be accessed quickly."'"
Also, I've heard before that "it takes longer to learn to play checkers at the master level than it does chess. What checkers lacks in breadth, it makes up in precision and finality." I realize that puts me at risk of being modded as flamebait but I wonder if any other Slashdot reader can confirm or contest that.
My work here is dung.
Right. So, is it a win for the first or the second player? Would be nice to mention somewhere.
'course, Go would be kind of dull too on an 4x8 board (checkers only uses half the squares)1 6.html
http://www.chessvariants.com/d.betza/chessvar/16x
-- perl -e'print pack"H*","6e656d6f406d38792e6f7267"'
They randomise starting back-rank positions now in some tournaments, to stave off the eventual "book death" that has already conquered checkers.
I made up my own variation with randomness that I call Schrödinger's Chess.
Let me know if you try it out.
I'm not surprised that checkers has been solved. As a programmer and an engineer, I cheer in the fact that a difficult problem has been solved, as a human being, I'm sad in a way. Computers are tools, humans are well, humans. There must remain some ways we can think better.
Jonathan Schaeffer 's book about the development of Chinook (from 1997):
S upremacy/dp/0387949305
http://www.amazon.com/One-Jump-Ahead-Challenging-
Includes the details of the Tinsley matches and Tinsley's untimely death. Interesting for people interested in the effects of technology on human societies, as well as some of the technical aspects of the program (as it was in 1997).
> 'course, Go would be kind of dull too on an 4x8 board (checkers only uses half the squares)
Duh? Go is _designed_ to be played on a 19x19 grid; the sheer size of the board is an important aspect to strategy. Chess on a 4x2 board doesn't sound too exciting, either (but I'd try 3/2x3/4 tic-tac-toe any day). For the record, 9x9 go (as played on a chess board) is still quite interesting. As for full size go, here is a quote from http://senseis.xmp.net/, the go wiki: "It is commonly said that no game has ever been played twice. This may be true: On a 19×19 board, there are about 3^361×0.012 = 2.1×10^170 possible positions, most of which are the end result of about (120!)^2 = 4.5×10^397 different (no-capture) games, for a total of about 9.3×10^567 games. Allowing captures gives as many as 10^(7.49×10^48) possible games, most of which last for over 1.6×10^49 moves! (By contrast, [...] physicists estimate that there are not more than 10^90 protons in the entire universe.)"
Quoting about graph theory (to be exact 4 colour theorem): "a good mathematical proof is like a poem--this is a telephone directory!"
Not sure who wrote it, but the 4 colour theorem was the first computer aided proof.
And I am afraid I have to agree.
I did my undergraduate at the U of A, and had the pleasure of being a number of Jonathan Schaeffer's classes. The man is a gifted professor, and rather quirky on top of that.
..
One day, we were learning about the "Dining Philosopher" problem. The problem is about 3 philosophers that have to acquire two (shared) utensils on either side of them before they can eat the food in front of them. Those of you familiar with the problem should understand
Anyway, he came in with a pot of spaghetti, forks, and plates. He actually had some students sit down and go through the algorithm. When the first one took a bite off the plate, he asked "Pretty Good, huh?" (of course the student agreed). He also threw some spaghetti against the wall to prove that it was well cooked.
So, after the first student went through the algorithm and used the fork, you can imagine the grimace from the second student that had to use the same shared fork as the first student..
hah! Still makes me laugh.
I won't ever forget about acquiring mutexes in the correct order, however.
f u cn rd ths, u r prbbly a lsy spllr.
Try Shogi; it's great, but good luck finding someone else who can play....