https://www.fe-siken.com/kakomon/23_toku/pm08.html
eとfの範囲がわかりませんでした。解説お願いしたいです。

どういう風にわからないのかがわからないので、とりあえず説明します。
ここで考えるのは関数Nextから呼ばれるときのInitが取りうる値の範囲です。
まず、ここの問題にあるNとは、関数Initが受け取るInit(整数型:S[ ]，整数型:N，整数型:K)の整数型Sであり、関数Nextの中にある変数Lを指しています。同様に、問題のKとは、関数NextのCを指しています。
それを踏まえた上で、次に前提となるのは関数Nextは最初に現れる「1.0」を見つけ出すアルゴリズムです。
そして、アルゴリズムを読む限り、１が現れればLに１が足される様です。
では、この問題で出ているアルゴリズムに使用される文字列の中に、最大で１はいくつ出るかといえば、もちろん３つです。そして、最終形である「０．０．０．１．１」の場合、一度もLが足されることはないので、下限は０。つまり、Nの取りうる範囲は０～３となります。
Kも、同じ様に考えれば答えが導けるはずです。

もし間違っていたらすみませんが、
サラダバーさん(No.2)の
> そして、アルゴリズムを読む限り、１が現れればLに１が足される様です。
この部分について、S[L]==1でなくてもL=L+1自体はされるのではないでしょうか？

なので、Nの上限は1の数ではなく、なるべくS[]の末端のほうで「10」パターンを検出される場合を考えればよく
S=【01110】において、L[4]=1 & L[4+1]=0により、Initルートに突入。
Nの上限＝L-1＝4-1＝3。

No.3の訂正  m(__)m
誤：
> S=【01110】において、L[4]=1 & L[4+1]=0により、Initルートに突入。
正：
S[4]=1 & S[4+1]=0

確かに、そうですね・・・。
僕の説明の仕方も悪かったですし、変に噛み砕こうとしたせいで、アルゴリズムを読み間違えてすらいたようです。
ご指摘ありがとうございます。以降気をつけます。
質問者さんにも、謝っておきます。