51nod1359 循环探求

求最小的$x(x>1)$满足$n^x=n(\mathrm{m}\mathrm{o}\mathrm{d}10^k)$。
值得注意的是这里并不能化成$n^{x-1}=1(\mathrm{m}\mathrm{o}\mathrm{d}10^k)$，因为$n$在$\mathrm{m}\mathrm{o}\mathrm{d}10^k$下不一定有逆元，典型的例子是$32^4=76(\mathrm{m}\mathrm{o}\mathrm{d}100),32^5=32(\mathrm{m}\mathrm{o}\mathrm{d}100)$。
将问题转成求最小的$y(y\ge 1)$满足$n\ast n^y=n(\mathrm{m}\mathrm{o}\mathrm{d}10^k)$，有$x=y+1$。
注意$n\mathrm{m}\mathrm{o}\mathrm{d}10^i$就是$n$的低$i$位，因此如果要满足$n\ast n^x=n(\mathrm{m}\mathrm{o}\mathrm{d}10^{i+1})$就必须要满足$n\ast n^x=n(\mathrm{m}\mathrm{o}\mathrm{d}10^i)$。
设$y_i$为$n\ast n^y=n(\mathrm{m}\mathrm{o}\mathrm{d}10^i)$的最小解，$t$为任意大于$0$的整数，有$$n\ast n^{t{y}_i}=(n\ast n^{y_i})\ast n^{(t-1)y_i}=n\ast n^{(t-1)y_i}=...=n(\mathrm{m}\mathrm{o}\mathrm{d}10^i)$$
然后证明满足$n\ast n^y=n(\mathrm{m}\mathrm{o}\mathrm{d}10^i)$的解$y$一定是$t\ast y_i$的形式（$t$为任意正整数）：
假设存在$x>y(x\mathrm{m}\mathrm{o}\mathrm{d}y\ne 0)$满足$n\ast n^x=n(\mathrm{m}\mathrm{o}\mathrm{d}10^i)$，则$$\begin{gathered} n\ast n^x=(n\ast n^y)\ast n^{x-y}=n\ast n^{x-y} \\ =...=n\ast n^{x\mathrm{m}\mathrm{o}\mathrm{d}y}=n(\mathrm{m}\mathrm{o}\mathrm{d}10^i) \end{gathered}$$
于是$x\mathrm{m}\mathrm{o}\mathrm{d}y$也是一个解，由于$0<x\mathrm{m}\mathrm{o}\mathrm{d}y<y$，是比$y$更小的非零解，这与$y$是最小的非零解矛盾。

接下来找一个$t$满足$n\ast n^{t{y}_i}=n(\mathrm{m}\mathrm{o}\mathrm{d}10^{i+1})$，由上式可以知道$n\ast n^{t{y}_i}$的低$i$位不会变，只需要找到一个$t$满足$n\ast n^{t{y}_i}$的第$i+1$位为$n$的第$i+1$位，由鸽巢原理，如果这样的$t$存在，则$t\le 10$。
因此只需要暴力枚举$t$，如果$t=10$没有找到，则直接输出$1$。
为了方便，可以采用$python$。

def iint():
    ans=[]
    sc=input().split()
    for i in range(0,len(sc)):
        ans.append(int(sc[i]))
    return ans

def infloat():
    ans=[]
    sc=input().split()
    for i in range(0,len(sc)):
        ans.append(float(sc[i]))
    return ans

def ilist():
    return list(input())


n,k=iint()
mod=10**k
ni=n
ans=1
for i in range(1,k+1):
    g=ni
    m=10**i
    flag=0
    for j in range(1,11):
        if n*g%m==n%m:
            ni=g
            flag=1
            ans*=j
            break
        g=g*ni%mod
    if not flag:
        print(1)
        exit(0)
print(ans+1)