59 pointsby jmount11 hours ago5 comments
  • tromp9 hours ago
    > For the chess problem we propose the estimate number_of_typical_games ~ typical_number_of_options_per_movetypical_number_of_moves_per_game. This equation is subjective, in that it isn’t yet justified beyond our opinion that it might be a good estimate.

    This applies to most if not all games. In our paper "A googolplex of Go games" [1], we write

    "Estimates on the number of ‘practical’ n × n games take the form b^l where b and l are estimates on the number of choices per turn (branching factor) and game length, respectively. A reasonable and minimally-arbitrary upper bound sets b = l = n^2, while for a lower bound, values of b = n and l = (2/3)n^2 seem both reasonable and not too arbitrary. This gives us bounds for the ill-defined number P19 of ‘practical’ 19x19 games of 10^306 < P19 < 10^924 Wikipedia’s page on Game complexity[5] combines a somewhat high estimate of b = 250 with an unreasonably low estime of l = 150 to arrive at a not unreasonable 10^360 games."

    > Our final estimate was that it is plausible that there are on the order of 10^151 possible short games of chess.

    I'm curious how many arbitrary length games are possible. Of course the length is limited to 17697 plies [3] due to Fide's 75-move rule. But constructing a huge class of games in which every one is probably legal remains a large challenge; much larger than in Go where move legality is much easier to determine.

    The main result of our paper is on arbitrarily long Go games, of which we prove there are over 10^10^100.

    [1] https://matthieuw.github.io/go-games-number/AGoogolplexOfGoG...

    [2] https://en.wikipedia.org/wiki/Game_complexity#Complexities_o...

    [3] https://tom7.org/chess/longest.pdf

    • jmount9 hours ago
      Nice stuff, thanks for sharing that.

      I remember from a lot of combinatorial problems (like cutting up space with hyper-planes or calculating VC dimension) that one sees what looks like exponential growth until you have a number of items equal to the effective dimension of the system and then things start to look polynomial.

      BTW: I was going through some of your lambda calculus write-ups a while ago. Really great stuff that I very much enjoyed.

    • qsort9 hours ago
      I wonder if/how that interacts with the new draw rule. (For the uninitiated: the formal rule to adjudicate games as draws automatically or on time is that the game is a draw if there exists no sequence of moves that could lead to checkmate. Interestingly, although this has almost no strategic implications, it means that... it's almost impossible to write a program to detect draws that's technically correct. A similar corner case is draws in Magic the Gathering, which is literally undecidable in general.)
      • Sesse__8 hours ago
        Is that a new rule? I was under the impression that it had been the case for a very long time that if you went out on time but there was no possible sequence of moves leading to checkmating you, it was a draw instead. (Meaning, of course, that having more pieces could be a disadvantage in such situations, which feels a bit unfair. E.g., KvKB is a draw, but KPvKB can lead to a mate if both sides cooperate, and thus would be a time loss for white even if black would never win in practical play.)
        • qsort6 hours ago
          That's not new, but how it formally works has changed. There used to be a number of explicitly enumerated cases (i.e. bare king and king with a minor piece,) now the rule instead just says that there must exist a sequence of moves to mate. Some positions, even with pawns (imagine a completely closed position with only pawns and kings) wouldn't have been automatically drawn under the previous system but now would be. I think USCF rules, unlike FIDE, still have the enumerated cases?

          The difference is extremely minor and has almost no strategic implications, it's just an interesting corner case.

          • TZubiri4 hours ago
            Does it depend on elo as well?
        • jmount7 hours ago
          I just updated the article. I did use Python's insufficient material detection, in addition to the ability to call for a draw (3-fold repetition, and 50 move rule). I think the "75 move rule" that doesn't require a player to call is one of the more recent rule changes.
  • GMoromisato9 hours ago
    One thing I always wondered is how many moves, on average, do you have to play before reaching a position that has never before seen on Earth?

    Or maybe the question should be what percent of games reach a position that has never before been seen?

    • recursivecaveat8 hours ago
      Apparently ~75% of the positions in the lichess database (as of 6 years ago) have only been seen once ever. Average game length is 30-40 moves, so for the completely average player it would be like 10+ moves I suppose. The stronger the players the longer it will take: I found some comments suggesting 20+ for high level players.
      • empiko30 minutes ago
        I don't think the math is correct here. The 25% of positions that have been seen more than once represent more than 25% of the occurrences. Even if all of them would be seen only twice, you should already see them in 40% occurences.
    • tromp9 hours ago
      I think that the average chess game played between humans contributes between 20 and 40 new positions (note that a 30 move chess games has 60 plies).
    • bdamm9 hours ago
      You'd probably need to make a determination of the skill of the players. A very strong player vs a novice could be scholar's mate most of the time.
      • dpc0505058 hours ago
        A very strong player would show the novice the scholar's mate once and then move on to hanging tactics and pieces on purpose so that the novice starts seeing things, probably leading to positions that are a lot more rare.
      • reassess_blind8 hours ago
        Yes, the stronger the players, the more often they will both go deeper into established theoretical lines that have been played before.
  • jonas_kgomo5 hours ago
    I watched a movie a few days ago and they basically said there are more states in the game of chess than atoms in the universe? https://www.youtube.com/watch?v=xfMQ7hzyFW4
    • adonovan5 hours ago
      Sure, but in combinatorics the number of atoms in the universe (say 1e80) is not a large number. For example, the factorial of 59 is larger. If you own 30 pairs of shoes, there are factorial(60) ways to arrange the individual shoes in a sequence.
  • paulpauper6 hours ago
    meh. I think it would have been more interesting had the author discussed more granular estimates. Mathematicians have narrowed it down more by considering the properties of the pieces and bijections.
    • LegionMammal9785 hours ago
      Assuming you're referring to [0], that's a statistical estimate of valid chess positions (based on clever methods of uniform position sampling + fast validity testing), not valid chess games (based on estimating branching factors for very long games).

      [0] https://github.com/tromp/ChessPositionRanking

  • RA_Fisher8 hours ago
    Infinite. :) Chess is strictly unbounded.
    • Mordisquitos8 hours ago
      That was also my intuition. Unless there's a rule that can stop two immortal but dumb-as-bricks players from indefinitely cycling through the same non-capturing moves surely the answer is 'infinity'.
      • DSMan1952767 hours ago
        It depends what rules you're using, but there are the three-fold repetition and 50-move rules which allow a player to force the game to end in a draw. The catch is they both require one of the players to claim a draw under the rule, otherwise they can keep playing.

        There is additionally the 75-move rule where the the game is forced to be over without either player claiming the rule (the arbiter just ends the game), that rule would give an upper bound regardless of the players knowledge of the rules.

        • drpixie13 minutes ago
          As I understand it, the 50-move rule must be invoked by one of the players, lets assume our immortal players agree not to invoke that rule.

          The 75-move rule is automatic, so that would be the limiting factor.

          Note, that 75-move rule is only applicable after no pawn has moved or a piece has been captured. So our immortals can do a lot of shuffling things around.

          I'm thinking that the number of moves of the longest game is going to be (16 pawns * 7 moves each + 16 pawns being captured + 14 other pieces each being captured, not the kings) * 75 moves for shuffling around = 10650 moves.

          That's only 1 week at 1 move per minute! But given the permutations, it might take much longer to calculate the actual moves required to get to the end state :)

        • jonah-archive4 hours ago
          In this lovely paper: https://tom7.org/chess/longest.pdf

          The author points out that:

          "This rule only applied to games started after its introduction, so it is possible that some pre-1561 games are still in progress and may never end."

        • LegionMammal9787 hours ago
          How I'd put it is that there are two sets of stopping points under FIDE rules:

          - After threefold repetition or 50 moves, either player may claim a draw.

          - After fivefold repetition or 75 moves, the game is automatically drawn.

          Most modern counts of the longest possible chess game, or the total number of possible chess games, are based on fivefold repetition and the 75-move rule.

          Meanwhile, threefold repetition and the 50-move rule are still relevant in endgame tablebases, since they rule out certain forced mate sequences.

      • eulgro7 hours ago
        Well there is. The three/five fold rule. And 50 moves rule.