
2026/02/09 21:09
部分的8駒テーブルベース
RSS: https://news.ycombinator.com/rss
要約▶
Japanese Translation:
要約
Lichessは、各側の孤立したポーンが同じファイルで互いにブロックし合う局面を対象とした、約 63 TiB のデータを含む新しい8枚「op1」テーブルベースを公開しました。このテーブルベースは2025年にMarc Bourzutschky(米国)とNiklas Fiekas(EU)が生成し、2001年頃から継続されてきたMarcの7枚作業を基にしています。
「op1」局面の範囲
- 少なくとも一つの白ポーンと黒ポーンが同じファイルで互いに対峙し、中間の捕獲は不可能。
- 各ファイルには15組の対立ペアが存在し、全8ファイルで 120 組(約5 %)が該当します。
- 非ポーン駒の数は任意ですが、KQRBNPvKP のような偏った終局は除外されます。
- 2025年にLichessで到達した実用的8枚終局のうち、およそ半分がこのテーブルベースでカバーされ、既存の7枚Syzygyテーブルを大幅に補完します。
技術詳細
- テーブルベースには約 5 × 10¹⁴ の合法局面が含まれ、全8枚局面のうち約 1.3 % を占めます。
- 勝利距離はDepth‑to‑Conversion(DTC)で表され、ドローと50手ルール違反はフラグ付きです。
- 生成には既知勝利から逆算するリトロアナリシスを用い、7枚終局の完全な知識と全ての昇格可能性を処理しました。
- データは3台のハードドライブに保存され、約500 Mbit/sで2週間かけてアップロードされました。
サーバー構成
- Lichessのlila‑tablebase(Rust)はSyzygy、Gaviota、および新しいop1サービスをクエリします。
- op1サービスはMarcのC FFIインデックスを使用し、ヘッダーは128 GiBのRAMに遅延ロードされ、ブロックレベルでZStandard解凍が行われます。
将来計画
- 7枚DTC拡張が予定されています。
- 「op2」テーブルベースは、少なくとも二組の対立ポーンペア(例:特定の9枚終局)をカバーします。
インパクト
新しいデータはLichessの解析ボード、モバイルアプリ、および開発者APIを強化し、高度なプレイヤーと研究者に対してより正確なプレイを提供するとともに、効率的なサーバーインフラストラクチャを示します。
本文
大西洋を越えて送られた63 TiBのチェス知識 ― これでリチース分析ボードにアクセス可能
マルク・ブールツッキー(Marc Bourzutschky)との協力により、リチースのテーブルベースインターフェイスを実用的な8駒局面の大部分へ拡張できるようになりました。テーブルは公開されています:ダウンロード(63 TiB)、開発者向け API 経由、また分析ボードとモバイルアプリ上で直接利用可能です。
マルクはエンドゲーム理論に長年貢献しており、20年以上前から7駒テーブルの初期研究を行っていました。2021 年には8駒領域への最初の探索結果を発表し、2025 年にニクラス・フィーカス(Niklas Fiekas)がマルクと協力してテーブルをオンライン化しました。
サブセット:Op1
このテーブルベースは、少なくとも 1 枚の白兵と 1 枚の黒兵が互いに対峙し、昇格への道を妨げ合う8駒局面を網羅しています。こうした兵を 相対ペア(opposing pair) と呼び、少なくとも一組の相対ペアを含む局面を op1 と表記します。
相対ペアは a〜h のいずれかの縦列に存在し、その列ごとに 15 通りの位置があります。例として a 列では、a2 に白兵があり a3 に黒兵がある場合を a2/a3 と表記します。同じ列で残る 14 通りは次のようになります。
- a2/a4, a2/a5, a2/a6, a2/a7
- a3/a4, a3/a5, a3/a6, a3/a7
- a4/a5, a4/a6, a4/a7
- a5/a6, a5/a7
- a6/a7
相対ペアは「阻塞兵」の概念を一般化したもので、重要な特徴はどちらの兵も捕獲が起きない限り昇格できない点です(例:a2/a7 のように離れた位置でも同様)。逆に a3/a2(白が a3、黒が a2)は相対ペアではなく、どちらの兵も捕獲なしで昇格可能だからです。
テーブルベースからは、片側にわずか 1 枚の兵しか残っていない極端に不均衡な局面(例:KQRBNPvKP)は除外しています。こうした極端な終局はほとんど興味深くありません。
実証的に、実際のゲームで出現する8駒終局の約半分が op1 です。ChessBase のメガベースや CCRL のエンジンゲームデータベースをスキャンした結果も同様で、リチース上で到達された 8 駒終局のちょっと多くが op1 です(図参照)。したがって、8駒の op1 は既存の Syzygy による 7 駒テーブルベースに大きな補完をもたらします。
2025 年リチースで到達された 3–8 駒終局とそれぞれの op1 終局の比率
Op1 の例
| 兵 | ゲーム(リンク) | 説明 |
|---|---|---|
| 2 枚 | カスパロフ vs. カルポフ, 1990 第16ゲーム | 相対ペア: 白 g4 / 黒 g6。白は正確にプレイして勝利を収めました。 |
| 3 枚 | ペトロシアン vs. コルチノフ, 1976 | 相対ペア: 白 g5 / 黒 g6; 黒の f‑兵は静かに昇格できました。白にとって有利ですが難解で、ゲームは引き分けに終わりました。 |
| 3 枚(阻塞ペア) | コルチノフ vs. ポノマリオフ, 2001 | 相対ペア: 白 g4 / 黒 g7。白にとって勝利ですが、いくつかのミスが必要でした。 |
| 2 枚 + 追加で 2 枚 | カルポフ vs. カスパロフ, 1984 第9ゲーム | 相対ペア: 白 b4 / 黒 b5。唯一の引き分け手 66…Bh1!! が op1 テーブルベースで確認されました。 |
| 各側 2 枚(相対ペア 2 組) | レコ vs. ベリャヴィスク, 2000 | 相対ペア: g2/g7 と h3/h5。少なくとも一組が存在するため op1;白は実際に勝てました。 |
| 6 枚(各側 2 枚のパスド) | フー・ニ vs. ピン・ワン, 2001 | 相対ペア: e4/e5。両陣営が捕獲前に兵をクイーンへ昇格させ、結果としてクイーン終局は op1 テーブルに含まれ、引き分けです。 |
| 相対ペアなし(op1 ではない) | 例 | この局面は相対ペアがないため除外されます。 |
Op1 テーブルベースの生成
テーブルベースは、チェックメイトや既知の勝ちから逆解析(retrograde)で作成します。
完全な 8 駒テーブルを作る場合(op1 に限らず)は次の手順になります:
- 捕獲が 7 駒局面へ導く、駒だけの 8 駒終局を全て生成。
- 1 枚の兵を含む 8 駒終局を生成(昇格はステップ 1 に戻ります)。
- 上記を繰り返し、最大 6 枚までの兵を持つすべての 8 駒終局を解決。
Kirill Krykov のカウントによると、駒やキャスリング権限を除外した場合、全体で約 (3.8\times10^{16}) 通りの合法的な 8 駒局面があります。op1 サブセットは約 (5.0\times10^{14}) 通り、つまり全体の 1.3 % に過ぎません。
相対ペアが捕獲なしで昇格できないため、7 駒終局の結果だけを知っていれば十分です。したがって op1 テーブルは完全な 8 駒テーブルよりも生成コストが大幅に低くなります。
指標:Depth To Conversion (DTC)
テーブルベースは勝利までの距離(depth)を数値化します:
- Depth to Mate (DTM) – チェックメイトまでの手数。
- Depth to Conversion (DTC) – チェックメイト、または有利な捕獲・昇格への移行までの手数。op1 テーブルではこの指標を採用しています。
- DTZ50(50 手ルール下でゼロ化まで)– 7 駒 Syzygy テーブルで使われる指標で、パスドやクイーン移動もカウント。
リチースのテーブルベースエクスプローラーは、50 手ルールによる不確定性を常に表示します。
63 TiB のデータ共有
2025 年でも予算内で大量データを共有することは容易ではありません。最終的には箱の中にハードドライブ 3 台を送付し、友人たちの光ファイバー回線と即席構成で約 500 Mbit/s を 2 週間使用しました。
テーブルは素材組み合わせごとに 575 のディレクトリに分かれ、それぞれが 1806 通りのキング位置用に別々のファイルを持ちます。各ファイルには:
- メタデータ付きヘッダー
- 迅速検索用ブロックインデックス
- DTC 値(引き分け・敗北は特殊マーカー)を ZStandard 圧縮したブロック
リチースでのクエリは次のパスに沿います:
HTTP → lila-tablebase (Rust, axum, tokio) → → Syzygy / Gaviota / op1 テーブルベース
op1 サービスはマルクのインデックスコードを C FFI 経由で利用し、ヘッダー内でブロックオフセットをバイナリサーチ。ページキャッシュまたはディスクからブロック全体を読み取り、必要な分だけ解凍して値を取得します。
今後の展望
完全な 8 駒テーブルはまだ実現不可能です。しかし、次のような小規模追加が検討できます:
- 7 駒 DTC – 完全性のため。
- 複数相対ペア(op2)への一般化 – 例えば 9 駒 op2 局面は少なくとも 2 組の相対ペアを持ち、どんな捕獲も op1 状態へ導くものです。
op2 の例:
- カールセン vs. アロニアン, 2012 タタ・スチール – 白が勝利ですが、プレイヤーは見落としがちです。
- アダムズ vs. ステファンソン, 2023 – テーブルベースでは白勝ちですが、ゲームは引き分けに終わりました。
ニクラスは https://op1-tables.info/ にて独立したフロントエンドを開発中で、追加統計情報を表示します。現時点では最大 DTC 位置へのリンクが完備され、原データは各テーブルディレクトリの
.w.* と .stats ファイルに格納されています。