Codeforces gym 100851 B

首先我们需要观察一些二又十进制数字具有的性质：

• 二又十进制数字的十进制表示下只有$0$和$1$，且最高位为$1$。
• 二又十进制数字在十进制下的非空后缀去除前导零后一定为$0$或者二又十进制数字。

$(1)$是显然的，而为了证明$(2)$，我们需要先考虑形式化判定一个数字是否为二又十进制的过程。令$n=(c_1{c}_2\cdots c_k{)}_{10}$，那么$n$是二又十进制的当且仅当$c_1=1,c_i\in 0,1,\forall 1\le i\le k$，并且${\sum }_{i=1}^k{c}_i\cdot 10^{k-i}\equiv {\sum }_{i=1}^k{c}_i\cdot 2^{k-i}(\mathrm{m}\mathrm{o}\mathrm{d}{2}^k)$。事实上，后者等价于${\sum }_{i=1}^k{c}_i\cdot (10^k-2^k)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{2}^k)$。由于$2^k\mid 10^k$且$2^{k+1}\nmid 10^k$，这意味着十进制下的高位取值不会影响判定一个严格后缀是否是二又十进制数字，我们很容易就可以得到$(2)$了。
事实上，上述观察也给出了一个本题的解题思路。假定我们认为$0$是第$0$小的二又十进制数字，且十进制下位数为$0$，那么对于第$k$小的二又十进制数字$a_k$（假定十进制下有$w_k$位），可以通过将十进制下某个大于$w_k$的位变为$1$来尝试扩展出一个新的二又十进制数字。若我们将十进制下第$x>k$位置为$1$，判定新的数字是否是二又十进制的，只需看它的二进制下的第$k+1\sim x$位是否与十进制下的对应位相同。进一步的，若我们将$a_k$写为二进制数字，令位置大于$w_k$的第一个$1$在第$p_k$位（不存在设为$+\infty$），那么这里合法的$x$显然满足$w_k<x<p_k$。
我们的算法即为依次扩展出第$1\sim n$个二又十进制数字，若我们已经得到了第$0\sim k-1$个二又十进制数字，则用它们扩展出的最小的未得到过的二又十进制数字即为第$k$个二又十进制数字。这个过程看起来需要比较两个二又十进制数字并使用优先队列，不过可以发现答案的位数显然有单调性，可以采用链表优化。具体来说，我们将已经求出且还可以继续扩展的二又十进制数字按顺序挂到一个链表里（首个为$0$），我们依次扩展第$1\sim n$个二又十进制数字，并记录当前最后一个二又十进制数字的十进制位数$d$，以及上一个扩展出的数字原来在链表中的位置$cur$（初始为$0$）。假设当前要扩展第$k$个，我们从$cur$不断跳到它的后继，从链表中删去途中访问过的第$d$位为$1$的数，直到$cur$对应数字的二进制表示中第$d$位为$0$或是十进制位数已经至少为$d$。前一种情况我们将$cur$对应的数字在十进制下第$d$位改为$1$，即得到第$k$个二又十进制数字。后一种情况意味着第$k$个二又十进制数字的十进制位数为$d+1$，那么我们可以将$cur$跳回链表头（$0$的位置），并将$d$增加$1$，则第$k$个二又十进制数字即为$10^d$。最后将第$k$个二又十进制数字挂到链表尾完成一轮操作。这样我们就不需要任何对两个二又十进制数字的比较操作即可求出答案。
令第$n$个二又十进制数字的十进制位数为$L$，$L$显然不通过$n$，事实上通过实验，可以发现在本题数据规模下$L\le 161$。我们发现在上述算法中，我们每次跳到后继时，要么扩展出一个新的二又十进制数字，要么从链表中删去一个数字，因此总的跳跃次数为$\mathcal{O}(n)$。我们还需要支持给一个已经求出过的二又十进制数字加上一个$10^k$，或是查询它在二进制下某一位的值这样的算术操作，执行次数显然同样是$\mathcal{O}(n)$。这里需要实现高精度运算\cite{2}，我们可以预处理出$10$的$0\sim L$次幂，这样每次算术操作均能在$\mathcal{O}(L)$的时间复杂度下完成，因此总时间复杂度为$\mathcal{O}(nL)$。
注意到这里我们取某个位的操作是在二进制下的，因此显然可以采取压位的思想。令计算机字长为$\omega$，我们可以将高精度整数储存在$2^{\omega }$进制下，这样单次操作时间复杂度就优化到了$\mathcal{O}(\frac{L}{\omega })$，总时间复杂度为$\mathcal{O}(\frac{nL}{\omega })$。实际实现的时候可以选择在$2^{58}$进制下做高精度运算，这样一个高精度整数可以压成若干个long long储存。

#include <bits/stdc++.h>
#define last last2

using namespace std;

typedef long long ll;

struct Bignum {

ll num[12];

Bignum() {memset(num,0,sizeof(num));}

int query(int d) {
  return (num[d/58]>>(d%58))&1;
}

};

Bignum operator + (Bignum &a,Bignum &b) {
  Bignum c;
  int d=0;
  for(int i=0;i<12;i++) {
  	c.num[i]=a.num[i]+b.num[i]+d;
  	d=(c.num[i]>>58);
  	c.num[i]&=((1LL<<58)-1);
  }
  return c;
}

Bignum operator * (Bignum &a,int b) {
  Bignum c;
  int d=0;
  for(int i=0;i<12;i++) {
  	c.num[i]=a.num[i]*b+d;
  	d=(c.num[i]>>58);
  	c.num[i]&=((1LL<<58)-1);
  }
  return c;
}

Bignum powv[205];

void prepare() {
  powv[0].num[0]=1;
  for(int i=1;i<=200;i++) 
    powv[i]=powv[i-1]*10;
}

int fa[10005],len[10005];
int pre[10005],nxt[10005];
Bignum val[10005];

int main() {
  freopen("binary.in","r",stdin);
  freopen("binary.out","w",stdout);
  prepare();
  int n;
  scanf("%d",&n);
  int last=0,d=0,cur=0;
  len[0]=-1;
  for(int i=1;i<=n;i++) {
  	fa[i]=cur;
  	len[i]=d;
  	val[i]=val[cur]+powv[d];
  	if (val[cur].query(d+1)) {
  		nxt[pre[cur]]=nxt[cur];
  		if (nxt[cur]) pre[nxt[cur]]=pre[cur];
  		else last=pre[cur];
	  }
	if (!val[i].query(d+1)) {
		pre[i]=last;
		nxt[last]=i;
		last=i;
	}
	if (i==n) break;
	if (cur==last||len[nxt[cur]]>=d) {
		cur=0;
		d++;
	}
	else cur=nxt[cur];
  }
  int x=n;
  for(int i=d;i>=0;i--)
    if (len[x]==i) {
    	putchar('1');
    	x=fa[x];
	}
	else putchar('0');
  printf("\n");
  return 0;
}