[乱搞 高精度] BZOJ 4404 [Neerc2015]Binary vs Decimal

一个性质 $10^k$的二进制末尾一定有$k$个$0$
这很好证明 因为$10$的二进制末尾就有一个$0$

那我们考虑从低位开始扩展
考虑之前的所有答案
当前这一位可能的转移是加一个1 也就是加$10^k$
我们发现加$10^k$ 对之前位没有任何影响 之后的加 1 <script type="math/tex" id="MathJax-Element-641">1</script>操作也不可能对之前的位有影响 我们只要判断之前位是否符合就可以判断能否加入答案里了

偷懒用Python 结果cf上没有任何问题 bzoj上狂WA 我很无奈啊 结果把input改成raw_input就好了？ woc

n=int(raw_input())
Ans=[]
leng=[]
Ans.append(0)
leng.append(1)
Ans.append(1)
leng.append(1)
x=10
i=1
while len(Ans)<=n:
    tem=len(Ans)
    for j in range(0,tem):
        t=Ans[j]>>leng[j]
        if (t&(((1<<(i-leng[j]+1))-1)))==0:
            Ans.append(Ans[j]+x)
            leng.append(i+1)
    i=i+1
    x=x*10
print str(Ans[n])