結果
| 問題 | No.934 Explosive energy drink | 
| コンテスト | |
| ユーザー |  ganmodokix | 
| 提出日時 | 2019-11-29 22:36:37 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                TLE
                                 
                             | 
| 実行時間 | - | 
| コード長 | 3,081 bytes | 
| コンパイル時間 | 2,687 ms | 
| コンパイル使用メモリ | 184,936 KB | 
| 実行使用メモリ | 40,876 KB | 
| 最終ジャッジ日時 | 2024-07-16 18:40:31 | 
| 合計ジャッジ時間 | 9,419 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | TLE * 1 -- * 23 | 
ソースコード
// May this submission get accepted!
#pragma GCC optimize ("O3")
#pragma GCC target ("tune=native")
#pragma GCC target ("avx")
#include <bits/stdc++.h>
// 汎用マクロ
#define ALL_OF(x) (x).begin(), (x).end()
#define REP(i,n) for (long long i=0, i##_len=(n); i<i##_len; i++)
#define RANGE(i,is,ie) for (long long i=(is), i##_end=(ie); i<=i##_end; i++)
#define DSRNG(i,is,ie) for (long long i=(is), i##_end=(ie); i>=i##_end; i--)
#define STEP(i, is, ie, step) for (long long i=(is), i##_end=(ie), i##_step = (step); i<=i##_end; i+=i##_step)
#define UNIQUE(v) do { sort((v).begin(), (v).end()); (v).erase(unique((v).begin(), (v).end()), (v).end()); } while (false)
template<class T> bool chmax(T &a, const T &b) { if (a < b) {a = b; return true;} return false; }
template<class T> bool chmin(T &a, const T &b) { if (a > b) {a = b; return true;} return false; }
#define INF 0x7FFFFFFF
#define LINF 0x7FFFFFFFFFFFFFFFLL
#define Yes(q) ((q) ? "Yes" : "No")
#define YES(q) ((q) ? "YES" : "NO")
#define Possible(q) ((q) ? "Possible" : "Impossible")
#define POSSIBLE(q) ((q) ? "POSSIBLE" : "IMPOSSIBLE")
#define DUMP(q) cerr << "[DEBUG] " #q ": " << (q) << " at " __FILE__ ":" << __LINE__ << endl
#define DUMPALL(q) do { cerr << "[DEBUG] " #q ": ["; REP(DUMPALL_ITR, (q).size()) { cerr << (q)[DUMPALL_ITR] << (DUMPALL_ITR == DUMPALL_ITR_len-1 ? "" : ", "); } cerr << "] at " __FILE__ ":" << __LINE__ << endl; } while (false)
template<class T> T gcd(T a, T b) { if (a < b) std::swap(a, b); while (b) std::swap(a %= b, b); return a; }
template<class T> T lcm(const T a, const T b) { return a / gcd(a, b) * b; }
// gcc拡張マクロ
#define popcount __builtin_popcount
#define popcountll __builtin_popcountll
// エイリアス
#define DANCE_ long
#define ROBOT_ unsigned
#define HUMAN_ signed
using  ll = DANCE_ HUMAN_ DANCE_;
using ull = DANCE_ ROBOT_ DANCE_;
using  ld = long double;
using namespace std;
// モジュール
struct inp {
    size_t sz;
    inp(size_t _sz = 0): sz(_sz) {}
    template <typename T>
    operator T () const { T a; cin >> a; return a; }
    template <typename T>
    operator vector<T> () const {
        vector<T> a(sz);
        for (size_t i = 0; i < sz; i++) {
            cin >> a[i];
        }
        return a;
    }
};
template <typename T>
void say(T &a) {
    cout << a << endl;
}
template <typename T>
void say(vector<T> &a, char sep = ' ', char end = '\n') {
    char v[2] = {sep, end};
    for (size_t i = 0, l = a.size(); i < l; i++) {
        cout << a[i] << v[i==l-1];
    }
    cout.flush();
}
// 処理内容
int main() {
    
    ll n = inp();
    vector<bool> flg(n, true);
    REP(i, n) {
        vector<ll> q; q.reserve(n);
        REP(j, n) {
            if (j != i && flg[j]) {
                q.push_back(j+1);
            }
        }
        cout << "? " << n << "\n";
        say(q);
        flg[i] = !(ll)inp();
    }
    cout << "! " << accumulate(ALL_OF(flg), 0LL) << "\n";
    vector<ll> ans; ans.reserve(n);
    REP(i, n) {
        if (flg[i]) {
            ans.push_back(i+1);
        }
    }
    say(ans);
    
}
            
            
            
        