Problem Forge
統計
これまでのすべての月で、各段がどうだったかを示します。挑戦とは、ある月にプレイヤーがその段を初めて見るかダウンロードすることです。成功とは正解のことです。各プレイヤーは、1つの段につき、1か月に1回だけ数えます。
ブール充足可能性問題 (SAT) · 3-SAT · 独立集合 · クリーク · 頂点被覆 · グラフの 3 彩色 · ハミルトン閉路 · 巡回セールスマン問題 (TSP) · 0-1 整数計画問題 · 3 要素集合による完全被覆 (X3C)
ブール充足可能性問題 (SAT)
| 段 | 挑戦 | 成功 | 成功率 | 標準的な時間 | 解くまでの時間（1分未満 … 7日超） |
|---|---|---|---|---|---|
| r00 （練習） | 5 | 5 | 100% | 2:23 | |
| r01 | 5 | 5 | 100% | 0:49 | |
| r02 | 5 | 5 | 100% | 1:46 | |
| r03 | 5 | 5 | 100% | 2:32 | |
| r04 | 5 | 5 | 100% | 1:08 | |
| r05 | 5 | 5 | 100% | 2:00 | |
| r06 | 5 | 5 | 100% | 6:35 | |
| r07 | 5 | 5 | 100% | 9:50 | |
| r08 | 5 | 2 | 40% | 21:47:14 | |
| r09 | 1 | 0 | 0% | — | まだなし |
| r10 | 0 | 0 | — | — | まだなし |
| r11 | 0 | 0 | — | — | まだなし |
| r12 | 0 | 0 | — | — | まだなし |
棒グラフは、正解を解くまでの時間ごとに数えたものです：1分未満、1-10分、10-60分、1-6時間、6-24時間、1-7日、7日超。棒にポインターを重ねると数が見られます。「標準的な時間」は中央値です。段00は練習用の段です。スコアには数えません。
同じ数を JSON で：/api/v1/statistics/sat。