#4672. 碰壁

题目描述

我今天又没有学习。MDZ

没有学习的MDZ热爱玩各种弹球游戏,所以这是一道弹球题。

有一个 nnnmmm 列的网格,其中 nnnmmm 互质且 mmm 为奇数。 左下角坐标 (0,0)(0,0)(0,0) ,右上角坐标 (m,n)(m,n)(m,n)

初始一个大小忽略的小球处在 (m/2,0)(m/2,0)(m/2,0) 处,初始速度向量为 (−1/2,1/2)(-1/2,1/2)(1/21/2) (即初始向左上方走)。

某些格子有方块,当遇到网格的边界或者方块的边界时,就会发出镜面反射。如果球撞到某个方块,这个方块就会消失。

现在已经每个方块的位置,问多长时间后所有方块消失。

数据范围

1≤n,m,k≤105,k≤mn−11 \leq n, m, k \leq 10^{5}, \quad k \leq mn-11n,m,k105,kmn1

题解

考虑暴力,将每个方块拆成四条边,用set维护x+y和x-y相等的边。

考虑如果碰到边界该怎么办,发现如果这次从一个边界通过一个方向到达了一个边界,那下次这个边界通过这个方向的时候还是会到达这个边界,于是用并查集压缩一下路径即可。

代码

