首先,如果A是B的前缀或者B是A的前缀,那么直接输出-1
否则一定有解
我们可以考虑到使得答案最小化,则应该尽量选取短的数
我们将A,B的所有的前缀记录一下,称这些前缀是危险的,那么我们进行一次宽搜,如果当前串不是危险的,就可以把它放入答案,并且不用这个串再扩展了,因为一旦这个串已经被放入答案,它所扩展出的串都是不合法的;如果当前串危险,就将串后面加0加1都放入队列中,用它继续进行扩展
我们可以确定的是,记A,B中长度较长的串的长度为len,则我们扩展出的所有串长度都不会超过len,因为超过len的串的长度小于len的前缀我们一定已经放入答案中了,所以我们的集合一定是一个有限集
#include <cstdio>
#include <iostream>
#include <cstring>
#include <string>
#include <cstdlib>
#include <utility>
#include <cctype>
#include <algorithm>
#include <bitset>
#include <set>
#include <map>
#include <vector>
#include <queue>
#include <deque>
#include <stack>
#include <cmath>
#include <ctime>
#define LL long long
#define LB long double
#define x first
#define y second
#define Pair pair<int,int>
#define pb push_back
#define pf push_front
#define mp make_pair
#define LOWBIT(x) x & (-x)
using namespace std;
const int MOD=1e9+7;
const LL LINF=2e16;
const int INF=2e9;
const int magic=348;
const double eps=1e-10;
inline int getint()
{
char ch;int res;bool f;
while (!isdigit(ch=getchar()) && ch!='-') {}
if (ch=='-') f=false,res=0; else f=true,res=ch-'0';
while (isdigit(ch=getchar())) res=res*10+ch-'0';
return f?res:-res;
}
int A,B;
map<Pair,bool> danger;
int num1[48],num2[48],len1,len2;
vector<int> ans;
queue<Pair> q;
bool issuf(int x,int y)
{
memset(num1,0,sizeof(num1));
memset(num2,0,sizeof(num2));
int i;
for (i=0;i<=30;i++) if (x&(1<<i)) num1[i]=1,len1=i;
for (i=0;i<=30;i++) if (y&(1<<i)) num2[i]=1,len2=i;
reverse(num1,num1+len1+1);
reverse(num2,num2+len2+1);
for (i=0;i<=len1;i++) if (num1[i]!=num2[i]) return false;
return true;
}
inline void Add(int cur,int len)
{
int i;
memset(num1,0,sizeof(num1));
for (i=0;i<=len;i++) if (cur&(1<<i)) num1[i]=1;
reverse(num1,num1+len+1);
cur=0;
for (i=0;i<=len;i++) if (num1[i]) cur|=(1<<i);
ans.pb(cur);
}
int main ()
{
int i;
A=getint();B=getint();
if (A>B) swap(A,B);
if (issuf(A,B))
{
printf("-1\n");
return 0;
}
ans.pb(A);ans.pb(B);
danger.clear();
int cur=0,len;
for (i=0;i<=len1;i++)
{
if (num1[i]) cur|=(1<<i);
danger[mp(cur,i)]=true;
}
cur=0;
for (i=0;i<=len2;i++)
{
if (num2[i]) cur|=(1<<i);
danger[mp(cur,i)]=true;
}
A=0;for (i=0;i<=len1;i++) if (num1[i]) A|=(1<<i);
B=0;for (i=0;i<=len2;i++) if (num2[i]) B|=(1<<i);
q.push(mp(1,0));
while (!q.empty())
{
cur=q.front().x;len=q.front().y;q.pop();
if (!danger[mp(cur,len)])
{
Add(cur,len);
}
else
{
if (!(len==len1 && cur==A) && !(len==len2 && cur==B))
{
q.push(mp(cur,len+1));
q.push(mp(cur|(1<<(len+1)),len+1));
}
}
}
sort(ans.begin(),ans.end());
for (i=0;i<ans.size();i++) printf("%d ",ans[i]);
printf("\n");
return 0;
}