結果
| 問題 | No.934 Explosive energy drink | 
| コンテスト | |
| ユーザー |  kcvlex | 
| 提出日時 | 2019-11-29 22:16:21 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 308 ms / 2,000 ms | 
| コード長 | 2,569 bytes | 
| コンパイル時間 | 1,812 ms | 
| コンパイル使用メモリ | 169,692 KB | 
| 実行使用メモリ | 25,604 KB | 
| 平均クエリ数 | 709.08 | 
| 最終ジャッジ日時 | 2024-07-16 18:32:19 | 
| 合計ジャッジ時間 | 5,912 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 24 | 
ソースコード
// #define DEBUGGING
#include <bits/stdc++.h>
#define endl '\n'
#define ALL(V) (V).begin(), (V).end()
#define ALLR(V) (V).rbegin(), (V).rend()
template <typename T> using V = std::vector<T>;
template <typename T> using VV = V<V<T>>;
using ll = std::int64_t;
using ull = std::uint64_t;
using PLL = std::pair<ll, ll>;
using TLL = std::tuple<ll, ll, ll>;
template <typename T> const T& var_min(const T &t) { return t; }
template <typename T> const T& var_max(const T &t) { return t; }
template <typename T, typename... Tail> const T& var_min(const T &t, const Tail&... tail) { return std::min(t, var_min(tail...)); }
template <typename T, typename... Tail> const T& var_max(const T &t, const Tail&... tail) { return std::max(t, var_max(tail...)); }
template <typename T, typename... Tail> void chmin(T &t, const Tail&... tail) { t = var_min(t, tail...); }
template <typename T, typename... Tail> void chmax(T &t, const Tail&... tail) { t = var_max(t, tail...); }
template <typename T> const T& clamp(const T &t, const T &low, const T &high) { return std::max(low, std::min(high, t)); }
template <typename T> void chclamp(T &t, const T &low, const T &high) { return t = clamp(t, low, high); }
namespace init__ { struct InitIO { InitIO() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << std::fixed << std::setprecision(30); } } init_io; }
#define mv_rec make_v(init, tail...)
template <typename T> T make_v(T init) { return init; }
template <typename T, typename... Tail> auto make_v(T init, size_t s, Tail... tail) { return V<decltype(mv_rec)>(s, mv_rec); }
#undef mv_rec
#ifdef DEBUGGING
#include "../../debug/debug.cpp"
#else
#define DEBUG(...) 0
#define DEBUG_SEPARATOR_LINE 0
#endif
using namespace std;
V<ll> need;
ll N;
bool query(ll left) {
    ll cnt = N - left + 1 + need.size();
    if(cnt == 1) return false;
    cout << "? " << cnt << endl;
    bool space = false;
    if(need.size()) {
        cout << need[0];
        for(ll i = 1; i < need.size(); i++) cout << ' ' << need[i];
        space = true;
    }
    if(left < N + 1) {
        if(space) cout << ' ';
        cout << left;
        for(ll i = left + 1; i <= N; i++) cout << ' ' << i;
    }
    cout << endl << flush;
    ll ans;
    cin >> ans;
    return ans == 1;
}
int main() {
    cin >> N;
    for(ll i = 1; i <= N; i++) {
        bool ok = query(i + 1);
        if(!ok) need.push_back(i);
    }
    cout << "! " << need.size() << endl;
    cout << need[0];
    for(ll i = 1; i < need.size(); i++) cout << ' ' << need[i];
    cout << endl << flush;
    return 0;
}
            
            
            
        