結果
| 問題 | No.2496 LCM between Permutations | 
| コンテスト | |
| ユーザー |  Misuki | 
| 提出日時 | 2024-01-25 00:46:42 | 
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 121 ms / 2,000 ms | 
| コード長 | 3,977 bytes | 
| コンパイル時間 | 2,807 ms | 
| コンパイル使用メモリ | 206,252 KB | 
| 実行使用メモリ | 25,460 KB | 
| 平均クエリ数 | 953.86 | 
| 最終ジャッジ日時 | 2024-09-28 07:13:17 | 
| 合計ジャッジ時間 | 5,722 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 1 | 
| other | AC * 28 | 
ソースコード
#pragma GCC optimize("O2")
#include <algorithm>
#include <array>
#include <bit>
#include <bitset>
#include <cassert>
#include <cctype>
#include <cfenv>
#include <cfloat>
#include <chrono>
#include <cinttypes>
#include <climits>
#include <cmath>
#include <compare>
#include <complex>
#include <concepts>
#include <cstdarg>
#include <cstddef>
#include <cstdint>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <deque>
#include <fstream>
#include <functional>
#include <initializer_list>
#include <iomanip>
#include <ios>
#include <iostream>
#include <istream>
#include <iterator>
#include <limits>
#include <list>
#include <map>
#include <memory>
#include <new>
#include <numbers>
#include <numeric>
#include <ostream>
#include <queue>
#include <random>
#include <ranges>
#include <set>
#include <span>
#include <sstream>
#include <stack>
#include <streambuf>
#include <string>
#include <tuple>
#include <type_traits>
#include <variant>
#define int ll
#define INT128_MAX (__int128)(((unsigned __int128) 1 << ((sizeof(__int128) * __CHAR_BIT__) - 1)) - 1)
#define INT128_MIN (-INT128_MAX - 1)
#define clock chrono::steady_clock::now().time_since_epoch().count()
#ifdef DEBUG
#define dbg(x) cout << (#x) << " = " << x << '\n'
#else
#define dbg(x)
#endif
namespace R = std::ranges;
namespace V = std::views;
using namespace std;
using ll = long long;
using ull = unsigned long long;
using ldb = long double;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
//#define double ldb
template<class T>
ostream& operator<<(ostream& os, const pair<T, T> pr) {
  return os << pr.first << ' ' << pr.second;
}
template<class T, size_t N>
ostream& operator<<(ostream& os, const array<T, N> &arr) {
  for(const T &X : arr)
    os << X << ' ';
  return os;
}
template<class T>
ostream& operator<<(ostream& os, const vector<T> &vec) {
  for(const T &X : vec)
    os << X << ' ';
  return os;
}
template<class T>
ostream& operator<<(ostream& os, const set<T> &s) {
  for(const T &x : s)
    os << x << ' ';
  return os;
}
bool swp = false;
int query(int i, int j) {
  if (swp)
    cout << "? " << j + 1 << ' ' << i + 1 << '\n';
  else
    cout << "? " << i + 1 << ' ' << j + 1 << '\n';
  int x; cin >> x;
  return x;
}
void answer(vector<int> a, vector<int> b) {
  if (swp)
    cout << "! " << b << ' ' << a << '\n';
  else
    cout << "! " << a << ' ' << b << '\n';
}
bool prime[1001];
signed main() {
  //ios::sync_with_stdio(false), cin.tie(NULL);
  
  fill(prime + 2, prime + 1001, true);
  for(int i = 4; i < 1001; i++)
    for(int j = 2; j < i; j++)
      if (i % j == 0)
        prime[i] = false;
/*
  for(int n = 2; n <= 1000; n++) {
    bool ok = false;
    for(int i = (n + 1) / 2 + 1; i <= n; i++)
      ok = ok or prime[i];
    if (!ok)
      cout << n << " not ok\n";
  }
*/
  int n; cin >> n;
  if (n == 1) {
    vector<int> a(1, 1);
    answer(a, a);
    return 0;
  }
  int p = -1, ppos = -1;
  {
    vector<int> s(n);
    for(int i = 0; i < n; i++)
      s[i] = query(0, i);
    int mn = R::min(s);
    for(int i = 0; i < n; i++)
      if (prime[s[i] / mn] and s[i] / mn >= (n + 1) / 2 + 1)
        p = s[i] / mn, ppos = i;
    if (p == -1)
      swp = true, p = mn, ppos = 0;
  }
  dbg(p);
  dbg(ppos);
  vector<int> a(n, -1), b(n, -1);
  array<int, 2> cand = {-1, -1};
  {
    vector<int> s(n);
    for(int i = 0; i < n; i++)
      s[i] = query(i, ppos);
    for(int i = 0; i < n; i++) {
      if (s[i] == p)
        cand[cand[0] != -1] = i;
      else
        a[i] = s[i] / p;
    }
  }
  dbg(a);
  dbg(b);
  dbg(cand);
  {
    vector<int> s(n);
    for(int i = 0; i < n; i++)
      s[i] = query(cand[0], i);
    int mn = R::min(s);
    if (mn == 1) {
      a[cand[0]] = 1, a[cand[1]] = p;
      b = s;
    } else {
      a[cand[0]] = p, a[cand[1]] = 1;
      for(int i = 0; i < n; i++) {
        if (s[i] == p)
          b[i] = (i == ppos ? p : 1);
        else
          b[i] = s[i] / p;
      }
    }
  }
  answer(a, b);
  return 0;
}
            
            
            
        