Checkers solved

From Science and NYT.

38 Responses to “Checkers solved”

  1. Osias Says:

    I couldn’t see if is 8×8 or 10×10, but … uh… “guess” is 8×8. And I don’t know if the rules are yahoo games’ or the rules I play in Brazil… I “guess” they are not. I wonder if they are harder or easier.

  2. Scott Says:

    Standard checkers is 8×8.

  3. Val Says:

    The quote “From my point of view, thank God it’s over,” almost made me feel bad for thinking “but how about general m x n boards?” when I started reading the article.

  4. Amir Michail Says:

    So how do we know that Checkers is really solved? What sorts of assurances are given that the code used is correct?

    Also, in what sense is this an achievement? Are the clever algorithms used applicable to other domains?

  5. Not even wrong Says:

    I think it still relies on very large computation power, though their chess-playing algorithm has been improved. It is still far different from human intelligence.

  6. Not even right Says:

    I think it still relies on very large computation power, though their chess-playing algorithm has been improved. It is still far different from human intelligence.

    Sorry, I used a wrong pseudonym. :)

  7. Markk Says:

    Amir – read the articles. The code and proofs are freely available. In its very basics the proof is kind of like what happened with the 4 color conjecture. A whole bunch of special cases were found to cover the entire search tree for the game. 10^14 of them I guess. They then crunched through them for 18 years. What kind of confidence should you give this? As much as you give a somewhat hard standard proof I would guess.

    It is an achievement because we now know something we didn’t know before about a game millions have played. How big an achievement is up to the reader.

    It sounds like the compression and searching of compressed tree techniques might be useful in other situations.

    What I found amazing is that their analysis of the “greatest Checker Player ever”, Marion Tinsley, showed that he had only a double handful of “mistaken” moves in the 10′s of thousands of moves they had on file for him. That is almost unbelievable. He must have played hundreds of literally perfect games.

  8. Amir Michail Says:

    I wonder if AI researchers will now initiate a massive automated search for (simple) heuristics based on perfect play in Checkers. Such heuristics might be useful for other games/problems.

  9. James Says:

    Yeah, when I was a grad student in 1994, I think, I went up the hill to an MSRI conference on combinatorial games. Someone from Chinook gave a talk, and while what he said about program was interesting, the most interesting part was what he said about Marion Tinsley. I’ve had a fascination (usually dormant) with him ever since.

  10. Amir Michail Says:

    How would you rank moves with knowledge of perfect play?

    You might want to do this to test a human player’s ability earlier in the game so that you can decide whether to make risky moves later on that could result in a win rather than a draw.

  11. Coin Says:

    I guess what I’d be curious about is, what proportion of the endpoints of the “perfect game” tree end in wins and what proportion end in draws? If you consider all possible games which could be played by opponents, I mean.

  12. Craig Says:

    Schaeffer wrote a pretty entertaining nontechnical book on this subject a few years ago. The material in it about Tinsley was indeed very interesting (as well as anecdotes about other pro players; I believe there was one who tried to cheat against the computer).

  13. Bram Cohen Says:

    Scott, what do you think about professor Schaeffer’s comments about quantum computation?

    http://www.chessninja.com/dailydirt/2007/07/checkered_past.htm

    ” I have been asked many times when chess will be solved and I refuse to say anything other than it can’t be done for a very long time unless there is a fundamentally new breakthrough. The computing models that we have today — even if they are a billion times faster — won’t make a dent in chess. We need something *much* better. The answer might be quantum computing, but this technology is still in its infancy and remains unproven.”

  14. Scott Says:

    Bram: Well, we know now that quantum computers give you a generic square-root speedup for games of alternation, thanks to the recent breakthrough of Farhi, Goldstone, and Gutmann.  But we have no evidence that they give anything better than that in specific cases like chess.

  15. Jonathan Vos Post Says:

    (1) Checkers. My grandfather Alfred Vos was New Jersey State Checkers Champion (I’m not sure which years); it took me ages to learn the tactic called “winkling” from him.

    (2) Checkers again. As I submitted to the Prime Curios web site, which will have the copyright:

    “500995484682338672639

    The total number of positions in all possible Checkers games has a smallest prime factor of 19, which curiously is the number of rows or columns in the more
    complex board game Go.”

    (3) Perfect game. That has an official definition in Major League Baseball. In Chess, however, I stated a theorem, and gave examples, early in my CS grad student days at UMass/Amherst, 1973-1977. I showed it to our resident International Master, Danny Kopec, who then went to be Chess Advisor to the AI programme at University of Edinburgh. SIGART had the Edinburgh professor (was he the same one who died this month in a car crash?) publish an article which failed to cite me as the original author of the theorem. Roughly speaking (I don’t have the notes in front of me):
    If in a Chess game, you KNOW that your opponent is NOT a perfect player (i.e. makes at least one mistake per game), then there exist positions where your move yielding the greatest probability of your win is NOT the same as your optimal move (i.e. the move you would make against an opponent that you know to be a perfect player).
    I gave examples (horizon effect was shown in SIGART) and classified situations with 1 error per game players, 2 errors per game players, and suggested a generalization with distributions.

    Yes, it ws he who died a week ago: “Professor Donald Michie, 84, and his ex-wife, Dame Anne McLaren, 80, were in a car which left the motorway as they travelled from Cambridge to London. Prof Michie was a researcher in artificial intelligence who worked as part of the British code-breaking group at Bletchley Park during World War II.”

    I am not accusing the late prof. Michie of plagiarism; it was probably accidental on his part, because perhaps Danny Kopec did not have the right contact information for me. At the time, I was writing the world’s first PhD dissertation on Nanotechnology and Artificial Life, neither of which fields were yet named.

    I was calculating the channel capacity of metabolisms, which required me to solve perturbations in the Michaelis-Menten equations in Laplace transform space, and imprssed Marvin Minsky with my use of the Krohn-Rhodes semigroup decomposition theorem. The issue of complexity of dynamics of metabolisms is still open, but my solutions in the neighborhood of steady-state are stil the key, and have been publsihed several times in refereed venues.

    That PhD dissertation is still listed as “incomplete” on my transcript, having never been either accepted nor rejected. Perhaps, Scott, you might give me a chance to speak about this at MIT after you’ve gotten established in the faculty. I did speak with Marvin Minsky most recently in June 2006 at the 6th International Conference on Complex Systems. He has given me good career advice since 1973. At ICCS-2006, I introduced him to someone expert in Japanese and said that he’d received the Emperor’s Prize. Marvin said: “More than that: I bought lunch for the Emperor!”

  16. Bram Cohen Says:

    Scott, in that post you say that an exponent of 0.753 is optimal for the classical case (I assume that’s plain old alpha-beta pruning?) and that 0.5 is the best known for the quantum case. Shouldn’t we expect an exponent of 0.753 / 2 for it to be a true square root speed-up?

  17. Scott Says:

    Bram: The 0.753 is only for games with branching factor of 2 (which don’t tend to be played a lot :-) ). As the branching factor increases, the classical exponent asymptotically approaches 1 while the quantum exponent remains 1/2. And for classical deterministic (as opposed to randomized) algorithms, the exponent is always 1.

  18. Osias Says:

    “winkling” ?

    Mister Jonathan Vos Post… is there any place where I can read about that?

  19. Chris W. Says:

    Off-topic, but FYI: David Deutsch’s review of Douglas Hofstadter’s I Am a Strange Loop.

  20. Jonathan Vos Post Says:

    Winkle. Based on the zoological “periwinkle” ( small, snail-like, marine molluscs, Littorina littorea), and the process of digging the small edible shellfish meat out of the shell with an appropriate tool, we get the transitive verb, winkle,: to pry, extract, or force from a place or position. Often used with out. chiefly British, as well as the derivations for winkled, winkling, winkles.

    The verb winkle has 3 meanings:

    Meaning #1: emit or reflect light in a flickering manner; of stars
    (Synonyms: twinkle, scintillate);

    Meaning #2: gleam or glow intermittently
    (Synonyms: flash, blink, wink, twinkle)

    Meaning #3: remove or displace from a position.

    It is #3 that applies to the board game of checkers (a.k.a. darughts).

    I’ve got three kings. You, poor bastard, have only two. You run each of them to a corner where you can shuttle back and forth between two diagonally connected squares.

    I head into one corner and play a little parity game with you, as your king can only move back and forth with period 2, and I have more degrees of freedom.

    Eventually, I can time it so that you get jumped, or unable to move, no matter what you do. Then I go and pry your final king out of its corner. You are doomed.

    It is easy to handwave like this, a little more subtle to express algorithmically. My grandfather had to show me over and over. Anyone who knows the game well can show you. I have no book on hand to explain better.

    My good friend jeremy Colton, back at PsS.#9 (Robert Fulton Elemntary School) had a father Sam Colton who owned and ran a spectacular used book store on Montague Street for a long time, which was a vast repository of ancient wisdom, and regular customers of eccentric intelligence and erudition. Sam was Philadelphia city wide checkers champion when he was 12 (1919).

    In a sense, it’s a pity that the game is “proved.” But if someday Chess is proved, will people stop playing Chess?

    Put it another way: cars drive faster than people can run. Have we stopped running?

    Computers can do arithmetic many orders of magnitude faster than people. have we given up on Math?

    Darn. I had hoped that my son would have finished Harry Potter 7 by now. Then my wife has to finish it, atsrtaing after the 100 pages she read while our son was asleep. I kind of wnat resolution before I have to go back to teaching Algebra 1 to frustrated teenagers.

    “Why are you not looking at me when I speak at the whiteboard? I’m your teacher, not the guy behind you? I took a huge oay cut to be here. You need me to graduate.”

    “Because, Professor Post, you goota keep an eye behind you in the ‘hood.”

    “But this is not the hood. This is my classroom.”

    *sigh*

  21. Jonathan Vos Post Says:

    Draughts. P.S. #8. Pay cut. Gotta.

    Modulo spellchecking.

  22. Scott Says:

    Chris W.: That’s a fantastic review!

  23. Jonathan Vos Post Says:

    If David Deutsch writes: “… my method of urging you to read the book [I Am a Strange Loop] will itself be paradoxical: I shall summarize why I find it ultimately unconvincing,” then are we helping or hurting the paradox by urging people to read his review? Will more people read the Douglas Hofstadter’s book if an even number of us refer to David Deutsch’s review, or an odd number? Please don’t refer to my comment on the review. I’m certainly not going to.

    Most people overgeneralize from a single example. I surely do.

  24. Osias Says:

    > (…) Meaning #3: remove or displace from a position. (…)

    Thank you very much! I think I already saw something like this somewhere.

    If you have time, I invite you to play at http://www.pocket-monkey.com
    I’m registered there as Osias

  25. walt Says:

    I saw an article on this a couple of days ago, and it’s not clear to me that checkers really is solved. They hedge it by saying something about being restricted to positions that usually arise in play.

  26. Card Shark Says:

    For another attempt at computerized opponents (this time for poker), check out this story:
    http://wcbstv.com/watercooler/local_story_202200457.html

    “Solving” checkers or any other game with a large but finite number of positions or moves is a predictable result of increased computing power. I don’t think I’ll be at all surprised years from now when we see the headlines “Chess has been solved” and “Go has been solved.”

    Poker is far more interesting from an AI perspective since it requires the program to adapt strategy to its opponent while varying its play to preclude an opponent from successfully adapting to it. There is also no possibility of “solving” the game since the outcome could vary even when dealing with the same opponents and cards.

    I look forward to the world’s first combination poker tournament & Turing test, and I hope they plan to serve free drinks.

  27. Johan Richter Says:

    What’s your perspective Scott on the claims/hope that great advances in AI will help computers play GO better?

    I have been thinking about what that would mean in complexity-theoretic terms. It is known of course that determining the winner of a arbitary GO position is hard. (In fact, very hard, harder than NP.) Is the hope that GO is easier on average than in the worst case? That you don’t need to evaluate positions to choose a move?

  28. Coin Says:

    Johan: My understanding is that the problems of finding solutions to Checkers, Chess AND Go are all three in the same complexity class (wikipedia says that this is EXPTIME, but that in the case of Go this may depend on the Ko rule you choose to adopt).

    In practical terms solving these games can offer different degrees of difficulty (i.e. since practical terms usually mean using a standard, finite-sized board); but in complexity-theoretic (asymptotic) terms there’s not really a difference there, since here we don’t really care about the structure of the decision tree, just the bounds on its size.

  29. Bharath Says:

    Go is far, far harder to solve via the standard search techniques used for Chess and Checkers, since it has a far higher branching factor. I think that saying “different degrees of difficulty” is an understatement since chess programs operate at the grandmaster level while Go programs operate at the weak AI level.

    Also, this might be slightly off topic, but I’ve always had the opinion that AI is a field where complexity theory isn’t really very important, since essentially all interesting problems scale exponentially in the worst case. I think AI is more about finding pragmatic algorithms that can offer decent performance in the average case.

  30. Anonymous Says:

    Scott said, “Bram: The 0.753 is only for games with branching factor of 2 (which don’t tend to be played a lot ). As the branching factor increases, the classical exponent asymptotically approaches 1 while the quantum exponent remains 1/2. And for classical deterministic (as opposed to randomized) algorithms, the exponent is always 1.”

    Hmm, that seems odd. Is the optimal classical algorithm for other branching factors the same (evaluate one random subtree and then others until you can stop)?

  31. Scott Says:

    Is the optimal classical algorithm for other branching factors the same (evaluate one random subtree and then others until you can stop)?

    Great question! If all the branching factors are the same, then I think Saks-Wigderson analysis gives an affirmative answer (someone correct me if I’m wrong). If the branching factor can differ from one vertex to another, then I’d still conjecture the answer is yes, but it’s not known in general.

  32. Card Shark Says:

    Computer vs Human in poker – and the winner is…

    http://www.nytimes.com/2007/07/26/business/26poker.html?_r=1&adxnnl=1&oref=slogin&adxnnlx=1185480611-+7dAinwap+FN5OdyrmPjAQ

  33. Raoul Ohio Says:

    This week’s “Science News Weekly” had an article on the Checkers solution. Although this was the rare SNW that had an actual equation (fibonacci and lucas numbers recursion formula), little detail was provided.

    SNW discussed how they worked on the problem from both ends. First, on the back end, they crunched all boards with n checkers, starting with n = 2 and making it to n = 10 in a decade or so. The work per board scaled as 10^n. This info was stored in a condensed form. Next they played openings, taking all branches until the game got to n = 10, and then looked up the solution. I am guessing some pruning was involved.

    Here is what caught my attention: SNW stated that a condensed storage scheme was used that stored the n

  34. Raoul Ohio Says:

    This continues a comment about the report in Science News Weekly that was somehow cut short:
    Here is what caught my attention:
    SNW stated that a condensed storage scheme was used that stored the n

  35. Raoul Ohio Says:

    One more try. It appears that a “C-language less than or equal sign” cuts off messages in the “Leave a Reply” box.
    Anyway, the SNW report stated that the n = 10 (and less) end game outcomes were stored in some unspecified data structure with an “average of 154 positions per byte”. Rather impressive. Does anyone have a guess how they could do that? The SNW report is at http://www.sciencenews.org/articles/20070721/fob4.asp

  36. Dan Andersson Says:

    AFAIK Chinook endgame data uses fairly standard techniques in combination with domain dependent knowledge. They utilize symmetries and every unique position gets an index where the game value is stored. Capture and capture threat positions get special treatment to reduce. Then a version of run length encoding does the compression.

  37. Daniel Says:

    I couldn’t understand some parts of this article Checkers solved, but I guess I just need to check some more resources regarding this, because it sounds interesting.

  38. Coin Says:

    Hmm:

    “Babbage, in speaking of his analytical engine, has suggested that a machine might be made that would play a game of combination, such as draughts, provided the maker of the machine himself would work out perfectly the sequences of the game. Professor Fairman Rogers finds that the sequences of tit-tac-toe are easily tabulated, and hence an automaton may be made that will play the game as follows: The opponent to the automaton makes the first move in the game and in so doing causes a certain cylinder to change its position. This causes the automaton to make that play which the proper sequence of the game requires. The next play of the opponent moves another cylinder, and so on throughout the sequence. If the player plays perfectly, the game will be drawn; if the opponent makes a mistake, the automaton will take advantage of it and win the game.”

    – Scientific American, May 1874