codeforces 614 div2 Aroma's Search（倍增 曼哈顿距离）

题目大意：

已知，我们从点 出发，已知我们最远可以走的距离是t，问我们在最远走不超过t的情况下，最多能走几个点，其中距离的计算用的是曼哈顿距离即从点 到  距离为. 关键数据范围: 

解题思路：

首先我们意识到，每个点坐标都是指数级别的递升，因为很显然x,y是满足类似等比数列的表达式，其中公比大于等于2. 具体证明可以用放缩把b1和b2扔掉就能看出来了。所以我们总共处理的点不超过 log(t)个，大概是60个。

我们枚举L，R判断我们走的范围[L,R] 的cost是不是不超过t，若不超过就判断是否更新答案。

假设两点之间的曼哈顿距离为  由曼哈顿距离的计算公式，我们得到： ，所以上述公式告诉我们应该在图中走连续的区间，而不是走完一段再回头的策略。 上图中，我们列举了两种最优的走法，假设边缘的左右端点分别为 所以走完区间[L,R] 中的点的最小cost为

#include <bits/stdc++.h>
#define int long long 
using namespace std;
int32_t  main(){
    int x0,y0,ax,ay,bx,by;cin>>x0>>y0>>ax>>ay>>bx>>by;
    int xs,ys,t;cin>>xs>>ys>>t;
    vector<pair<int,int>> mv;
    mv.push_back({x0,y0});
    int ans=0;
    while(mv.back().first+mv.back().second<(1ll<<54)-1ll){
        int nx=ax*mv.back().first +bx;
        int ny=ay*mv.back().second + by;    
        mv.push_back({nx,ny});
    }
    int sz=mv.size();
    for(int i=0;i<sz;i++)
        for(int j=i;j<sz;j++){
            int cost=abs(mv[i].first-mv[j].first)+abs(mv[j].second-mv[i].second);
            cost+=min(abs(xs-mv[i].first)+abs(ys-mv[i].second),abs(xs-mv[j].first)+abs(ys-mv[j].second));
            if(cost<=t){
                ans=max(ans,j-i+1);
            }
        }
    cout<<ans<<endl;
	return 0;
}