uct/walk.c

   1 #include <assert.h>
   2 #include <math.h>
   3 #include <pthread.h>
   4 #include <signal.h>
   5 #include <stdio.h>
   6 #include <stdlib.h>
   7 #include <string.h>
   8
   9 #define DEBUG
  10
  11 #include "debug.h"
  12 #include "board.h"
  13 #include "move.h"
  14 #include "playout.h"
  15 #include "probdist.h"
  16 #include "random.h"
  17 #include "uct/dynkomi.h"
  18 #include "uct/internal.h"
  19 #include "uct/search.h"
  20 #include "uct/tree.h"
  21 #include "uct/uct.h"
  22 #include "uct/walk.h"
  23
  24 #define DESCENT_DLEN 512
  25
  26 void
  27 uct_progress_status(struct uct *u, struct tree *t, enum stone color, int playouts)
  28 {
  29         if (!UDEBUGL(0))
  30                 return;
  31
  32         /* Best move */
  33         struct tree_node *best = u->policy->choose(u->policy, t->root, t->board, color, resign);
  34         if (!best) {
  35                 fprintf(stderr, "... No moves left\n");
  36                 return;
  37         }
  38         fprintf(stderr, "[%d] ", playouts);
  39         fprintf(stderr, "best %f ", tree_node_get_value(t, 1, best->u.value));
  40
  41         /* Dynamic komi */
  42         if (t->use_extra_komi)
  43                 fprintf(stderr, "komi %.1f ", t->extra_komi);
  44
  45         /* Best sequence */
  46         fprintf(stderr, "| seq ");
  47         for (int depth = 0; depth < 4; depth++) {
  48                 if (best && best->u.playouts >= 25) {
  49                         fprintf(stderr, "%3s ", coord2sstr(best->coord, t->board));
  50                         best = u->policy->choose(u->policy, best, t->board, color, resign);
  51                 } else {
  52                         fprintf(stderr, "    ");
  53                 }
  54         }
  55
  56         /* Best candidates */
  57         fprintf(stderr, "| can ");
  58         int cans = 4;
  59         struct tree_node *can[cans];
  60         memset(can, 0, sizeof(can));
  61         best = t->root->children;
  62         while (best) {
  63                 int c = 0;
  64                 while ((!can[c] || best->u.playouts > can[c]->u.playouts) && ++c < cans);
  65                 for (int d = 0; d < c; d++) can[d] = can[d + 1];
  66                 if (c > 0) can[c - 1] = best;
  67                 best = best->sibling;
  68         }
  69         while (--cans >= 0) {
  70                 if (can[cans]) {
  71                         fprintf(stderr, "%3s(%.3f) ",
  72                                 coord2sstr(can[cans]->coord, t->board),
  73                                 tree_node_get_value(t, 1, can[cans]->u.value));
  74                 } else {
  75                         fprintf(stderr, "           ");
  76                 }
  77         }
  78
  79         fprintf(stderr, "\n");
  80 }
  81
  82
  83 static void
  84 record_amaf_move(struct playout_amafmap *amaf, coord_t coord, enum stone color)
  85 {
  86         if (amaf->map[coord] == S_NONE || amaf->map[coord] == color) {
  87                 amaf->map[coord] = color;
  88         } else { // XXX: Respect amaf->record_nakade
  89                 amaf_op(amaf->map[coord], +);
  90         }
  91         amaf->game[amaf->gamelen].coord = coord;
  92         amaf->game[amaf->gamelen].color = color;
  93         amaf->gamelen++;
  94         assert(amaf->gamelen < sizeof(amaf->game) / sizeof(amaf->game[0]));
  95 }
  96
  97
  98 struct uct_playout_callback {
  99         struct uct *uct;
 100         struct tree *tree;
 101         struct tree_node *lnode;
 102 };
 103
 104
 105 static coord_t
 106 uct_playout_hook(struct playout_policy *playout, struct playout_setup *setup, struct board *b, enum stone color, int mode)
 107 {
 108         /* XXX: This is used in some non-master branches. */
 109         return pass;
 110 }
 111
 112 static coord_t
 113 uct_playout_prepolicy(struct playout_policy *playout, struct playout_setup *setup, struct board *b, enum stone color)
 114 {
 115         return uct_playout_hook(playout, setup, b, color, 0);
 116 }
 117
 118 static coord_t
 119 uct_playout_postpolicy(struct playout_policy *playout, struct playout_setup *setup, struct board *b, enum stone color)
 120 {
 121         return uct_playout_hook(playout, setup, b, color, 1);
 122 }
 123
 124
 125 static int
 126 uct_leaf_node(struct uct *u, struct board *b, enum stone player_color,
 127               struct playout_amafmap *amaf,
 128               struct uct_descent *descent, int *dlen,
 129               struct tree_node *significant[2],
 130               struct tree *t, struct tree_node *n, enum stone node_color,
 131               char *spaces)
 132 {
 133         enum stone next_color = stone_other(node_color);
 134         int parity = (next_color == player_color ? 1 : -1);
 135
 136         /* We need to make sure only one thread expands the node. If
 137          * we are unlucky enough for two threads to meet in the same
 138          * node, the latter one will simply do another simulation from
 139          * the node itself, no big deal. t->nodes_size may exceed
 140          * the maximum in multi-threaded case but not by much so it's ok.
 141          * The size test must be before the test&set not after, to allow
 142          * expansion of the node later if enough nodes have been freed. */
 143         if (n->u.playouts >= u->expand_p && t->nodes_size < u->max_tree_size
 144             && !__sync_lock_test_and_set(&n->is_expanded, 1)) {
 145                 tree_expand_node(t, n, b, next_color, u, parity);
 146         }
 147         if (UDEBUGL(7))
 148                 fprintf(stderr, "%s*-- UCT playout #%d start [%s] %f\n",
 149                         spaces, n->u.playouts, coord2sstr(n->coord, t->board),
 150                         tree_node_get_value(t, parity, n->u.value));
 151
 152         struct uct_playout_callback upc = {
 153                 .uct = u,
 154                 .tree = t,
 155                 /* TODO: Don't necessarily restart the sequence walk when
 156                  * entering playout. */
 157                 .lnode = NULL,
 158         };
 159
 160         struct playout_setup ps = {
 161                 .gamelen = u->gamelen,
 162                 .mercymin = u->mercymin,
 163                 .prepolicy_hook = uct_playout_prepolicy,
 164                 .postpolicy_hook = uct_playout_postpolicy,
 165                 .hook_data = &upc,
 166         };
 167         int result = play_random_game(&ps, b, next_color,
 168                                       u->playout_amaf ? amaf : NULL,
 169                                       &u->ownermap, u->playout);
 170         if (next_color == S_WHITE) {
 171                 /* We need the result from black's perspective. */
 172                 result = - result;
 173         }
 174         if (UDEBUGL(7))
 175                 fprintf(stderr, "%s -- [%d..%d] %s random playout result %d\n",
 176                         spaces, player_color, next_color, coord2sstr(n->coord, t->board), result);
 177
 178         return result;
 179 }
 180
 181 static floating_t
 182 scale_value(struct uct *u, struct board *b, int result)
 183 {
 184         floating_t rval = result > 0 ? 1.0 : result < 0 ? 0.0 : 0.5;
 185         if (u->val_scale && result != 0) {
 186                 int vp = u->val_points;
 187                 if (!vp) {
 188                         vp = board_size(b) - 1; vp *= vp; vp *= 2;
 189                 }
 190
 191                 floating_t sval = (floating_t) abs(result) / vp;
 192                 sval = sval > 1 ? 1 : sval;
 193                 if (result < 0) sval = 1 - sval;
 194                 if (u->val_extra)
 195                         rval += u->val_scale * sval;
 196                 else
 197                         rval = (1 - u->val_scale) * rval + u->val_scale * sval;
 198                 // fprintf(stderr, "score %d => sval %f, rval %f\n", result, sval, rval);
 199         }
 200         return rval;
 201 }
 202
 203 static void
 204 record_local_sequence(struct uct *u, struct tree *t,
 205                       struct uct_descent *descent, int dlen, int di,
 206                       enum stone seq_color, floating_t rval, int pval)
 207 {
 208         /* Ignore pass sequences. */
 209         if (is_pass(descent[di].node->coord))
 210                 return;
 211
 212         /* Transform the rval appropriately, based on the expected
 213          * result at the root of the sequence. */
 214         if (u->local_tree_rootseqval) {
 215                 float expval = descent[di - 1].value.value;
 216                 rval = stats_temper_value(rval, expval, u->local_tree);
 217         }
 218
 219 #define LTREE_DEBUG if (UDEBUGL(6))
 220         LTREE_DEBUG fprintf(stderr, "recording result %f in local %s sequence: ",
 221                 rval, stone2str(seq_color));
 222         int di0 = di;
 223
 224         /* Pick the right local tree root... */
 225         struct tree_node *lnode = seq_color == S_BLACK ? t->ltree_black : t->ltree_white;
 226         lnode->u.playouts++;
 227
 228         /* ...and record the sequence. */
 229         while (di < dlen && (di == di0 || descent[di].node->d < u->tenuki_d)) {
 230                 LTREE_DEBUG fprintf(stderr, "%s[%d] ",
 231                         coord2sstr(descent[di].node->coord, t->board),
 232                         descent[di].node->d);
 233                 lnode = tree_get_node(t, lnode, descent[di++].node->coord, true);
 234                 assert(lnode);
 235                 stats_add_result(&lnode->u, rval, pval);
 236         }
 237
 238         /* Add lnode for tenuki (pass) if we descended further. */
 239         if (di < dlen) {
 240                 LTREE_DEBUG fprintf(stderr, "pass ");
 241                 lnode = tree_get_node(t, lnode, pass, true);
 242                 assert(lnode);
 243                 stats_add_result(&lnode->u, rval, pval);
 244         }
 245
 246         LTREE_DEBUG fprintf(stderr, "\n");
 247 }
 248
 249
 250 int
 251 uct_playout(struct uct *u, struct board *b, enum stone player_color, struct tree *t)
 252 {
 253         struct board b2;
 254         board_copy(&b2, b);
 255
 256         struct playout_amafmap *amaf = NULL;
 257         if (u->policy->wants_amaf) {
 258                 amaf = calloc2(1, sizeof(*amaf));
 259                 amaf->map = calloc2(board_size2(&b2) + 1, sizeof(*amaf->map));
 260                 amaf->map++; // -1 is pass
 261         }
 262
 263         /* Walk the tree until we find a leaf, then expand it and do
 264          * a random playout. */
 265         struct tree_node *n = t->root;
 266         enum stone node_color = stone_other(player_color);
 267         assert(node_color == t->root_color);
 268
 269         /* Tree descent history. */
 270         /* XXX: This is somewhat messy since @n and descent[dlen-1].node are
 271          * redundant. */
 272         struct uct_descent descent[DESCENT_DLEN];
 273         descent[0].node = n; descent[0].lnode = NULL;
 274         int dlen = 1;
 275         /* Total value of the sequence. */
 276         struct move_stats seq_value = { .playouts = 0 };
 277         /* The last "significant" node along the descent (i.e. node
 278          * with higher than configured number of playouts). For black
 279          * and white. */
 280         struct tree_node *significant[2] = { NULL, NULL };
 281         if (n->u.playouts >= u->significant_threshold)
 282                 significant[node_color - 1] = n;
 283
 284         int result;
 285         int pass_limit = (board_size(&b2) - 2) * (board_size(&b2) - 2) / 2;
 286         int passes = is_pass(b->last_move.coord) && b->moves > 0;
 287
 288         /* debug */
 289         int depth = 0;
 290         static char spaces[] = "\0                                                      ";
 291         /* /debug */
 292         if (UDEBUGL(8))
 293                 fprintf(stderr, "--- UCT walk with color %d\n", player_color);
 294
 295         while (!tree_leaf_node(n) && passes < 2) {
 296                 spaces[depth++] = ' '; spaces[depth] = 0;
 297
 298
 299                 /*** Choose a node to descend to: */
 300
 301                 /* Parity is chosen already according to the child color, since
 302                  * it is applied to children. */
 303                 node_color = stone_other(node_color);
 304                 int parity = (node_color == player_color ? 1 : -1);
 305
 306                 assert(dlen < DESCENT_DLEN);
 307                 descent[dlen] = descent[dlen - 1];
 308                 if (u->local_tree && (!descent[dlen].lnode || descent[dlen].node->d >= u->tenuki_d)) {
 309                         /* Start new local sequence. */
 310                         /* Remember that node_color already holds color of the
 311                          * to-be-found child. */
 312                         descent[dlen].lnode = node_color == S_BLACK ? t->ltree_black : t->ltree_white;
 313                 }
 314
 315                 if (!u->random_policy_chance || fast_random(u->random_policy_chance))
 316                         u->policy->descend(u->policy, t, &descent[dlen], parity, b2.moves > pass_limit);
 317                 else
 318                         u->random_policy->descend(u->random_policy, t, &descent[dlen], parity, b2.moves > pass_limit);
 319
 320
 321                 /*** Perform the descent: */
 322
 323                 if (descent[dlen].node->u.playouts >= u->significant_threshold) {
 324                         significant[node_color - 1] = descent[dlen].node;
 325                 }
 326
 327                 seq_value.playouts += descent[dlen].value.playouts;
 328                 seq_value.value += descent[dlen].value.value * descent[dlen].value.playouts;
 329                 n = descent[dlen++].node;
 330                 assert(n == t->root || n->parent);
 331                 if (UDEBUGL(7))
 332                         fprintf(stderr, "%s+-- UCT sent us to [%s:%d] %d,%f\n",
 333                                 spaces, coord2sstr(n->coord, t->board),
 334                                 n->coord, n->u.playouts,
 335                                 tree_node_get_value(t, parity, n->u.value));
 336
 337                 /* Add virtual loss if we need to; this is used to discourage
 338                  * other threads from visiting this node in case of multiple
 339                  * threads doing the tree search. */
 340                 if (u->virtual_loss)
 341                         stats_add_result(&n->u, node_color == S_BLACK ? 0.0 : 1.0, u->virtual_loss);
 342
 343                 assert(n->coord >= -1);
 344                 if (amaf && !is_pass(n->coord))
 345                         record_amaf_move(amaf, n->coord, node_color);
 346
 347                 struct move m = { n->coord, node_color };
 348                 int res = board_play(&b2, &m);
 349
 350                 if (res < 0 || (!is_pass(m.coord) && !group_at(&b2, m.coord)) /* suicide */
 351                     || b2.superko_violation) {
 352                         if (UDEBUGL(4)) {
 353                                 for (struct tree_node *ni = n; ni; ni = ni->parent)
 354                                         fprintf(stderr, "%s<%"PRIhash"> ", coord2sstr(ni->coord, t->board), ni->hash);
 355                                 fprintf(stderr, "marking invalid %s node %d,%d res %d group %d spk %d\n",
 356                                         stone2str(node_color), coord_x(n->coord,b), coord_y(n->coord,b),
 357                                         res, group_at(&b2, m.coord), b2.superko_violation);
 358                         }
 359                         n->hints |= TREE_HINT_INVALID;
 360                         result = 0;
 361                         goto end;
 362                 }
 363
 364                 if (is_pass(n->coord))
 365                         passes++;
 366                 else
 367                         passes = 0;
 368         }
 369
 370         if (amaf) {
 371                 amaf->game_baselen = amaf->gamelen;
 372                 amaf->record_nakade = u->playout_amaf_nakade;
 373         }
 374
 375         if (t->use_extra_komi && u->dynkomi->persim) {
 376                 b2.komi += round(u->dynkomi->persim(u->dynkomi, &b2, t, n));
 377         }
 378
 379         if (passes >= 2) {
 380                 /* XXX: No dead groups support. */
 381                 floating_t score = board_official_score(&b2, NULL);
 382                 /* Result from black's perspective (no matter who
 383                  * the player; black's perspective is always
 384                  * what the tree stores. */
 385                 result = - (score * 2);
 386
 387                 if (UDEBUGL(5))
 388                         fprintf(stderr, "[%d..%d] %s p-p scoring playout result %d (W %f)\n",
 389                                 player_color, node_color, coord2sstr(n->coord, t->board), result, score);
 390                 if (UDEBUGL(6))
 391                         board_print(&b2, stderr);
 392
 393                 board_ownermap_fill(&u->ownermap, &b2);
 394
 395         } else { // assert(tree_leaf_node(n));
 396                 /* In case of parallel tree search, the assertion might
 397                  * not hold if two threads chew on the same node. */
 398                 result = uct_leaf_node(u, &b2, player_color, amaf, descent, &dlen, significant, t, n, node_color, spaces);
 399         }
 400
 401         if (amaf && u->playout_amaf_cutoff) {
 402                 unsigned int cutoff = amaf->game_baselen;
 403                 cutoff += (amaf->gamelen - amaf->game_baselen) * u->playout_amaf_cutoff / 100;
 404                 /* Now, reconstruct the amaf map. */
 405                 memset(amaf->map, 0, board_size2(&b2) * sizeof(*amaf->map));
 406                 for (unsigned int i = 0; i < cutoff; i++) {
 407                         coord_t coord = amaf->game[i].coord;
 408                         enum stone color = amaf->game[i].color;
 409                         if (amaf->map[coord] == S_NONE || amaf->map[coord] == color) {
 410                                 amaf->map[coord] = color;
 411                         /* Nakade always recorded for in-tree part */
 412                         } else if (amaf->record_nakade || i <= amaf->game_baselen) {
 413                                 amaf_op(amaf->map[n->coord], +);
 414                         }
 415                 }
 416         }
 417
 418         /* Record the result. */
 419
 420         assert(n == t->root || n->parent);
 421         floating_t rval = scale_value(u, b, result);
 422         u->policy->update(u->policy, t, n, node_color, player_color, amaf, rval);
 423
 424         int pval = LTREE_PLAYOUTS_MULTIPLIER;
 425         if (u->local_tree && u->local_tree_depth_decay > 0)
 426                 pval = ((floating_t) pval) / pow(u->local_tree_depth_decay, depth);
 427
 428         if (t->use_extra_komi) {
 429                 stats_add_result(&u->dynkomi->score, result / 2, 1);
 430                 stats_add_result(&u->dynkomi->value, rval, 1);
 431         }
 432
 433         if (u->local_tree && n->parent && !is_pass(n->coord) && dlen > 0) {
 434                 /* Possibly transform the rval appropriately. */
 435                 if (!u->local_tree_rootseqval) {
 436                         floating_t expval = seq_value.value / seq_value.playouts;
 437                         rval = stats_temper_value(rval, expval, u->local_tree);
 438                 }
 439
 440                 /* Get the local sequences and record them in ltree. */
 441                 /* We will look for sequence starts in our descent
 442                  * history, then run record_local_sequence() for each
 443                  * found sequence start; record_local_sequence() may
 444                  * pick longer sequences from descent history then,
 445                  * which is expected as it will create new lnodes. */
 446                 enum stone seq_color = player_color;
 447                 /* First move always starts a sequence. */
 448                 record_local_sequence(u, t, descent, dlen, 1, seq_color, rval, pval);
 449                 seq_color = stone_other(seq_color);
 450                 for (int dseqi = 2; dseqi < dlen; dseqi++, seq_color = stone_other(seq_color)) {
 451                         if (u->local_tree_allseq) {
 452                                 /* We are configured to record all subsequences. */
 453                                 record_local_sequence(u, t, descent, dlen, dseqi, seq_color, rval, pval);
 454                                 continue;
 455                         }
 456                         if (descent[dseqi].node->d >= u->tenuki_d) {
 457                                 /* Tenuki! Record the fresh sequence. */
 458                                 record_local_sequence(u, t, descent, dlen, dseqi, seq_color, rval, pval);
 459                                 continue;
 460                         }
 461                         if (descent[dseqi].lnode && !descent[dseqi].lnode) {
 462                                 /* Record result for in-descent picked sequence. */
 463                                 record_local_sequence(u, t, descent, dlen, dseqi, seq_color, rval, pval);
 464                                 continue;
 465                         }
 466                 }
 467         }
 468
 469 end:
 470         /* We need to undo the virtual loss we added during descend. */
 471         if (u->virtual_loss) {
 472                 floating_t loss = node_color == S_BLACK ? 0.0 : 1.0;
 473                 for (; n->parent; n = n->parent) {
 474                         stats_rm_result(&n->u, loss, u->virtual_loss);
 475                         loss = 1.0 - loss;
 476                 }
 477         }
 478
 479         if (amaf) {
 480                 free(amaf->map - 1);
 481                 free(amaf);
 482         }
 483         board_done_noalloc(&b2);
 484         return result;
 485 }
 486
 487 int
 488 uct_playouts(struct uct *u, struct board *b, enum stone color, struct tree *t, struct time_info *ti)
 489 {
 490         int i;
 491         if (ti && ti->dim == TD_GAMES) {
 492                 for (i = 0; t->root->u.playouts <= ti->len.games; i++)
 493                         uct_playout(u, b, color, t);
 494         } else {
 495                 for (i = 0; !uct_halt; i++)
 496                         uct_playout(u, b, color, t);
 497         }
 498         return i;
 499 }