tag:blogger.com,1999:blog-3722233.post2282024798263648377..comments2023-02-07T17:37:41.543-06:00Comments on Computational Complexity: Computer GoLance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger14125tag:blogger.com,1999:blog-3722233.post-37408251854916816052009-09-21T02:39:43.921-05:002009-09-21T02:39:43.921-05:00We normally use our collaborative voices to advoca...We normally use our collaborative voices to advocate to the world’s leaders on the fight against terrorism, corruption, poverty and global disease. Today, I was doing some reading that made me think we might be able to use our collective computing power as well for the betterment of the humanity.<br />If you own a fast computer and are not running memory intensive applications, then you could take the initiative by allowing the community grid service applications to run even when your machine is not idle. You don’t have to do anything extra with this application; neither has to be a tech savvy, you just need let this application to run of its own. You can carry on with your tasks but in real you might be a step closer to solve one of the problems facing humanity.Computer Supporthttp://www.askdrtech.com/noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-43090656662522428472009-08-17T09:22:41.977-05:002009-08-17T09:22:41.977-05:00An important point has been forgotten in the discu...An important point has been forgotten in the discussion.<br /><br />Monte-Carlo Go, as it can be understood from this post and its comments, exists since 1993 (unpublished well known paper by Bruegman). It was interesting, but not a revolution.<br /><br />The revolution in Monte-Carlo Go is the use of a growing tree, which iteratively adds new nodes, following the Monte-Carlo simulations. <br /><br />Then, the Monte-Carlo is adapted: the naive Monte-Carlo moves are replaced by a subtle technique, at least for situations which are already in the tree. This was done first by Coulom, Chaslot and others for the game of Go, and by Kocsis and Szepesvari in the nice setting of UCT. The revolution is here, much more than in the use of Monte-Carlo itself.<br /><br />There are other important milestones in UCT, but I think the point above is the first which really had to be emphasized.<br /><br />Olivier Teytaudtetohttps://www.blogger.com/profile/15282061476281349303noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-12038565977217375702009-08-12T08:26:52.431-05:002009-08-12T08:26:52.431-05:00I don't think that go is that easy in practice...I don't think that go is that easy in practice. It has taken us humans thousands of years to reach our current skill level. Also, we do not know how good our moves are. It is possible that there is still room for substantial improvement.<br /><br />~Tyson WilliamsTyson Diddleyhttps://www.blogger.com/profile/16010423170589014571noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-38885503915479445362009-08-12T08:25:37.393-05:002009-08-12T08:25:37.393-05:00This comment has been removed by the author.Tyson Diddleyhttps://www.blogger.com/profile/16010423170589014571noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-50745497500823566392009-08-11T18:56:44.496-05:002009-08-11T18:56:44.496-05:00And so ... Go joins the set of problems that accor...And so ... Go joins the set of problems that accord with the (surprisingly reliable) real-world heuristic that EXPTIME-complete problems are intractable ... except in practice.John Sidleshttp://www.mrfm.orgnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-59564093437003364432009-08-11T08:14:33.431-05:002009-08-11T08:14:33.431-05:00Finding the best move in Go is EXPTIME-Complete, s...Finding the best move in Go is <a href="http://en.wikipedia.org/wiki/Game_complexity#Complexities_of_some_well-known_games" rel="nofollow">EXPTIME-Complete</a>, so there is no linear program that is linear in the size of the input (where the input is the length of the side of the board).<br /><br />~Tyson WilliamsTyson Diddleyhttps://www.blogger.com/profile/16010423170589014571noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-25240231807934233162009-08-11T06:28:21.480-05:002009-08-11T06:28:21.480-05:00The problem is that the number of strategies (and ...The problem is that the number of strategies (and hence the size of the natural linear program) is exponential in the size of the board. For the standard board size (19-by-19), the number of possible strategies is prohibitively large to even write down.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-21646088730185413882009-08-11T01:19:59.039-05:002009-08-11T01:19:59.039-05:00The game is two-player constant sum, so it can be ...The game is two-player constant sum, so it can be solved in polynomial time with a linear programming. I don't see what the problem is here.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-52578957996885176392009-08-10T17:48:08.358-05:002009-08-10T17:48:08.358-05:00Of course it's true that pure Monte Carlo meth...Of course it's true that pure Monte Carlo methods aren't going to be able to beat a smart Go beginner; but my point was there are plenty of theoretical reasons why they seem to be useful.harrisonhttp://harrisonbrown.wordpress.comnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-24546911728684260012009-08-10T15:31:54.494-05:002009-08-10T15:31:54.494-05:00And that is basically what Many Faces does. Many ...And that is basically what Many Faces does. Many Faces was originally just based on "go knowledge". Then MoGo showed the go world how great the Monte Carlo approach worked, so now Many Faces is a blend of both go knowledge and Monte Carlo approaches.<br /><br />When explaining this to other people, I say that the Monte Carlo approach will generate a few moves that seem the best. Then Many Faces uses its go knowledge to select which is best.<br /><br />~Tyson WilliamsTyson Diddleyhttps://www.blogger.com/profile/16010423170589014571noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-85071195236274888822009-08-10T15:15:24.659-05:002009-08-10T15:15:24.659-05:00The problem with Monte Carlo methods, as Tyson alr...The problem with Monte Carlo methods, as Tyson already mentioned, is that in many tactical situations there is exactly one correct move, and this move usually falls into the area of 1%.<br /><br />However, I would guess that a well-thought-out combination of Monte Carlo methods with a good tactical reader would work much better.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-8580748948150508012009-08-10T11:59:25.667-05:002009-08-10T11:59:25.667-05:00Believe it or not, I've actually thought about...Believe it or not, I've actually thought about this a good bit lately (thanks for writing my blog post for me, Lance! :D) and I'll try to chip in some of my thoughts.<br /><br />1. You can model either game as a rooted directed graph with weights from {0, 1} attached to the sinks -- this is well-known. In some formulations of Go, the graph's acyclic; it's not in chess, but it can be considered to be so as a simplification.<br /><br />The value at each node is a function of the values at the sinks reachable from that node, which is defined recursively from the bottom up. On the other hand, the graph is so huge that actually computing this function is impractical. So we make some simplifications.<br /><br />What chess programs do is use a good evaluation function to estimate the game value at a constant number of layers down from the current position. Why is this possible? Well, partially because the material value of pieces is the dominant term in the evaluation function, so when this is nonzero, we're usually golden. In addition, the theory of position is well-understood. It also helps that chess is a very local game, and furthermore local in a precise sense that means we often don't need to calculate the evaluation function from scratch. Add that to a reasonably low branching factor, and it makes sense.<br /><br />Monte Carlo methods in Go, on the other hand, try to approximate the game value by the L1 norm of the reachable sinks! This isn't always a great approximation, but it's not terrible; if you win 99% of the games that could be played from a position, then it's not very likely that your opponent can get to that 1%. But this L1 norm is as hard to compute as the original function, so we use Monte Carlo instead.<br /><br />This is helped by a couple of factors. First, the DAG is only slightly noncommutative. Usually, if you play at X, your opponent plays at Y, and you play at Z, you end up with the same situation as if you'd played Z-Y-X, and unlike in chess, if one of these sequences is legal, then the other usually is too. This is useful because it restricts the behavior of the L1 norm, and also because it means that we don't need to collect as much data.<br /><br />The other one is that Go doesn't have the same wild behavior as chess; if you're leading by a lot in the endgame, you'll probably win. This makes the norm a better approximation than in the purely abstract case.<br /><br />I could be totally wrong with all this, but these are the thoughts I've had, and there's no point in not sharing them.harrisonhttp://harrisonbrown.wordpress.comnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-31002601935684019672009-08-10T11:04:07.216-05:002009-08-10T11:04:07.216-05:00It is indeed amazing how much computer go programs...It is indeed amazing how much computer go programs improved over the last few years. Especially on small boards (9x9) where the game tree is not very wide they have become very strong.<br /><br />Especially surprising progress was made by <a href="http://www.lri.fr/~teytaud/mogo.html" rel="nofollow">MoGo</a>, a program which, as you write, evaluates a position by finishing the game in a quick manner -- however, saying that they ``have each player play randomly and see who wins'' is actually an oversimplification. It wouldn't work in go either. Instead, MoGo considers the local arrangement of stones and weights the probability of moves according to that, i.e., they do some pattern matching. Some details can be found in the technical report linked from the page above. <br /><br />To me it seems conceivable that a similar strategy could work in chess to evaluate a position. Moves which capture an opponent piece without putting anything in danger would have a very high probability, for example. However, in chess evaluating a position seems less difficult than in go, which is probably why no such tricks are needed. <br /><br />ThomasUnknownhttps://www.blogger.com/profile/14657784432279210575noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-69935600417287243962009-08-10T10:52:31.461-05:002009-08-10T10:52:31.461-05:00I just returned from the US Go Congress and was ab...I just returned from the US Go Congress and was able to watch Myungwan Kim defeat Many Faces of Go live.<br /><br />While I agree that the Monte Carlo methods (i.e. randomly play games and see what happens) have vastly improved the strength of go-playing programs, there are some side effects as well. When it was clear to me (as a 9k) that Kim was going to win, Many Faces began playing obviously bad moves that would only work if Kim did not respond with the obvious good move. My interpretation of this situation is that the percentage of Monte Carlo wins was still high enough to convince Many Faces to play moves that would only aid in a victory were Kim to completely ignore the move (i.e. play the next move at random). From a human perspective, it usually considered an insult to play a losing sequence when both players clearly know that it is a losing sequence. It would be ideal if our AI could be polite in addition to being smart.<br /><br />With respect to chess, I would not discount a Monte Carlo approach so quickly. There are extensive endgame tablebases for chess, so I would stop playing randomly when the current board position has already been solved. I think that this approach would solve the problem that most random chess games would end it a draw.<br /><br />~Tyson WilliamsTyson Diddleyhttps://www.blogger.com/profile/16010423170589014571noreply@blogger.com