很难证明出这个合法数列最大值就是3。。 然后就好做了 假设存在四个数 x ， x+2^i ,x + 2^j , x + 2^l x+2^j - x-2^i = 2^j - 2^i 要是2的整数倍 j=i+1； 同理 l=j+1 那么第二个数和第四个数就不满足差值是2的幂了QUQ。
#include<iostream> #include<cstring> #include<vector> #include<algorithm> #include<map> #include<set> using namespace std; typedef long long ll; const int N=200010; int n,m; ll a[N]; int idx,h[N],ne[N*2],e[N*2]; int f[N]; int col[N]; vector<int>v[N]; set<ll>s; int main() { ios::sync_with_stdio(0); cin.tie(0),cout.tie(0); cin >> n; for(int i=1;i<=n;i++) cin>>a[i]; for(int i=1;i<=n;i++) s.insert(a[i]); for(int i=1;i<=n;i++) { for(ll j=1;j<=2e9;j*=2) { if(s.count(a[i]+j) && s.count(a[i]+2*j)) { cout<<3<<endl; cout<<a[i]<<' '<<a[i]+j<<' '<<a[i]+2*j<<endl; return 0; } } } for(int i=1;i<=n;i++) { for(ll j=1;j<=2e9;j*=2) { if(s.count(a[i]+j) ) { cout<<2<<endl; cout<<a[i]<<' '<<a[i]+j<<endl; return 0; } } } cout<<1<<endl; cout<<a[1]<<endl; return 0; }