UCT tree_node_dump(): Show number of children for each node
[pachi.git] / board.c
blobff655034d140a288dc6ef7e7efbef0f41ab6a935
1 #include <alloca.h>
2 #include <assert.h>
3 #include <stdio.h>
4 #include <stdlib.h>
5 #include <string.h>
7 #include "board.h"
8 #include "debug.h"
9 #include "random.h"
11 int board_group_capture(struct board *board, group_t group);
13 bool random_pass = false;
16 #if 0
17 #define profiling_noinline __attribute__((noinline))
18 #else
19 #define profiling_noinline
20 #endif
22 #define gi_granularity 4
23 #define gi_allocsize(gids) ((1 << gi_granularity) + ((gids) >> gi_granularity) * (1 << gi_granularity))
26 static void
27 board_setup(struct board *b)
29 memset(b, 0, sizeof(*b));
31 struct move m = { pass, S_NONE };
32 b->last_move = b->ko = m;
35 struct board *
36 board_init(void)
38 struct board *b = malloc(sizeof(struct board));
39 board_setup(b);
40 return b;
43 struct board *
44 board_copy(struct board *b2, struct board *b1)
46 memcpy(b2, b1, sizeof(struct board));
48 int bsize = board_size2(b2) * sizeof(*b2->b);
49 int gsize = board_size2(b2) * sizeof(*b2->g);
50 int fsize = board_size2(b2) * sizeof(*b2->f);
51 int nsize = board_size2(b2) * sizeof(*b2->n);
52 int psize = board_size2(b2) * sizeof(*b2->p);
53 int hsize = board_size2(b2) * 2 * sizeof(*b2->h);
54 int gisize = board_size2(b2) * sizeof(*b2->gi);
55 #ifdef WANT_BOARD_C
56 int csize = board_size2(b2) * sizeof(*b2->c);
57 #else
58 int csize = 0;
59 #endif
60 void *x = malloc(bsize + gsize + fsize + psize + nsize + hsize + gisize + csize);
61 memcpy(x, b1->b, bsize + gsize + fsize + psize + nsize + hsize + gisize + csize);
62 b2->b = x; x += bsize;
63 b2->g = x; x += gsize;
64 b2->f = x; x += fsize;
65 b2->p = x; x += psize;
66 b2->n = x; x += nsize;
67 b2->h = x; x += hsize;
68 b2->gi = x; x += gisize;
69 #ifdef WANT_BOARD_C
70 b2->c = x; x += csize;
71 #endif
73 return b2;
76 void
77 board_done_noalloc(struct board *board)
79 if (board->b) free(board->b);
82 void
83 board_done(struct board *board)
85 board_done_noalloc(board);
86 free(board);
89 void
90 board_resize(struct board *board, int size)
92 #ifdef BOARD_SIZE
93 assert(board_size(board) == size + 2);
94 #else
95 board_size(board) = size + 2 /* S_OFFBOARD margin */;
96 board_size2(board) = board_size(board) * board_size(board);
97 #endif
98 if (board->b)
99 free(board->b);
101 int bsize = board_size2(board) * sizeof(*board->b);
102 int gsize = board_size2(board) * sizeof(*board->g);
103 int fsize = board_size2(board) * sizeof(*board->f);
104 int nsize = board_size2(board) * sizeof(*board->n);
105 int psize = board_size2(board) * sizeof(*board->p);
106 int hsize = board_size2(board) * 2 * sizeof(*board->h);
107 int gisize = board_size2(board) * sizeof(*board->gi);
108 #ifdef WANT_BOARD_C
109 int csize = board_size2(board) * sizeof(*board->c);
110 #else
111 int csize = 0;
112 #endif
113 void *x = malloc(bsize + gsize + fsize + psize + nsize + hsize + gisize + csize);
114 memset(x, 0, bsize + gsize + fsize + psize + nsize + hsize + gisize + csize);
115 board->b = x; x += bsize;
116 board->g = x; x += gsize;
117 board->f = x; x += fsize;
118 board->p = x; x += psize;
119 board->n = x; x += nsize;
120 board->h = x; x += hsize;
121 board->gi = x; x += gisize;
122 #ifdef WANT_BOARD_C
123 board->c = x; x += csize;
124 #endif
127 void
128 board_clear(struct board *board)
130 int size = board_size(board);
132 board_done_noalloc(board);
133 board_setup(board);
134 board_resize(board, size - 2 /* S_OFFBOARD margin */);
136 /* Draw the offboard margin */
137 int top_row = board_size2(board) - board_size(board);
138 int i;
139 for (i = 0; i < board_size(board); i++)
140 board->b[i] = board->b[top_row + i] = S_OFFBOARD;
141 for (i = 0; i <= top_row; i += board_size(board))
142 board->b[i] = board->b[board_size(board) - 1 + i] = S_OFFBOARD;
144 foreach_point(board) {
145 coord_t coord = c;
146 if (board_at(board, coord) == S_OFFBOARD)
147 continue;
148 foreach_neighbor(board, c, {
149 inc_neighbor_count_at(board, coord, board_at(board, c));
150 } );
151 } foreach_point_end;
153 /* First, pass is always a free position. */
154 board->f[board->flen++] = coord_raw(pass);
155 /* All positions are free! Except the margin. */
156 for (i = board_size(board); i < (board_size(board) - 1) * board_size(board); i++)
157 if (i % board_size(board) != 0 && i % board_size(board) != board_size(board) - 1)
158 board->f[board->flen++] = i;
160 /* Initialize zobrist hashtable. */
161 foreach_point(board) {
162 int max = (sizeof(hash_t) << history_hash_bits);
163 /* fast_random() is 16-bit only */
164 board->h[coord_raw(c) * 2] = ((hash_t) fast_random(max))
165 | ((hash_t) fast_random(max) << 16)
166 | ((hash_t) fast_random(max) << 32)
167 | ((hash_t) fast_random(max) << 48);
168 if (!board->h[coord_raw(c) * 2])
169 /* Would be kinda "oops". */
170 board->h[coord_raw(c) * 2] = 1;
171 /* And once again for white */
172 board->h[coord_raw(c) * 2 + 1] = ((hash_t) fast_random(max))
173 | ((hash_t) fast_random(max) << 16)
174 | ((hash_t) fast_random(max) << 32)
175 | ((hash_t) fast_random(max) << 48);
176 if (!board->h[coord_raw(c) * 2 + 1])
177 board->h[coord_raw(c) * 2 + 1] = 1;
178 } foreach_point_end;
182 void
183 board_print(struct board *board, FILE *f)
185 fprintf(f, "Move: % 3d Komi: %2.1f Captures B: %d W: %d\n ",
186 board->moves, board->komi,
187 board->captures[S_BLACK], board->captures[S_WHITE]);
188 int x, y;
189 char asdf[] = "ABCDEFGHJKLMNOPQRSTUVWXYZ";
190 for (x = 1; x < board_size(board) - 1; x++)
191 fprintf(f, "%c ", asdf[x - 1]);
192 fprintf(f, "\n +-");
193 for (x = 1; x < board_size(board) - 1; x++)
194 fprintf(f, "--");
195 fprintf(f, "+\n");
196 for (y = board_size(board) - 2; y >= 1; y--) {
197 fprintf(f, "%2d | ", y);
198 for (x = 1; x < board_size(board) - 1; x++) {
199 if (coord_x(board->last_move.coord, board) == x && coord_y(board->last_move.coord, board) == y)
200 fprintf(f, "%c)", stone2char(board_atxy(board, x, y)));
201 else
202 fprintf(f, "%c ", stone2char(board_atxy(board, x, y)));
204 if (DEBUGL(6)) {
205 fprintf(f, "| ");
206 for (x = 1; x < board_size(board) - 1; x++) {
207 fprintf(f, "%d ", group_base(group_atxy(board, x, y)));
210 fprintf(f, "|\n");
212 fprintf(f, " +-");
213 for (x = 1; x < board_size(board) - 1; x++)
214 fprintf(f, "--");
215 fprintf(f, "+\n\n");
219 /* Update board hash with given coordinate. */
220 static void profiling_noinline
221 board_hash_update(struct board *board, coord_t coord, enum stone color)
223 board->hash ^= hash_at(board, coord, color);
224 if (DEBUGL(8))
225 fprintf(stderr, "board_hash_update(%d,%d,%d) ^ %llx -> %llx\n", color, coord_x(coord, board), coord_y(coord, board), hash_at(board, coord, color), board->hash);
228 /* Commit current board hash to history. */
229 static void profiling_noinline
230 board_hash_commit(struct board *board)
232 if (DEBUGL(8))
233 fprintf(stderr, "board_hash_commit %llx\n", board->hash);
234 if (likely(board->history_hash[board->hash & history_hash_mask]) == 0) {
235 board->history_hash[board->hash & history_hash_mask] = board->hash;
236 } else {
237 hash_t i = board->hash;
238 while (board->history_hash[i & history_hash_mask]) {
239 if (board->history_hash[i & history_hash_mask] == board->hash) {
240 if (DEBUGL(5))
241 fprintf(stderr, "SUPERKO VIOLATION noted at %d,%d\n",
242 coord_x(board->last_move.coord, board), coord_y(board->last_move.coord, board));
243 board->superko_violation = true;
244 return;
246 i = history_hash_next(i);
248 board->history_hash[i & history_hash_mask] = board->hash;
253 void
254 board_handicap_stone(struct board *board, int x, int y, FILE *f)
256 struct move m;
257 m.color = S_BLACK;
258 coord_xy(m.coord, x, y, board);
260 board_play(board, &m);
262 char *str = coord2str(m.coord, board);
263 if (DEBUGL(1))
264 fprintf(stderr, "choosing handicap %s (%d,%d)\n", str, x, y);
265 fprintf(f, "%s ", str);
266 free(str);
269 void
270 board_handicap(struct board *board, int stones, FILE *f)
272 int margin = 3 + (board_size(board) >= 13);
273 int min = margin;
274 int mid = board_size(board) / 2;
275 int max = board_size(board) - 1 - margin;
276 const int places[][2] = {
277 { min, min }, { max, max }, { max, min }, { min, max },
278 { min, mid }, { max, mid },
279 { mid, min }, { mid, max },
280 { mid, mid },
283 board->handicap = stones;
285 if (stones == 5 || stones == 7) {
286 board_handicap_stone(board, mid, mid, f);
287 stones--;
290 int i;
291 for (i = 0; i < stones; i++)
292 board_handicap_stone(board, places[i][0], places[i][1], f);
296 static void __attribute__((noinline))
297 check_libs_consistency(struct board *board, group_t g)
299 #ifdef DEBUG
300 if (!g) return;
301 struct group *gi = &board_group_info(board, g);
302 for (int i = 0; i < GROUP_KEEP_LIBS; i++)
303 if (gi->lib[i] && board_at(board, gi->lib[i]) != S_NONE) {
304 fprintf(stderr, "BOGUS LIBERTY %s of group %d[%s]\n", coord2sstr(gi->lib[i], board), g, coord2sstr(group_base(g), board));
305 assert(0);
307 #endif
310 static void
311 board_capturable_add(struct board *board, group_t group)
313 #ifdef WANT_BOARD_C
314 //fprintf(stderr, "add of group %d (%d)\n", group_base(group), board->clen);
315 assert(group);
316 assert(board->clen < board_size2(board));
317 board->c[board->clen++] = group;
318 #endif
320 static void
321 board_capturable_rm(struct board *board, group_t group)
323 #ifdef WANT_BOARD_C
324 //fprintf(stderr, "rm of group %d\n", group_base(group));
325 for (int i = 0; i < board->clen; i++) {
326 if (unlikely(board->c[i] == group)) {
327 board->c[i] = board->c[--board->clen];
328 return;
331 fprintf(stderr, "rm of bad group %d\n", group_base(group));
332 assert(0);
333 #endif
336 static void
337 board_group_addlib(struct board *board, group_t group, coord_t coord)
339 if (DEBUGL(7)) {
340 fprintf(stderr, "Group %d[%s] %d: Adding liberty %s\n",
341 group_base(group), coord2sstr(group_base(group), board),
342 board_group_info(board, group).libs, coord2sstr(coord, board));
345 check_libs_consistency(board, group);
347 struct group *gi = &board_group_info(board, group);
348 if (gi->libs < GROUP_KEEP_LIBS) {
349 for (int i = 0; i < GROUP_KEEP_LIBS; i++) {
350 #if 0
351 /* Seems extra branch just slows it down */
352 if (!gi->lib[i])
353 break;
354 #endif
355 if (unlikely(gi->lib[i] == coord))
356 return;
358 if (gi->libs == 0)
359 board_capturable_add(board, group);
360 else if (gi->libs == 1)
361 board_capturable_rm(board, group);
362 gi->lib[gi->libs++] = coord;
365 check_libs_consistency(board, group);
368 static void
369 board_group_find_extra_libs(struct board *board, group_t group, struct group *gi, coord_t avoid)
371 /* Add extra liberty from the board to our liberty list. */
372 enum stone watermark[board_size2(board)];
373 memcpy(watermark, board->b, sizeof(watermark));
375 for (int i = 0; i < GROUP_KEEP_LIBS - 1; i++)
376 watermark[coord_raw(gi->lib[i])] = S_OFFBOARD;
377 watermark[coord_raw(avoid)] = S_OFFBOARD;
379 foreach_in_group(board, group) {
380 coord_t coord2 = c;
381 foreach_neighbor(board, coord2, {
382 if (likely(watermark[coord_raw(c)] != S_NONE))
383 continue;
384 watermark[coord_raw(c)] = S_OFFBOARD;
385 gi->lib[gi->libs++] = c;
386 if (unlikely(gi->libs >= GROUP_KEEP_LIBS))
387 return;
388 } );
389 } foreach_in_group_end;
392 static void
393 board_group_rmlib(struct board *board, group_t group, coord_t coord)
395 if (DEBUGL(7)) {
396 fprintf(stderr, "Group %d[%s] %d: Removing liberty %s\n",
397 group_base(group), coord2sstr(group_base(group), board),
398 board_group_info(board, group).libs, coord2sstr(coord, board));
401 struct group *gi = &board_group_info(board, group);
402 for (int i = 0; i < GROUP_KEEP_LIBS; i++) {
403 #if 0
404 /* Seems extra branch just slows it down */
405 if (!gi->lib[i])
406 break;
407 #endif
408 if (likely(gi->lib[i] != coord))
409 continue;
411 gi->lib[i] = gi->lib[--gi->libs];
412 gi->lib[gi->libs] = 0;
414 check_libs_consistency(board, group);
416 /* Postpone refilling lib[] until we need to. */
417 assert(GROUP_REFILL_LIBS > 1);
418 if (gi->libs > GROUP_REFILL_LIBS)
419 return;
420 if (gi->libs == GROUP_REFILL_LIBS)
421 board_group_find_extra_libs(board, group, gi, coord);
423 if (gi->libs == 1)
424 board_capturable_add(board, group);
425 else if (gi->libs == 0)
426 board_capturable_rm(board, group);
427 return;
430 /* This is ok even if gi->libs < GROUP_KEEP_LIBS since we
431 * can call this multiple times per coord. */
432 check_libs_consistency(board, group);
433 return;
437 /* This is a low-level routine that doesn't maintain consistency
438 * of all the board data structures. Use board_group_capture() from
439 * your code. */
440 static void
441 board_remove_stone(struct board *board, coord_t c)
443 enum stone color = board_at(board, c);
444 board_at(board, c) = S_NONE;
445 group_at(board, c) = 0;
446 board_hash_update(board, c, color);
448 /* Increase liberties of surrounding groups */
449 coord_t coord = c;
450 foreach_neighbor(board, coord, {
451 dec_neighbor_count_at(board, c, color);
452 group_t g = group_at(board, c);
453 if (g)
454 board_group_addlib(board, g, coord);
457 if (DEBUGL(6))
458 fprintf(stderr, "pushing free move [%d]: %d,%d\n", board->flen, coord_x(c, board), coord_y(c, board));
459 board->f[board->flen++] = coord_raw(c);
463 static void profiling_noinline
464 add_to_group(struct board *board, group_t group, coord_t prevstone, coord_t coord)
466 foreach_neighbor(board, coord, {
467 if (board_at(board, c) == S_NONE)
468 board_group_addlib(board, group, c);
471 group_at(board, coord) = group;
472 groupnext_at(board, coord) = groupnext_at(board, prevstone);
473 groupnext_at(board, prevstone) = coord_raw(coord);
475 if (DEBUGL(8))
476 fprintf(stderr, "add_to_group: added (%d,%d ->) %d,%d (-> %d,%d) to group %d\n",
477 coord_x(prevstone, board), coord_y(prevstone, board),
478 coord_x(coord, board), coord_y(coord, board),
479 groupnext_at(board, coord) % board_size(board), groupnext_at(board, coord) / board_size(board),
480 group_base(group));
483 static void profiling_noinline
484 merge_groups(struct board *board, group_t group_to, group_t group_from)
486 if (DEBUGL(7))
487 fprintf(stderr, "board_play_raw: merging groups %d -> %d\n",
488 group_base(group_from), group_base(group_to));
490 coord_t last_in_group;
491 foreach_in_group(board, group_from) {
492 last_in_group = c;
493 group_at(board, c) = group_to;
494 } foreach_in_group_end;
495 groupnext_at(board, last_in_group) = groupnext_at(board, group_base(group_to));
496 groupnext_at(board, group_base(group_to)) = group_base(group_from);
498 struct group *gi_from = &board_group_info(board, group_from);
499 struct group *gi_to = &board_group_info(board, group_to);
500 if (gi_to->libs < GROUP_KEEP_LIBS) {
501 for (int i = 0; i < gi_from->libs; i++) {
502 for (int j = 0; j < gi_to->libs; j++)
503 if (gi_to->lib[j] == gi_from->lib[i])
504 goto next_from_lib;
505 if (gi_to->libs == 0)
506 board_capturable_add(board, group_to);
507 else if (gi_to->libs == 1)
508 board_capturable_rm(board, group_to);
509 gi_to->lib[gi_to->libs++] = gi_from->lib[i];
510 if (gi_to->libs >= GROUP_KEEP_LIBS)
511 break;
512 next_from_lib:;
516 if (gi_from->libs == 1)
517 board_capturable_rm(board, group_from);
518 memset(gi_from, 0, sizeof(struct group));
520 if (DEBUGL(7))
521 fprintf(stderr, "board_play_raw: merged group: %d\n",
522 group_base(group_to));
525 static group_t profiling_noinline
526 new_group(struct board *board, coord_t coord)
528 group_t group = coord_raw(coord);
529 struct group *gi = &board_group_info(board, group);
530 foreach_neighbor(board, coord, {
531 if (board_at(board, c) == S_NONE)
532 /* board_group_addlib is ridiculously expensive for us */
533 #if GROUP_KEEP_LIBS < 4
534 if (gi->libs < GROUP_KEEP_LIBS)
535 #endif
536 gi->lib[gi->libs++] = c;
538 if (gi->libs == 1)
539 board_capturable_add(board, group);
540 check_libs_consistency(board, group);
542 group_at(board, coord) = group;
543 groupnext_at(board, coord) = 0;
545 if (DEBUGL(8))
546 fprintf(stderr, "new_group: added %d,%d to group %d\n",
547 coord_x(coord, board), coord_y(coord, board),
548 group_base(group));
550 return group;
553 static inline group_t
554 play_one_neighbor(struct board *board,
555 coord_t coord, enum stone color, enum stone other_color,
556 coord_t c, group_t group)
558 enum stone ncolor = board_at(board, c);
559 group_t ngroup = group_at(board, c);
561 inc_neighbor_count_at(board, c, color);
563 if (!ngroup)
564 return group;
566 board_group_rmlib(board, ngroup, coord);
567 if (DEBUGL(7))
568 fprintf(stderr, "board_play_raw: reducing libs for group %d (%d:%d,%d)\n",
569 group_base(ngroup), ncolor, color, other_color);
571 if (ncolor == color && ngroup != group) {
572 if (!group) {
573 group = ngroup;
574 add_to_group(board, group, c, coord);
575 } else {
576 merge_groups(board, group, ngroup);
578 } else if (ncolor == other_color) {
579 if (DEBUGL(8)) {
580 struct group *gi = &board_group_info(board, ngroup);
581 fprintf(stderr, "testing captured group %d[%s]: ", group_base(ngroup), coord2sstr(group_base(ngroup), board));
582 for (int i = 0; i < GROUP_KEEP_LIBS; i++)
583 fprintf(stderr, "%s ", coord2sstr(gi->lib[i], board));
584 fprintf(stderr, "\n");
586 if (unlikely(board_group_captured(board, ngroup)))
587 board_group_capture(board, ngroup);
589 return group;
592 /* We played on a place with at least one liberty. We will become a member of
593 * some group for sure. */
594 static group_t profiling_noinline
595 board_play_outside(struct board *board, struct move *m, int f)
597 coord_t coord = m->coord;
598 enum stone color = m->color;
599 enum stone other_color = stone_other(color);
600 group_t group = 0;
602 board->f[f] = board->f[--board->flen];
603 if (DEBUGL(6))
604 fprintf(stderr, "popping free move [%d->%d]: %d\n", board->flen, f, board->f[f]);
606 foreach_neighbor(board, coord, {
607 group = play_one_neighbor(board, coord, color, other_color, c, group);
610 if (unlikely(!group))
611 group = new_group(board, coord);
613 board_at(board, coord) = color;
614 board->last_move = *m;
615 board->moves++;
616 board_hash_update(board, coord, color);
617 struct move ko = { pass, S_NONE };
618 board->ko = ko;
620 return group;
623 /* We played in an eye-like shape. Either we capture at least one of the eye
624 * sides in the process of playing, or return -1. */
625 static int profiling_noinline
626 board_play_in_eye(struct board *board, struct move *m, int f)
628 coord_t coord = m->coord;
629 enum stone color = m->color;
630 /* Check ko: Capture at a position of ko capture one move ago */
631 if (unlikely(color == board->ko.color && coord_eq(coord, board->ko.coord))) {
632 if (DEBUGL(5))
633 fprintf(stderr, "board_check: ko at %d,%d color %d\n", coord_x(coord, board), coord_y(coord, board), color);
634 return -1;
635 } else if (DEBUGL(6)) {
636 fprintf(stderr, "board_check: no ko at %d,%d,%d - ko is %d,%d,%d\n",
637 color, coord_x(coord, board), coord_y(coord, board),
638 board->ko.color, coord_x(board->ko.coord, board), coord_y(board->ko.coord, board));
641 struct move ko = { pass, S_NONE };
643 int captured_groups = 0;
645 foreach_neighbor(board, coord, {
646 group_t g = group_at(board, c);
647 if (DEBUGL(7))
648 fprintf(stderr, "board_check: group %d has %d libs\n",
649 g, board_group_info(board, g).libs);
650 captured_groups += (board_group_info(board, g).libs == 1);
653 if (likely(captured_groups == 0)) {
654 if (DEBUGL(5)) {
655 if (DEBUGL(6))
656 board_print(board, stderr);
657 fprintf(stderr, "board_check: one-stone suicide\n");
660 return -1;
663 board->f[f] = board->f[--board->flen];
664 if (DEBUGL(6))
665 fprintf(stderr, "popping free move [%d->%d]: %d\n", board->flen, f, board->f[f]);
667 foreach_neighbor(board, coord, {
668 inc_neighbor_count_at(board, c, color);
670 group_t group = group_at(board, c);
671 if (!group)
672 continue;
674 board_group_rmlib(board, group, coord);
675 if (DEBUGL(7))
676 fprintf(stderr, "board_play_raw: reducing libs for group %d\n",
677 group_base(group));
679 if (board_group_captured(board, group)) {
680 if (board_group_capture(board, group) == 1) {
681 /* If we captured multiple groups at once,
682 * we can't be fighting ko so we don't need
683 * to check for that. */
684 ko.color = stone_other(color);
685 ko.coord = c;
686 if (DEBUGL(5))
687 fprintf(stderr, "guarding ko at %d,%d,%d\n", ko.color, coord_x(ko.coord, board), coord_y(ko.coord, board));
692 board_at(board, coord) = color;
694 board->last_move = *m;
695 board->moves++;
696 board_hash_update(board, coord, color);
697 board_hash_commit(board);
698 board->ko = ko;
700 return !!new_group(board, coord);
703 static int __attribute__((flatten))
704 board_play_f(struct board *board, struct move *m, int f)
706 if (DEBUGL(7)) {
707 fprintf(stderr, "board_play(): ---- Playing %d,%d\n", coord_x(m->coord, board), coord_y(m->coord, board));
709 if (likely(!board_is_eyelike(board, &m->coord, stone_other(m->color)))) {
710 /* NOT playing in an eye. Thus this move has to succeed. (This
711 * is thanks to New Zealand rules. Otherwise, multi-stone
712 * suicide might fail.) */
713 group_t group = board_play_outside(board, m, f);
714 if (unlikely(board_group_captured(board, group))) {
715 board_group_capture(board, group);
717 board_hash_commit(board);
718 return 0;
719 } else {
720 return board_play_in_eye(board, m, f);
725 board_play(struct board *board, struct move *m)
727 if (unlikely(is_pass(m->coord) || is_resign(m->coord))) {
728 board->last_move = *m;
729 return 0;
732 int f;
733 for (f = 0; f < board->flen; f++)
734 if (board->f[f] == coord_raw(m->coord))
735 return board_play_f(board, m, f);
737 if (DEBUGL(7))
738 fprintf(stderr, "board_check: stone exists\n");
739 return -1;
743 static inline bool
744 board_try_random_move(struct board *b, enum stone color, coord_t *coord, int f)
746 coord_raw(*coord) = b->f[f];
747 if (unlikely(is_pass(*coord)))
748 return random_pass;
749 struct move m = { *coord, color };
750 if (DEBUGL(6))
751 fprintf(stderr, "trying random move %d: %d,%d\n", f, coord_x(*coord, b), coord_y(*coord, b));
752 return (likely(!board_is_one_point_eye(b, coord, color)) /* bad idea to play into one, usually */
753 && likely(board_play_f(b, &m, f) >= 0));
756 void
757 board_play_random(struct board *b, enum stone color, coord_t *coord)
759 int base = fast_random(b->flen);
760 coord_pos(*coord, base, b);
761 if (likely(board_try_random_move(b, color, coord, base)))
762 return;
764 int f;
765 for (f = base + 1; f < b->flen; f++)
766 if (board_try_random_move(b, color, coord, f))
767 return;
768 for (f = 0; f < base; f++)
769 if (board_try_random_move(b, color, coord, f))
770 return;
772 *coord = pass;
776 bool
777 board_is_eyelike(struct board *board, coord_t *coord, enum stone eye_color)
779 return (neighbor_count_at(board, *coord, eye_color) + neighbor_count_at(board, *coord, S_OFFBOARD)) == 4;
782 bool
783 board_is_one_point_eye(struct board *board, coord_t *coord, enum stone eye_color)
785 enum stone color_diag_libs[S_MAX] = {0, 0, 0, 0};
787 if (likely(neighbor_count_at(board, *coord, eye_color) + neighbor_count_at(board, *coord, S_OFFBOARD) < 4)) {
788 return false;
791 /* XXX: We attempt false eye detection but we will yield false
792 * positives in case of http://senseis.xmp.net/?TwoHeadedDragon :-( */
794 foreach_diag_neighbor(board, *coord) {
795 color_diag_libs[(enum stone) board_at(board, c)]++;
796 } foreach_diag_neighbor_end;
797 color_diag_libs[stone_other(eye_color)] += !!color_diag_libs[S_OFFBOARD];
798 return likely(color_diag_libs[stone_other(eye_color)] < 2);
801 enum stone
802 board_get_one_point_eye(struct board *board, coord_t *coord)
804 if (board_is_one_point_eye(board, coord, S_WHITE))
805 return S_WHITE;
806 else if (board_is_one_point_eye(board, coord, S_BLACK))
807 return S_BLACK;
808 else
809 return S_NONE;
813 int profiling_noinline
814 board_group_capture(struct board *board, group_t group)
816 int stones = 0;
818 foreach_in_group(board, group) {
819 board->captures[stone_other(board_at(board, c))]++;
820 board_remove_stone(board, c);
821 stones++;
822 } foreach_in_group_end;
824 if (board_group_info(board, group).libs == 1)
825 board_capturable_rm(board, group);
826 memset(&board_group_info(board, group), 0, sizeof(struct group));
828 return stones;
831 bool
832 board_group_in_atari(struct board *board, group_t group, coord_t *lastlib)
834 if (board_group_info(board, group).libs != 1)
835 return false;
836 *lastlib = board_group_info(board, group).lib[0];
837 return true;
840 bool
841 board_group_can_atari(struct board *board, group_t group, coord_t lastlib[2])
843 if (board_group_info(board, group).libs != 2)
844 return false;
845 lastlib[0] = board_group_info(board, group).lib[0];
846 lastlib[1] = board_group_info(board, group).lib[1];
847 return true;
851 static enum stone
852 board_tromp_taylor_owner(struct board *board, coord_t c)
854 int x = coord_x(c, board), y = coord_y(c, board);
855 enum stone color = S_NONE;
856 #define TEST_REACH(xx, yy) \
858 enum stone c2 = board_atxy(board, xx, yy); \
859 if (c2 != S_NONE) { \
860 if (color != S_NONE && color != c2) \
861 return S_NONE; \
862 color = c2; \
863 break; \
866 for (int i = x; i > 0; i--)
867 TEST_REACH(i, y);
868 for (int i = x; i < board_size(board) - 1; i++)
869 TEST_REACH(i, y);
870 for (int i = y; i > 0; i--)
871 TEST_REACH(x, i);
872 for (int i = y; i < board_size(board) - 1; i++)
873 TEST_REACH(x, i);
874 return color;
877 /* Tromp-Taylor Counting */
878 float
879 board_official_score(struct board *board)
882 /* A point P, not colored C, is said to reach C, if there is a path of
883 * (vertically or horizontally) adjacent points of P's color from P to
884 * a point of color C.
886 * A player's score is the number of points of her color, plus the
887 * number of empty points that reach only her color. */
889 int scores[S_MAX];
890 memset(scores, 0, sizeof(scores));
892 foreach_point(board) {
893 enum stone color = board_at(board, c);
894 if (color == S_NONE)
895 color = board_tromp_taylor_owner(board, c);
896 scores[color]++;
897 } foreach_point_end;
899 return board->komi + board->handicap + scores[S_WHITE] - scores[S_BLACK];
902 float
903 board_fast_score(struct board *board)
905 int scores[S_MAX];
906 memset(scores, 0, sizeof(scores));
908 foreach_point(board) {
909 enum stone color = board_at(board, c);
910 if (color == S_NONE)
911 color = board_get_one_point_eye(board, &c);
912 scores[color]++;
913 // fprintf(stderr, "%d, %d ++%d = %d\n", coord_x(c, board), coord_y(c, board), color, scores[color]);
914 } foreach_point_end;
916 return board->komi + board->handicap + scores[S_WHITE] - scores[S_BLACK];
920 bool
921 valid_escape_route(struct board *b, enum stone color, coord_t to)
923 /* Assess if we actually gain any liberties by this escape route.
924 * Note that this is not 100% as we cannot check whether we are
925 * connecting out or just to ourselves. */
926 /* Also, we prohibit 1-1 here:
927 * X X X X |
928 * O X O O |
929 * O O X O |
930 * .(O)X . |
931 * --------+
933 int friends = neighbor_count_at(b, to, color);
934 int borders = neighbor_count_at(b, to, S_OFFBOARD);
935 int libs = immediate_liberty_count(b, to);
936 return (friends > 1 && friends + borders < 4) || (libs > 1);
940 bool
941 board_stone_radar(struct board *b, coord_t coord, int distance)
943 int bounds[4] = {
944 coord_x(coord, b) - distance,
945 coord_y(coord, b) - distance,
946 coord_x(coord, b) + distance,
947 coord_y(coord, b) + distance
949 for (int i = 0; i < 4; i++)
950 if (bounds[i] < 1)
951 bounds[i] = 1;
952 else if (bounds[i] > board_size(b) - 2)
953 bounds[i] = board_size(b) - 2;
954 for (int x = bounds[0]; x <= bounds[2]; x++)
955 for (int y = bounds[1]; y <= bounds[3]; y++)
956 if (board_atxy(b, x, y) != S_NONE) {
957 //fprintf(stderr, "radar %d,%d,%d: %d,%d (%d)\n", coord_x(coord, b), coord_y(coord, b), distance, x, y, board_atxy(b, x, y));
958 return true;
960 return false;