結果
問題 | No.1306 Exactly 2 Digits |
ユーザー | penguinman |
提出日時 | 2020-12-03 02:47:31 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 148 ms / 2,000 ms |
コード長 | 18,533 bytes |
コンパイル時間 | 2,564 ms |
コンパイル使用メモリ | 221,440 KB |
実行使用メモリ | 25,692 KB |
平均クエリ数 | 1236.78 |
最終ジャッジ日時 | 2024-07-17 08:17:50 |
合計ジャッジ時間 | 16,564 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 24 ms
24,812 KB |
testcase_01 | AC | 23 ms
25,196 KB |
testcase_02 | AC | 22 ms
25,220 KB |
testcase_03 | AC | 22 ms
25,220 KB |
testcase_04 | AC | 22 ms
24,580 KB |
testcase_05 | AC | 22 ms
24,964 KB |
testcase_06 | AC | 22 ms
24,580 KB |
testcase_07 | AC | 22 ms
25,220 KB |
testcase_08 | AC | 22 ms
24,836 KB |
testcase_09 | AC | 22 ms
25,220 KB |
testcase_10 | AC | 22 ms
24,836 KB |
testcase_11 | AC | 22 ms
24,824 KB |
testcase_12 | AC | 22 ms
24,580 KB |
testcase_13 | AC | 22 ms
24,556 KB |
testcase_14 | AC | 23 ms
24,940 KB |
testcase_15 | AC | 23 ms
24,940 KB |
testcase_16 | AC | 23 ms
25,692 KB |
testcase_17 | AC | 23 ms
24,940 KB |
testcase_18 | AC | 22 ms
25,196 KB |
testcase_19 | AC | 22 ms
24,940 KB |
testcase_20 | AC | 22 ms
25,452 KB |
testcase_21 | AC | 22 ms
24,940 KB |
testcase_22 | AC | 22 ms
25,196 KB |
testcase_23 | AC | 23 ms
24,812 KB |
testcase_24 | AC | 23 ms
25,168 KB |
testcase_25 | AC | 22 ms
24,940 KB |
testcase_26 | AC | 26 ms
25,196 KB |
testcase_27 | AC | 23 ms
24,812 KB |
testcase_28 | AC | 23 ms
25,196 KB |
testcase_29 | AC | 23 ms
24,556 KB |
testcase_30 | AC | 23 ms
24,556 KB |
testcase_31 | AC | 22 ms
25,452 KB |
testcase_32 | AC | 22 ms
24,940 KB |
testcase_33 | AC | 23 ms
24,556 KB |
testcase_34 | AC | 23 ms
25,196 KB |
testcase_35 | AC | 23 ms
25,196 KB |
testcase_36 | AC | 21 ms
24,940 KB |
testcase_37 | AC | 23 ms
24,556 KB |
testcase_38 | AC | 23 ms
24,940 KB |
testcase_39 | AC | 24 ms
24,812 KB |
testcase_40 | AC | 23 ms
25,196 KB |
testcase_41 | AC | 23 ms
25,196 KB |
testcase_42 | AC | 23 ms
24,556 KB |
testcase_43 | AC | 23 ms
24,812 KB |
testcase_44 | AC | 24 ms
24,556 KB |
testcase_45 | AC | 25 ms
24,812 KB |
testcase_46 | AC | 25 ms
25,184 KB |
testcase_47 | AC | 25 ms
25,040 KB |
testcase_48 | AC | 27 ms
24,812 KB |
testcase_49 | AC | 28 ms
25,452 KB |
testcase_50 | AC | 29 ms
25,172 KB |
testcase_51 | AC | 30 ms
24,812 KB |
testcase_52 | AC | 32 ms
24,812 KB |
testcase_53 | AC | 35 ms
24,812 KB |
testcase_54 | AC | 33 ms
24,812 KB |
testcase_55 | AC | 37 ms
24,812 KB |
testcase_56 | AC | 38 ms
24,812 KB |
testcase_57 | AC | 39 ms
24,940 KB |
testcase_58 | AC | 42 ms
24,812 KB |
testcase_59 | AC | 40 ms
24,940 KB |
testcase_60 | AC | 47 ms
24,556 KB |
testcase_61 | AC | 51 ms
25,196 KB |
testcase_62 | AC | 51 ms
24,812 KB |
testcase_63 | AC | 55 ms
24,940 KB |
testcase_64 | AC | 52 ms
24,556 KB |
testcase_65 | AC | 57 ms
24,556 KB |
testcase_66 | AC | 62 ms
24,812 KB |
testcase_67 | AC | 64 ms
24,928 KB |
testcase_68 | AC | 64 ms
25,196 KB |
testcase_69 | AC | 69 ms
24,812 KB |
testcase_70 | AC | 69 ms
24,940 KB |
testcase_71 | AC | 72 ms
25,196 KB |
testcase_72 | AC | 72 ms
24,556 KB |
testcase_73 | AC | 73 ms
24,556 KB |
testcase_74 | AC | 84 ms
24,556 KB |
testcase_75 | AC | 81 ms
25,196 KB |
testcase_76 | AC | 89 ms
24,940 KB |
testcase_77 | AC | 97 ms
24,940 KB |
testcase_78 | AC | 103 ms
24,812 KB |
testcase_79 | AC | 112 ms
24,812 KB |
testcase_80 | AC | 114 ms
24,796 KB |
testcase_81 | AC | 100 ms
24,812 KB |
testcase_82 | AC | 122 ms
24,556 KB |
testcase_83 | AC | 125 ms
24,556 KB |
testcase_84 | AC | 132 ms
24,812 KB |
testcase_85 | AC | 141 ms
24,556 KB |
testcase_86 | AC | 118 ms
24,556 KB |
testcase_87 | AC | 124 ms
24,556 KB |
testcase_88 | AC | 148 ms
25,196 KB |
testcase_89 | AC | 124 ms
25,196 KB |
testcase_90 | AC | 115 ms
24,940 KB |
testcase_91 | AC | 122 ms
25,452 KB |
testcase_92 | AC | 115 ms
24,812 KB |
testcase_93 | AC | 131 ms
25,196 KB |
testcase_94 | AC | 112 ms
25,324 KB |
testcase_95 | AC | 120 ms
24,812 KB |
testcase_96 | AC | 109 ms
25,196 KB |
testcase_97 | AC | 113 ms
25,452 KB |
testcase_98 | AC | 106 ms
24,940 KB |
testcase_99 | AC | 121 ms
25,196 KB |
testcase_100 | AC | 121 ms
24,812 KB |
testcase_101 | AC | 132 ms
24,556 KB |
testcase_102 | AC | 111 ms
24,556 KB |
testcase_103 | AC | 116 ms
25,196 KB |
testcase_104 | AC | 118 ms
25,196 KB |
testcase_105 | AC | 122 ms
24,556 KB |
testcase_106 | AC | 109 ms
24,784 KB |
testcase_107 | AC | 124 ms
25,324 KB |
testcase_108 | AC | 116 ms
24,812 KB |
testcase_109 | AC | 134 ms
25,196 KB |
testcase_110 | AC | 112 ms
25,196 KB |
testcase_111 | AC | 118 ms
24,940 KB |
testcase_112 | AC | 105 ms
24,940 KB |
testcase_113 | AC | 140 ms
24,812 KB |
testcase_114 | AC | 138 ms
24,556 KB |
testcase_115 | AC | 121 ms
24,812 KB |
testcase_116 | AC | 144 ms
24,812 KB |
testcase_117 | AC | 125 ms
24,812 KB |
testcase_118 | AC | 133 ms
25,196 KB |
testcase_119 | AC | 119 ms
24,556 KB |
testcase_120 | AC | 109 ms
24,812 KB |
testcase_121 | AC | 125 ms
24,556 KB |
testcase_122 | AC | 125 ms
24,812 KB |
ソースコード
#include<bits/stdc++.h> //using namespace std; #pragma GCC target("avx") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native") #define rep(i,j,n) for(int i=(int)(j);i<(int)(n);i++) #define REP(i,j,n) for(int i=(int)(j);i<=(int)(n);i++) #define per(i,j,n) for(int i=(int)(j);(int)(n)<=i;i--) #define ALL(a) (a).begin(),(a).end() #define disup(A,key) distance(A.begin(),upper_bound(ALL(A),(ll)(key))) #define dislow(A,key) distance(A.begin(),lower_bound(ALL(A),(ll)(key))) #define pb emplace_back #define mp std::make_pair //#define endl "\n" // using std::endl; using std::cin; using std::cout; using ll=long long; using std::vector; using std::string; using std::upper_bound; using std::lower_bound; using vi=vector<ll>; using vii=vector<vi>; using pii=std::pair<ll,ll>; // constexpr ll MOD=1e9+7; //constexpr ll MOD=998244353; //constexpr ll MOD=10000000; //constexpr ll MOD=1e4; //constexpr ll MOD=1e5; constexpr ll MAX=3e6; constexpr ll inf=(1ll<<60); template<class T> class prique :public std::priority_queue<T, std::vector<T>, std::greater<T>> {}; template<typename T> struct Segment_tree{ ll N; T mem; vector<T> node; Segment_tree(vector<T> &X,T m):mem(m){ ll sz=X.size(); N=1; while(N<sz) N*=2; node.resize(2*N-1,mem); rep(i,0,sz) node[N-1+i]=X[i]; per(i,N-2,0){ node[i]=Compare(node[i*2+1],node[i*2+2]); } } T Compare(T &A,T &B){ return std::min(A,B); } void update(ll X,T val){ X+=N-1; node[X]=val; while(X>0){ X=(X-1)/2; node[X]=Compare(node[X*2+1],node[X*2+2]); } } T Query(ll a,ll b,ll now=0,ll l=0,ll r=-1){ //[a,b),[l,r) if(r<0) r=N; if(r<=a||b<=l) return mem; if(a<=l&&r<=b) return node[now]; auto vl=Query(a,b,now*2+1,l,(l+r)/2),vr=Query(a,b,now*2+2,(l+r)/2,r); return Compare(vl,vr); } ll lower_bound(ll left,ll right,T val,ll now=0,ll l=0,ll r=-1){ if(r<0) r=N; if(node[now]<val||l>=right||left>=r) return r; else if(now>=N-1) return l; ll vl=lower_bound(left,right,val,now*2+1,l,(l+r)/2); if(vl==(l+r)/2) return lower_bound(left,right,val,now*2+2,(l+r)/2,r); return vl; } }; template<typename T> struct lazy_Segment_tree{ int N; vector<T> node,lazy; T INF; vector<bool> flag; lazy_Segment_tree(vector<T> X,T Y):INF(Y){ N=1; while(X.size()>N) N*=2; node.resize(2*N-1,Y); lazy.resize(2*N-1); flag.resize(2*N-1); rep(i,0,X.size()) node[i+N-1]=X[i]; per(i,N-2,0) node[i]=compare(node[i*2+1],node[i*2+2]); } T compare(T X,T Y){ return std::max(X,Y); } T plus(T X,int l,int r){ return X; } void eval(int now,int l,int r){ if(flag[now]){ if(r-l>1){ flag[now*2+1]=flag[now*2+2]=1; lazy[now*2+1]=lazy[now*2+2]=lazy[now]; } node[now]=lazy[now]; flag[now]=0; } } void update(int a,int b,T add,int now=0,int l=0,int r=-1){ if(r<0) r=N; eval(now,l,r); if(b<=l||r<=a) return; if(a<=l&&r<=b){ lazy[now]=add; flag[now]=1; eval(now,l,r); } else{ update(a,b,add,now*2+1,l,(r+l)/2); update(a,b,add,now*2+2,(r+l)/2,r); node[now]=compare(node[now*2+1],node[now*2+2]); } } T Query(int a,int b,int now=0,int l=0,int r=-1){ if(r<0) r=N; eval(now,l,r); if(b<=l||r<=a) return INF; if(a<=l&&r<=b) return node[now]; return compare(Query(a,b,now*2+1,l,(r+l)/2),Query(a,b,now*2+2,(r+l)/2,r)); } ll lower_bound(ll left,ll right,T val,ll now=0,ll l=0,ll r=-1){ eval(now,l,r); if(r<0) r=N; if(node[now]<val||l>=right||left>=r) return r; else if(now>=N-1) return l; ll vl=lower_bound(left,right,val,now*2+1,l,(l+r)/2); if(vl==(l+r)/2) return lower_bound(left,right,val,now*2+2,(l+r)/2,r); return vl; } }; struct Binary_indexed_tree{ int N; vi bit; Binary_indexed_tree(int n):N(n){ bit.resize(N+1,0); } void add(int x,ll a){ x++; for(x;x<=N;x+=(x&-x)) bit[x]+=a; } ll sum(int x){ x++; ll ret=0; for(x;x>0;x-=(x&-x)) ret+=bit[x]; return ret; } ll lower_bound(ll X){ if(sum(N)<X) return -1; ll ret=0,memo=1,sum=0; while(memo*2<=N) memo*=2; while(memo>0){ if(memo+ret<=N&&sum+bit[memo+ret]<X){ sum+=bit[memo+ret]; ret+=memo; } memo/=2; } return ret; } }; struct Union_Find{ ll N; vi par; vi siz; Union_Find(int n):N(n){ par.resize(N); siz.resize(N,1); rep(i,0,N) par[i]=i; } ll root(ll X){ if(par[X]==X) return X; return par[X]=root(par[X]); } bool same(ll X,ll Y){ return root(X)==root(Y); } void unite(ll X,ll Y){ X=root(X); Y=root(Y); if(X==Y) return; if(siz[Y]<siz[X]) std::swap(X,Y); par[X]=Y; siz[Y]+=siz[X]; siz[X]=0; } ll size(ll X){ return siz[root(X)]; } }; struct Strongly_Connected_Components{ ll N,M; vii edge,ver; vi ind; Strongly_Connected_Components(vii e){ ll n=e.size(); ll m=0; vii revedge(n); ind.resize(n); rep(i,0,n){ m+=e[i].size(); for(auto p:e[i]) revedge[p].pb(i); } vi num(n,-1),po(n); vector<bool> seen(n); ll cnt=0; rep(i,0,n){ if(num[i]==-1){ dfs(i,e,num,cnt); } } rep(i,0,n) po[num[i]]=i; per(i,n-1,0){ ll X=po[i]; if(!seen[X]){ std::queue<ll> que; vi v; que.push(X); seen[X]=1; while(!que.empty()){ ll now=que.front(); que.pop(); v.pb(now); ind[now]=ver.size(); for(auto p:revedge[now]){ if(!seen[p]){ seen[p]=1; que.push(p); } } } ver.pb(v); } } N=ver.size(); M=0; edge.resize(N); rep(i,0,n){ for(auto p:e[i]){ if(ind[i]==ind[p]) continue; M++; edge[ind[i]].pb(ind[p]); } } } void dfs(ll now,vii &e,vi &num,ll &cnt){ num[now]=0; for(auto next:e[now]){ if(num[next]==-1){ dfs(next,e,num,cnt); } } num[now]=cnt++; } }; struct Directed_Gragh{ ll N,M; vii edge; Directed_Gragh(vii e):edge(e){ N=edge.size(); rep(i,0,N) M+=edge[i].size(); } vi sort(){ vi ret; vi cnt(N); rep(i,0,N){ for(auto p:edge[i]) cnt[p]++; } std::queue<ll> que; rep(i,0,N){ if(cnt[i]==0) que.push(i); } while(!que.empty()){ ll now=que.front(); que.pop(); ret.pb(now); for(auto next:edge[now]){ cnt[next]--; if(cnt[next]==0) que.push(next); } } return ret; } }; struct Tree{ int N; vii dp; vi par; vi dist; vi subtree; vii edge; Tree(vii E):edge(E){ N=edge.size(); dp.resize(N); par.resize(N); dist.resize(N,-1); for(int i=0;i<N;i++) dp[i].resize(20); dist[0]=dp[0][0]=0; std::queue<int> que; que.push(0); while(!que.empty()){ int now=que.front(); que.pop(); for(int i=0;i<edge[now].size();i++){ int next=edge[now][i]; if(dist[next]==-1){ dist[next]=dist[now]+1; que.push(next); par[next]=now; dp[next][0]=now; } } } for(int i=1;i<20;i++){ for(int j=0;j<N;j++) dp[j][i]=dp[dp[j][i-1]][i-1]; } } int LCA(int X,int Y){ if(dist[X]<dist[Y]) std::swap(X,Y); { int Z=dist[X]-dist[Y]; int i=0; while(Z){ if(Z&1) X=dp[X][i]; i++; Z>>=1; } } if(X==Y) return X; for(int i=19;i>=0;i--){ if(dp[X][i]!=dp[Y][i]){ X=dp[X][i]; Y=dp[Y][i]; } } return dp[X][0]; } void Subtree(){ subtree.resize(N,-1); dfs(0); } void dfs(ll now){ subtree[now]=1; for(auto next:edge[now]){ if(subtree[next]==-1){ dfs(next); subtree[now]+=subtree[next]; } } } }; struct max_flow{ struct Edge{ int to,cap,rev; }; int N; vector<vector<Edge>> edge; vector<int> dist,itr; max_flow(vii e,vii w){ N=e.size(); edge.resize(N); rep(i,0,N){ rep(j,0,e[i].size()){ edge[i].pb((Edge){(int)e[i][j],(int)w[i][j],(int)edge[e[i][j]].size()}); edge[e[i][j]].pb((Edge){i,0,(int)edge[i].size()-1}); } } } void add_edge(int from,int to,int cap){ edge[from].pb((Edge){to,cap,(int)edge[to].size()}); edge[to].pb((Edge){from,0,(int)edge[from].size()-1}); } void bfs(int s){ dist.assign(N,-1); std::queue<int> que; dist[s]=0; que.push(s); while(!que.empty()){ int now=que.front(); que.pop(); for(auto p:edge[now]){ int next=p.to; if(p.cap>0&&dist[next]<0){ dist[next]=dist[now]+1; que.push(next); } } } } int dfs(int now,int t,int f){ if(now==t) return f; for(;itr[now]<edge[now].size();itr[now]++){ Edge& p=edge[now][itr[now]]; if(p.cap>0&&dist[now]<dist[p.to]){ int mem=dfs(p.to,t,std::min(f,p.cap)); if(mem>0){ p.cap-=mem; edge[p.to][p.rev].cap+=mem; return mem; } } } return 0; } int Query(int s,int t){ int ret=0; while(1){ bfs(s); if(dist[t]<0) break; itr.assign(N,0); while(1){ int mem=dfs(s,t,(1<<30)); if(mem<=0) break; ret+=mem; } } return ret; } }; struct min_cost_flow{ struct Edge{ int to,cap,rev; ll cost; }; int N; vector<vector<Edge>> edge; vector<ll> dist,h; void add_edge(int from,int to,int cap,ll cost){ edge[from].pb((Edge){to,cap,(int)edge[to].size(),cost}); edge[to].pb((Edge){from,0,(int)edge[from].size()-1,-cost}); } min_cost_flow(vii e,vii m,vii w){ N=e.size(); edge.resize(N); rep(i,0,N){ rep(j,0,e[i].size()){ add_edge(i,e[i][j],m[i][j],w[i][j]); } } } void potential(){ h.assign(N,0); vector<vector<int>> edge2(N); vii weight(N); vector<int> cnt(N); rep(i,0,N){ for(auto e:edge[i]){ if(e.cap>0&&e.cost<0){ edge2[i].pb(e.to); weight[i].pb(-e.cost); cnt[e.to]++; } } } std::queue<ll> que; rep(i,0,N){ if(cnt[i]==0) que.push(i); } vector<int> ver; while(!que.empty()){ int now=que.front(); que.pop(); ver.pb(now); for(auto next:edge2[now]){ cnt[next]--; if(cnt[next]==0) que.push(next); } } per(i,N-1,0){ rep(j,0,edge2[ver[i]].size()){ int next=edge2[ver[i]][j]; h[ver[i]]=std::max(h[ver[i]],h[next]+weight[ver[i]][j]); } } } ll Query(int s,int t,int f){ ll ret=0; potential(); while(f){ vi dist(N,inf); vector<int> memv(N),meme(N); dist[s]=0; prique<std::pair<ll,int>> que; que.push(mp(0,s)); while(!que.empty()){ auto now=que.top().second; if(dist[now]<que.top().first){ que.pop(); continue; } que.pop(); rep(i,0,edge[now].size()){ auto e=edge[now][i]; auto next=e.to; if(e.cap>0&&dist[next]>dist[now]+h[now]-h[next]+e.cost){ dist[next]=dist[now]+h[now]-h[next]+e.cost; memv[next]=now; meme[next]=i; que.push(mp(dist[next],next)); } } } if(dist[t]==inf) return -1; int now=t,max=f; while(now!=s){ auto& e=edge[memv[now]][meme[now]]; max=std::min(max,e.cap); now=memv[now]; } f-=max; now=t; while(now!=s){ auto& e=edge[memv[now]][meme[now]]; e.cap-=max; auto& e2=edge[e.to][e.rev]; e2.cap+=max; now=memv[now]; } rep(i,0,N) h[i]+=dist[i]; ret+=h[t]*max; } return ret; } }; template<typename T> struct tancomp{ int place(std::pair<T,T> p){ if(p.first<=0&&p.second<0) return 0; if(p.first>0&&p.second<=0) return 1; if(p.first==0&&p.second==0) return 2; if(p.first>=0&&p.second>0) return 3; return 4; } bool operator()(const std::pair<T,T> &l,const std::pair<T,T> &r){ if(place(l)!=place(r)) return place(l)<place(r); //l.second/l.first<r.second/r.first return l.second*r.first<l.first*r.second; } }; template<typename T> vector<std::pair<T,T>> Declination_sort(ll N,vector<T> X,vector<T> Y){ vector<std::pair<T,T>> ret(N); rep(i,0,N){ ret[i]=(mp(X[i],Y[i])); } sort(ALL(ret),tancomp<T>()); return ret; } vector<pii> Convex_Hull(vector<pii> X){ int N=X.size(); sort(ALL(X)); if(N<=2) return X; return X; } long long modpow(long long a, long long n, long long mod) { long long res = 1; while (n > 0) { if (n & 1) res = res * a % mod; a = a * a % mod; n >>= 1; } return res; } vi fac,finv,inv; void COMinit() { fac.resize(MAX); finv.resize(MAX); inv.resize(MAX); fac[0] = fac[1] = 1; finv[0] = finv[1] = 1; inv[1] = 1; for (int i = 2; i < MAX; i++){ fac[i] = fac[i - 1] * i % MOD; inv[i] = MOD - inv[MOD%i] * (MOD / i) % MOD; finv[i] = finv[i - 1] * inv[i] % MOD; } } ll COM(ll n,ll r){ if(n<r||n<0||r<0) return 0; return fac[n]*finv[r]%MOD*finv[n-r]%MOD; } void comp(vi &A){ std::map<ll,ll> memo; rep(i,0,A.size()) memo[A[i]]=0; ll cnt=0; for(auto &p:memo) p.second=cnt++; rep(i,0,A.size()) A[i]=memo[A[i]]; } void dec(std::map<ll,ll> &mem,ll X){ mem[X]--; if(mem[X]==0) mem.erase(X); } void print(bool flag){ vector<char> P={ "No", "Yes" }; cout<<P[flag]<<endl; } struct Compare{ bool operator()(const pii &l,const pii &r){ ll L=l.first+l.second,R=r.first+r.second; if(L!=R) return L<R; return l.first<r.first; } }; int main(){ std::ios::sync_with_stdio(false); std::cin.tie(nullptr); std::random_device rnd; std::mt19937 mt(rnd()); ll N; cin>>N; if(N==2){ ll X,Y; cout<<"? "<<1<<" "<<2<<endl; cin>>X>>Y; if(X==-1) cout<<"! "<<2<<" "<<3<<endl; else cout<<"! "<<3<<" "<<2<<endl; return 0; } std::map<pii,vi,Compare> cnt; ll M=N*N-N; vi A(M),B(M); rep(i,1,M){ cout<<"? "<<1<<" "<<i+1<<endl; ll X,Y; cin>>X>>Y; cnt[mp(X,Y)].pb(i); } auto p=*begin(cnt),q=*rbegin(cnt); ll x=p.second[0],y=q.second[0]; if(p.second.size()==2){ x=0; A[x]=N-1,A[y]=1; B[x]=N-1,B[y]=0; cnt.erase(q.first); goto XYZ; } if(q.second.size()==2){ y=0; A[x]=N-1,A[y]=1; B[x]=N-1,B[y]=0; cnt.erase(p.first); std::swap(x,y); goto XYZ; } A[x]=N-1,A[y]=1; B[x]=N-1,B[y]=0; rep(i,1,N){ rep(j,0,N){ ll P=i-A[x],Q=j-B[x],R=i-A[y],S=j-B[y]; if(P>Q) std::swap(P,Q); if(R>S) std::swap(R,S); if(mp(P,Q)==p.first&&mp(R,S)==q.first){ A[0]=i,B[0]=j; } } } if(B[0]-A[0]==B[x]-A[x]) x=0; else{ y=0; std::swap(x,y); } cnt.erase(p.first); cnt.erase(q.first); XYZ: for(auto a:cnt){ vector<pii> mem; rep(i,1,N){ rep(j,0,N){ ll P=A[x]-i,Q=B[x]-j; if(P>Q) std::swap(P,Q); if(mp(P,Q)==a.first){ mem.pb(mp(i,j)); } } } if(mem.size()==1){ ll z=a.second[0]; std::tie(A[z],B[z])=mem[0]; continue; } ll z=a.second[0]; cout<<"? "<<z+1<<" "<<y+1<<endl; ll X,Y; cin>>X>>Y; rep(i,0,2){ auto b=mem[i]; ll R=b.first-A[y],S=b.second-B[y]; if(R>S) std::swap(R,S); if(mp(R,S)==mp(X,Y)){ std::tie(A[z],B[z])=b; z=a.second[1]; std::tie(A[z],B[z])=mem[1-i]; break; } } } cout<<"!"; rep(i,0,M) cout<<" "<<A[i]*N+B[i]; cout<<endl; }