情報科学 › Claude Code の中身 › 文脈を保つ・減らす・分ける

圧縮のもとでの文脈長の上界

定理 3.3（「文脈を保つ・減らす・分ける」§3） ・ ✓公理まで証明済み

圧縮の模型（定義 3.2） で F+σ+δ≤τF + \sigma + \delta \le \tau とする。このとき次が成り立つ。

  1. すべての t≥0t \ge 0 で nt<τn_t \lt \tau。
  2. すべての t≥1t \ge 1 で pt<τ+δp_t \lt \tau + \delta。
  3. ターン uu とターン u′u'（u<u′u \lt u'）で圧縮が行われ、その間のターンでは行われないとすると、u′−u≥⌈(τ−F−σ)/δ⌉u' - u \ge \lceil (\tau - F - \sigma)/\delta \rceil。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理 証明で参照している 1 件

関連するノック 3 問