#include <bits/stdc++.h>
using namespace std;
const int N=4e5+5;
int m,n,k,t,f[N<<3];
struct P{int x,y;}p[N];
long long ans,g[N<<3];
struct O{
	int x,y,i;
	friend bool operator < (const O& A,const O& B){
		if (A.x==B.x){
			if (A.y==B.y) return A.i<B.i;
			return A.y<B.y;
		}
		return A.x<B.x;
	}
};
set<O>s[2][N];
set<O>::iterator it;
#define pi pair<int,int>
#define M make_pair
#define fi first
#define se second
map<pair<pi,pi>,int>mp;
pair<pi,pi>h[N<<3];
void ins(int x,int y,int i){
	s[0][x+y].insert((O){x,y,i});
	s[1][x-y+n].insert((O){x,y,i});
}
void era(int x,int y,int i){
	s[0][x+y].erase(s[0][x+y].find((O){x,y,i}));
	s[1][x-y+n].erase(s[1][x-y+n].find((O){x,y,i}));
}
void era(int i){
	int x=p[i].x,y=p[i].y;
	era(x-2,y-1,i);era(x-1,y,i);
	era(x-1,y-2,i);era(x,y-1,i);k--;
}
int get(int x){
	return f[x]==x?x:f[x]=get(f[x]);
}
int main(){
	cin>>m>>n>>k;m<<=1;n<<=1;
	for (int i=1,x,y;i<=k;i++){
		scanf("%d%d",&x,&y);
		x<<=1;y<<=1;p[i]=(P){x,y};
		ins(x-2,y-1,i);ins(x-1,y,i);
		ins(x-1,y-2,i);ins(x,y-1,i);
	}
	int x=m>>1,y=0,dx=-1,dy=1,o,v;
	if (!mp.count(M(M(x,y),M(dx,dy))))
		mp[M(M(x,y),M(dx,dy))]=++t,
		f[t]=t,h[t]=M(M(x,y),M(dx,dy));
	while(k){
		o=0;
		if (mp.count(M(M(x,y),M(dx,dy))))
			o=mp[M(M(x,y),M(dx,dy))];
		if (dx<0 && dy>0){
			it=s[0][x+y].lower_bound((O){x,0,0});
			if (it==s[0][x+y].begin()){
				if (x+y>n) g[get(o)]+=n-y,ans+=n-y,x=x+y-n,y=n,dy=-1;
				else g[get(o)]+=x,ans+=x,y=x+y,x=0,dx=1;
				if (!mp.count(M(M(x,y),M(dx,dy))))
					mp[M(M(x,y),M(dx,dy))]=++t,
					f[t]=t,h[t]=M(M(x,y),M(dx,dy));
				v=mp[M(M(x,y),M(dx,dy))];
				ans+=g[get(v)];
				x=h[get(v)].fi.fi,y=h[get(v)].fi.se,
				dx=h[get(v)].se.fi,dy=h[get(v)].se.se;
				if (!o) continue;
				g[get(v)]+=g[get(o)];
				f[get(o)]=get(v);
				continue;
			}
			it--;O u=*it;era(u.i);ans+=x-u.x;x=u.x;y=u.y;
			if (y&1) dx=1; else dy=-1; continue;
		}
		if (dx>0 && dy<0){
			it=s[0][x+y].upper_bound((O){x,0,0});
			if (it==s[0][x+y].end()){
				if (x+y-m>0) g[get(o)]+=m-x,ans+=m-x,y=x+y-m,x=m,dx=-1;
				else g[get(o)]+=y,ans+=y,x=x+y,y=0,dy=1;
				if (!mp.count(M(M(x,y),M(dx,dy))))
					mp[M(M(x,y),M(dx,dy))]=++t,
					f[t]=t,h[t]=M(M(x,y),M(dx,dy));
				v=mp[M(M(x,y),M(dx,dy))];
				ans+=g[get(v)];
				x=h[get(v)].fi.fi,y=h[get(v)].fi.se,
				dx=h[get(v)].se.fi,dy=h[get(v)].se.se;
				if (!o) continue;
				g[get(v)]+=g[get(o)];
				f[get(o)]=get(v);
				continue;
			}
			O u=*it;era(u.i);ans+=u.x-x;x=u.x;y=u.y;
			if (y&1) dx=-1; else dy=1; continue;
		}
		if (dx>0 && dy>0){
			it=s[1][x-y+n].upper_bound((O){x,0,0});
			if (it==s[1][x-y+n].end()){
				if (m-x+y<n) g[get(o)]+=m-x,ans+=m-x,y=m-x+y,x=m,dx=-1;
				else g[get(o)]+=n-y,ans+=n-y,x=x-y+n,y=n,dy=-1;
				if (!mp.count(M(M(x,y),M(dx,dy))))
					mp[M(M(x,y),M(dx,dy))]=++t,
					f[t]=t,h[t]=M(M(x,y),M(dx,dy));
				v=mp[M(M(x,y),M(dx,dy))];
				ans+=g[get(v)];
				x=h[get(v)].fi.fi,y=h[get(v)].fi.se,
				dx=h[get(v)].se.fi,dy=h[get(v)].se.se;
				if (!o) continue;
				g[get(v)]+=g[get(o)];
				f[get(o)]=get(v);
				continue;
			}
			O u=*it;era(u.i);ans+=u.x-x;x=u.x;y=u.y;
			if (y&1) dx=-1; else dy=-1; continue;
		}
		if (dx<0 && dy<0){
			it=s[1][x-y+n].lower_bound((O){x,0,0});
			if (it==s[1][x-y+n].begin()){
				if (y-x>0) g[get(o)]+=x,ans+=x,y=y-x,x=0,dx=1;
				else g[get(o)]+=y,ans+=y,x=x-y,y=0,dy=1;
				if (!mp.count(M(M(x,y),M(dx,dy))))
					mp[M(M(x,y),M(dx,dy))]=++t,
					f[t]=t,h[t]=M(M(x,y),M(dx,dy));
				v=mp[M(M(x,y),M(dx,dy))];
				ans+=g[get(v)];
				x=h[get(v)].fi.fi,y=h[get(v)].fi.se,
				dx=h[get(v)].se.fi,dy=h[get(v)].se.se;
				if (!o) continue;
				g[get(v)]+=g[get(o)];
				f[get(o)]=get(v);
				continue;
			}
			it--;O u=*it;era(u.i);ans+=x-u.x;x=u.x;y=u.y;
			if (y&1) dx=1; else dy=1; continue;
		}
	}
	cout<<ans<<endl; return 0;
}
内容概要:本文详细记录了对一个Android ARM64静态ELF文件中字符串加密机制的逆向分析过程。该ELF文件的所有字符串均被加密,无法通过常规strings命令或IDA直接识别。作者通过分析发现,加密字符串存储在.rodata段,其解密所需信息(包括密文地址、长度和16位密钥)保存在.data.rel.ro段的40字节描述符中。核心解密函数sub_10F408采用自反的双pass流密码算法,结合固定密钥KEY_TERM(由.data段24字节数据计算得出),实现字节级非线性、位置与长度相关的加密。文章还复现了完整的Python解密脚本,并揭示了该保护机制的本质为代码混淆而非强加密,终成功批量解密全部956条字符串,暴露程序真实行为,如shell命令模板、设备标识篡改、网络重置等操作。此外,文中还提及未启用的自定义壳框架及其反dump设计。; 适合人群:具备逆向工程基础的安全研究人员、二进制分析人员及对ELF保护技术感兴趣的开发者。; 使用场景及目标:①学习ELF二进制中字符串加密的典型实现方式与逆向突破口;②掌握从结构识别、函数追踪到算法还原的完整逆向流程;③理解“绑定二进制”的完整性校验设计及其局限性;④实践编写IDAPython脚本自动化提取与解密敏感数据。; 阅读建议:此资源以实战案例驱动,不仅展示技术细节,更强调逆向思维与验证方法,建议读者结合IDA调试环境,逐步跟随文中步骤进行动态分析与算法验证,深入理解每一步的推理依据。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值