20x20 Chompの解析

// src/ferrers_key.cpp より
uint128_t make_key_sub(const uint8_t *rows, uint8_t height)
{
    // (抜粋)
    const int L = N_GRID_SIZE + M_GRID_SIZE; // 40
    int remT = L;
    int remR = M_GRID_SIZE; // 20
    uint128_t rank = 0;
    // ... 盤面の形状に応じて二項係数を足し合わせ、ランクを計算 ...
    return rank;
}
Copy

// src/memo_table.cpp より
// キーに対応する2ビットの状態を取得
uint8_t get_state(uint128_t key)
{
    uint128_t bit = key * STATE_BITS; // STATE_BITS = 2
    uint128_t idx = bit >> 3;         // 8で割ってバイト位置を計算
    uint8_t off = bit & 7;            // 8の剰余でビットオフセットを計算
    return (memo[idx] >> off) & 0x3;  // 該当する2ビットを読み出す
}

// キーに対応する2ビットの状態を設定
void set_state(uint128_t key, uint8_t v)
{
    uint128_t bit = key * STATE_BITS;
    uint128_t idx = bit >> 3;
    uint8_t off = bit & 7;
    memo[idx] &= ~(0x3u << off);      // 対象の2ビットをクリア
    memo[idx] |= ((v & 0x3u) << off); // 新しい値を書き込む
}
Copy