原题题面：https://ac.nowcoder.com/acm/contest/33195/I

题目大意

给定两个整数序列$A=[a_1,a_2,\cdot \cdot \cdot ,a_n](2\le n\le 10^6,0\le a_i\le 10^7),B=[b_1,b_2,\cdot \cdot \cdot ,b_m](2\le m\le 10^6,0\le b_i\le 10^7)$，求是否存在$1\le i,j\le n,1\le k,l\le m$，满足$i\ne j,k\ne l,|a_i-a_j|=|b_k-b_l|$。

解题思路

使得$a_i\ge a_j,b_k\ge b_l$，原式可得$a_i+b_l=a_j+b_k$，由于$0\le a_i,a_j,b_k,b_l\le 10^7$，所以$0\le a_i+b_l,a_j+b_k\le 2\times 10^7$，若$i\ne j,a_i\ne a_j,b_i\ne b_j$，根据鸽巢原理，枚举最多进行$2\times 10^7+1$次，可以放心大胆地枚举。若有重复，进行去重，对于每个$a_i=x$或$b_j=y$最多存两次，仍然能过。

代码实现

#include<bits/stdc++.h>
using namespace std;
template <class T> inline void read(T&x){
	char c,f=' ';
	while(!isdigit(c=getchar()))f=c;
	x=c^48;
	while(isdigit(c=getchar()))x=(x<<3)+(x<<1)+(c^48);
	if(f=='-')x=-x;
}
const int N=1e6+5,M=2e7+5;
int n,m,A[N],B[N],a,b[M],p1[M],p2[M],cnt1[M],cnt2[M],x,y;
pair<int,int>ma[M];
int main(){
	read(n),read(m);
	for(int i=1;i<=n;i++){
		read(a);
		if(cnt1[a]>1)continue;
        A[++x]=a;
		p1[x]=i,cnt1[a]++;
	}
	for(int i=1;i<=m;i++){
		read(a);
		if(cnt2[a]>1)continue;
        B[++y]=a;
		p2[y]=i;cnt2[a]++;
	}
	for(int i=1;i<=x;i++)
	for(int j=1;j<=y;j++){
		int k=A[i]+B[j];
		int u=ma[k].first,v=ma[k].second;
		if(b[k]&&i!=u&&j!=v){
			cout<<p1[u]<<' '<<p1[i]<<' '<<p2[v]<<' '<<p2[j]<<'\n';
			return 0;
		}
        b[k]=1;
		if(i!=u&&j!=v)ma[k]=make_pair(i,j);
	}
	cout<<-1;
}