BuaaCoding 375 zxa and robot

zxa and robot

时间限制: 1000 ms 内存限制: 131072 kb

总通过人数: 18 总提交人数: 20

题目描述

zxa在二维平面上放置了一个机器人，初始坐标为(0,0)(0,0)，机器人第ii步可以在上下左右四个方向中挑选一个方向走3i−13i−1步。

现在zxa想要让机器人走到(x,y)(x,y)，问至少走多少步可以到达目标点。

输入

输入包含多组测试数据，以EOF结束，不超过10组数据。

每组测试数据仅占一行，包含两个整数xx和yy。

0≤|x|,|y|≤10180≤|x|,|y|≤1018。

输出

对于每组测试数据输出一行，包含一个整数，代表到达目标点至少需要的步数，如果不存在到(x,y)(x,y)的方案则输出−1−1。

输入样例

8 3
1 1

输出样例

3
-1

这道题目本身的难度不大。很容易想到一个凑硬币的问题，之前有过结论，是1，3，9，27……的三的幂次能通过支付和找零凑出任何一种价格，而且这种凑法是唯一的。由于唯一性，很容易发现本题存在方案即是最小值。因此分开x轴和y轴考虑，找出凑出x和凑出y的方案，检查是否满足1~t步的3^(t-1)都已经走过，并且不会重复步长即可，满足则输出总步数，否则输出-1。

现在问题变成如何凑出x，y。发现凑法和x，y正负没有关系，先取绝对值。以x为例，在deal函数中，找出i，对应第i步，让3的i次幂的1.5倍大于x（Σ3^k≈1.5*3^i）,然后对abs(x-3^i)进行递归操作，可以发现第i步是没有选择的，间接证明了以上取法的唯一性。

可以证明这么做的效率是log级别的

另外这题坑还是挺多的，思路很容易但调试了很久，写几条给自己注意一下

1.__builtin_popcount()只能用于三十二位无符号整数，不能用于long long

2.math中的abs()也没有支持long long 这真的很坑

3.宏定义写函数时注意括号保护的问题。

最后附上我的代码，这里r和

rr分别用二进制记录每一步的取法

#include<cstdio>
#define abs(x) x<0?-(x):x
using namespace std;

typedef long long LL;

LL x,y,r,rr,f,k;
int ans;

void deal(LL x)
{
	if(x)
	{
		LL re=1,t=1;
		while(re+re/2<x)
			re*=3,t*=2;
		r|=t;
		deal(abs(re-x));
	}
}

int main()
{
	while(~scanf("%lld%lld",&x,&y))
	{
		r=0,deal(abs(x));
		rr=r,r=0,deal(abs(y));
		f=r&rr,r|=rr;
		ans=0;
		while(r&1)
			++ans,r/=2;
		printf("%d\n",r||f?-1:ans);
	}
	return 0;
}