巨大数探索スレッド14

[0240 １３２人目の素数さん 2018/08/26(日) 15:48:19.44 ID:zXC0j/wA]

もうちょっと簡単に

N : 自然数全体
L : ある言語の表現全体の集合 (ある集合)
L[n]: Lの部分集合
val : L ---> N∪{'undefined'}

とし、
∀n∈Nに対して、val(L[n]) は有限集合であるとする

この時、
関数fを以下のように定義する

BB[L, L[n], val](n) = max(N∩val(L[n])∪{0})