48 lines
3.8 KiB
Markdown
48 lines
3.8 KiB
Markdown
# PREREG — устранение ложного обещания «корень здесь»
|
|
|
|
Составлено до кода и до прогона, ветка `signfix-and-gates`. Валерий: «пред-регистрируй и проверяй
|
|
устранение ложного обещания „корень здесь“».
|
|
|
|
## Основание (`cc82156`, `485f25f`, диагностика, метод не менялся)
|
|
|
|
- На склоне fun9.5 в x = 20.25 трёхточечный наклон, в котором доминирует f(81) = 1.5·10³⁵, даёт
|
|
z ≈ 0, S ≈ 1: модель обещает корень «здесь». Следующий вызов — 20.2501, f почти не изменилась.
|
|
- Цена: пустой вызов и **засорение памяти аналогии** (вырожденные тройки, ξ ≈ 0, затем −1.7·10⁷) —
|
|
аналогия на склоне находится только через 8 шагов; от 20.25 до 10.39 ушло 9 вызовов там, где
|
|
хватило бы одного деления (≈ 8 из +10 проигрыша fun9.5). На fun9 таких пустых вызовов 8 (27 без
|
|
решений).
|
|
|
|
## Правило `half` (новых констант нет; ½ — константа самого деления пополам)
|
|
|
|
Две модели того, в какой половине скобки корень:
|
|
- **шаг** (трёхточечная модель): при S(z) ≥ ½ шаг не длиннее половины пути к дальнему концу —
|
|
корень обещан в **ближней к x** половине;
|
|
- **скобка** (прямая через x и дальний конец): корень ближе к концу с меньшим |f| — если
|
|
|f(дальнего)| < |f(x)|, корень в **дальней** половине.
|
|
|
|
Если обещание шага и картина скобки **расходятся в половине** (S ≥ ½ и |f(дальнего)| < |f(x)|),
|
|
модель не принимается, шаг — середина. Сравниваются два порядковых суждения; порога нет.
|
|
|
|
Составляющая `half` в составном `prestep` (своя категория), порядок: решение → плоский режим →
|
|
противоречие знака → `half`. Действует, только если шаг ещё не отдан другому решению.
|
|
|
|
## Проверка
|
|
|
|
Решение по **смоуку** (все 199 задач); сервер — подтвердить, если принято. Пары «без / с `half`»
|
|
для предложенного метода и с Г2:
|
|
`none`, `defect+flatanalogmempt+exp`, `contra+flatanalogmempt+exp`.
|
|
|
|
| # | ПРОЙДЕНО, если (для пары) |
|
|
|---|---|
|
|
| **H1** | fun9 дешевле (сообщается) |
|
|
| **H2** | широкие не дороже |
|
|
| **H3** | канонические не дороже |
|
|
| **H4** | гарантия: 0 нарушений, решено ≥ 193 |
|
|
| **ЦЕЛЬ** | ячейка ниже Чандрупатлы на обоих наборах (2787 / 2441) |
|
|
|
|
**Правило остановки:** `half` принимается, если хотя бы в одной паре H1–H4 выполнены одновременно и
|
|
цель сохранена. Сообщается число срабатываний по группам.
|
|
|
|
**Риск, записан заранее:** после перескока новая точка часто хуже дальнего конца по |f|; если модель
|
|
там обещает ближнюю половину верно (кривизна), правило отнимет хороший шаг — канонические (H3).
|