pkmnq — 9/14/2023, 1:25:13 AM

Define F(n) as the minimum number of tokens in Pure Factor (A version of Factor where the only syntax is [, and only uses words that are in kernel and deal with only quotations, such as dip and keep, and call has its restrictions removed) required to put n elements on the stack.

Let the number in this post be the minimum n where F(n) = 10^100.

♥ 3 ↩ 0 💬 1 comment

comments

pkmnq:

F(n) <= floor(n/4) + 3 (except for n = 3) because of [] dup 2dup 4dup 4dup 4dup ...

9/14/2023, 2:25:20 AM