19/07/20 18:55:22.82 /GL0Rk63.net
決定番号 d(s) の定義
d(s):=min{m∈N | n≧m ⇒ sn=rn}
d が決定番号なら ∀m≧d で n≧m ⇒ sn=rn を満たす。
19/07/20 18:55:22.82 /GL0Rk63.net
決定番号 d(s) の定義
d(s):=min{m∈N | n≧m ⇒ sn=rn}
d が決定番号なら ∀m≧d で n≧m ⇒ sn=rn を満たす。
19/07/20 18:55:22.82 /GL0Rk63.net
決定番号 d(s) の定義
d(s):=min{m∈N | n≧m ⇒ sn=rn}
d が決定番号なら ∀m≧d で n≧m ⇒ sn=rn を満たす。