3.9 KiB
PREREG B — память исходов: решение по самому похожему прошлому состоянию
Составлено до прогона. Валерий: «пред-регистрируй и проверяй A, затем то же самое для B». A пройдена
по одношаговой проверке (results_diag_step_extrapolation.txt).
Основание
Для каждого прошлого состояния прогона уже известно, окупился ли сделанный из него шаг: сколько половинений скобки он дал. Деление пополам даёт ровно одно. На плоских функциях цикл повторяется, поэтому похожие состояния уже встречались, и их исход известен.
Правило (без констант)
- Описание состояния — последнее отношение сжатия ρₙ = |fₙ / fₙ₋₁|.
- Похожесть двух состояний — форма отношения SIM:
min(ρₙ, ρⱼ) / max(ρₙ, ρⱼ). - Исход прошлого состояния j — половинения скобки, которые дал шаг из него: sⱼ = log₂(Wⱼ / Wⱼ₊₁).
- Выбор, а не взвешивание (правило корпуса): берётся самое похожее прошлое состояние с известным исходом (при равенстве — самое недавнее).
- Если его исход меньше одного половинения — шаг из похожего места проиграл делению — делим пополам. Иначе — наш шаг. Граница «одно половинение» — определение деления, а не выбор.
Выбор описания состояния (одно ρ) — решение, объявленное здесь до прогона, а не подобранное.
Проверка (метод не меняется)
Та же, что для A: на трассах предложенного метода и чтения (3), в каждом состоянии, где есть прошлое с известным исходом, — точка приземления по решению B (середина или наш шаг), одно дополнительное вычисление, половинения скобки; рядом — наш шаг из того же состояния. Исход прошлого шага берётся между соседними записанными состояниями (обычно одно вычисление; если между ними был шаг без записи, исход приходится на два — это огрубление объявлено).
Критерии
| # | что | ПРОЙДЕНО, если |
|---|---|---|
| B1 | плоские: средние половинения на вычисление, решение B против нашего шага | B больше |
| B2 | APS: то же | B не меньше |
| B3 | доля решений «делить» по группам | сообщается; ожидается выше на плоских, чем на APS |
| B4 | сравнение с A на тех же группах | сообщается |
Фальсификатор: B1 ложна — память исходов не помогает там, где мы проигрываем; B2 ложна — вредит там, где выигрываем. Любое из двух — правило не строится.
Ограничение то же, что у A: один шаг из каждого состояния, итог по прогону — только после встраивания.