4.2 KiB
PREREG — вход в плоский режим с запомненной аналогией
Составлено до кода и до прогона, ветка signfix-and-gates. Валерий: «пред-регистрируй и проверяй
вход с запомненной аналогией».
Основание (b7271a1, диагностика по трассам, метод не менялся)
- Вход по аналогии (
flatanalog, принят с Г2: канонические 2780, широкие 2625) на плоских запаздывает: 1234 против 1057 у входа по одному флагу. - Причина: в моменты флага до входа — «не похожа на прошлое» 118 раз, «нет памяти» 7, «m < 2» 2. В цикле периода 4 флаг поднимается в фазах, которые не повторяются (недолёт с всё более пустым шагом, перескок); повторяются фазы с опущенным флагом, и там порядок читается верно (fun4 = 6(x−2)⁵: m ≈ 4.9). Вход требует обоих в одном состоянии.
- Аналогия — свойство прогона, флаг — свойство момента. Если запоминать аналогию до ближайшего флага (по трассам): средний шаг входа на плоских 12.9 → 8.2; задач с входом: канонические 3 → 8, fun9 0 → 1, остальные без изменений, плоские 20 из 20.
Правило (новых констант нет)
Режим prestep="flatanalogmem". Память конфигураций и суждение «ближе к прошлому, чем к прямой,
и m ≥ 2» — те же, что у flatanalog, но выносятся на каждом состоянии, которое видит гейт.
- Аналогия установлена, как только суждение выполнено хотя бы в одном состоянии прогона.
- Вход: флаг (шаг модели, знак не сменился, r ≥ ¼) и аналогия установлена (в этом или прежнем состоянии).
- В режиме: каждый шаг — середина.
- Выход: на середине f(M) ближе к (FA + FB)/2, чем к нулю. Выход снимает установленную аналогию: суждение «линейно» опровергает «плоско»; чтобы войти снова, аналогия должна установиться заново.
Предохранитель применяется к шагу как всегда.
Проверка
Решение по смоуку (предложенный метод на всех 199 задачах), сервер — только подтвердить
прошедшее. Ячейки: предложенный метод и он же с Г2; none / flatanalogmem / flatanalog.
| # | ПРОЙДЕНО, если |
|---|---|
| M1 | широкие ниже, чем без режима (3220; с Г2 — 3169) |
| M2 | канонические не выше, чем без режима (2806; с Г2 — 2782) |
| M3 | гарантия: 0 нарушений, решено ≥ 193 |
| M4 | широкие ниже, чем у flatanalog (2635; с Г2 — 2625) — иначе запоминание не заслужено |
| ЦЕЛЬ | канонические < 2787 и широкие < 2441 (Чандрупатла) — сообщается |
Правило остановки: принимается, если M1, M2, M3, M4 выполнены одновременно (без Г2 и с Г2 — отдельно).
Ожидание, записано заранее: плоские между 1057 и 1234; канонические могут вырасти от 5 лишних входов (3 → 8) — это и есть риск для M2, особенно без Г2, где запас нулевой (2807 уже против 2806).