Problem Forge
Статистика
Как шли дела на каждой ступени за все месяцы до сих пор. Попытка — это первый раз, когда участник видит или скачивает ступень в месяце. Успех — это принятый ответ. Каждый участник считается один раз на ступень в месяц.
Задача выполнимости булевых формул (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.