From e74f5e6103156da399076f599d6b951933a21184 Mon Sep 17 00:00:00 2001 From: tqcq Date: Sat, 26 Oct 2024 13:26:54 +0000 Subject: [PATCH] update: error --- drama/src/rev-mc.c | 1 + 1 file changed, 1 insertion(+) diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c index 843ee9d..ed3b578 100644 --- a/drama/src/rev-mc.c +++ b/drama/src/rev-mc.c @@ -396,6 +396,7 @@ find_row_mask(std::vector &sets, } for (int i = outer_step; i > 0 && cur_mask < last_mask; --i) { + if (i % inner_step == 0) { try_update_row_mask(end_pos - i, cur_mask); } if (resolve(cur_mask)) { set_found(cur_mask); } cur_mask = next_bit_permutation(cur_mask); }