結果
問題 | No.1830 Balanced Majority |
ユーザー | milanis48663220 |
提出日時 | 2022-02-04 22:10:11 |
言語 | C++17 (gcc 13.2.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 28 ms / 2,000 ms |
コード長 | 3,693 bytes |
コンパイル時間 | 1,365 ms |
コンパイル使用メモリ | 132,288 KB |
実行使用メモリ | 24,264 KB |
平均クエリ数 | 7.54 |
最終ジャッジ日時 | 2023-09-02 04:57:01 |
合計ジャッジ時間 | 3,495 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge13 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 28 ms
23,532 KB |
testcase_01 | AC | 25 ms
23,364 KB |
testcase_02 | AC | 24 ms
23,376 KB |
testcase_03 | AC | 24 ms
24,000 KB |
testcase_04 | AC | 24 ms
23,616 KB |
testcase_05 | AC | 24 ms
23,496 KB |
testcase_06 | AC | 25 ms
23,364 KB |
testcase_07 | AC | 26 ms
23,592 KB |
testcase_08 | AC | 26 ms
23,424 KB |
testcase_09 | AC | 26 ms
24,048 KB |
testcase_10 | AC | 26 ms
24,264 KB |
testcase_11 | AC | 27 ms
23,604 KB |
testcase_12 | AC | 26 ms
23,988 KB |
testcase_13 | AC | 27 ms
23,964 KB |
testcase_14 | AC | 26 ms
23,640 KB |
testcase_15 | AC | 27 ms
23,364 KB |
testcase_16 | AC | 26 ms
24,228 KB |
testcase_17 | AC | 27 ms
24,252 KB |
testcase_18 | AC | 25 ms
23,412 KB |
testcase_19 | AC | 25 ms
24,156 KB |
testcase_20 | AC | 25 ms
23,424 KB |
testcase_21 | AC | 27 ms
23,568 KB |
testcase_22 | AC | 27 ms
23,580 KB |
testcase_23 | AC | 26 ms
23,364 KB |
testcase_24 | AC | 27 ms
23,364 KB |
testcase_25 | AC | 24 ms
23,988 KB |
ソースコード
#include <iostream> #include <algorithm> #include <iomanip> #include <vector> #include <queue> #include <deque> #include <set> #include <map> #include <tuple> #include <cmath> #include <numeric> #include <functional> #include <cassert> #include <random> #define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl; #define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl; template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } using namespace std; typedef long long ll; template<typename T> vector<vector<T>> vec2d(int n, int m, T v){ return vector<vector<T>>(n, vector<T>(m, v)); } template<typename T> vector<vector<vector<T>>> vec3d(int n, int m, int k, T v){ return vector<vector<vector<T>>>(n, vector<vector<T>>(m, vector<T>(k, v))); } template<typename T> void print_vector(vector<T> v, char delimiter=' '){ if(v.empty()) { cout << endl; return; } for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter; cout << v.back() << endl; } template<typename T> class Cumsum{ public: Cumsum(vector<T> v): v(v){ n = v.size(); v_cumsum = vector<T>(n+1, T(0)); for(int i = 0; i < n; i++) v_cumsum[i+1] = v_cumsum[i]+v[i]; } /** * v[l] + ... + v[r-1] */ T sum(int l, int r){ if(r <= l) return T(0); if(r > n) r = n; if(l < 0) l = 0; return v_cumsum[r]-v_cumsum[l]; } private: int n; vector<T> v; vector<T> v_cumsum; }; class Simulator{ public: int n; Simulator(int n): n(n) { n_asked = 0; v.resize(n); for(int i = 0; i < n/2; i++) v[i] = 1; random_device seed_gen; mt19937 engine(seed_gen()); shuffle(v.begin(), v.end(), engine); cumsum = Cumsum<int>(v); } int asK(int k){ n_asked++; return cumsum.sum(0, k); }; void verify(int l, int r){ print_vector(v); cout << l << ' ' << r << endl; int len = r-l+1; assert(len%2 == 0); assert(n_asked <= 20); int sum = cumsum.sum(l-1, r); debug_value(sum) assert(r-l+1 >= n/2); assert(sum == len/2); } private: int n_asked; vector<int> v; Cumsum<int> cumsum = Cumsum<int>(vector<int>(1)); }; // #define DEBUG int main(){ ios::sync_with_stdio(false); cin.tie(0); cout << setprecision(10) << fixed; int n; cin >> n; #ifdef DEBUG auto sim = Simulator(n); #endif map<int, ll> memo; auto ask_sum = [&](int k) -> ll{ if(memo.count(k)) return memo[k]; #ifdef DEBUG int ans = sim.asK(k); #else cout << "? " << k << endl; int ans; cin >> ans; #endif memo[k] = ans-(k-ans); return ans-(k-ans); }; auto verify = [&](int l, int r){ #ifdef DEBUG sim.verify(l, r); #else cout << "! " << l << ' ' << r << endl; #endif }; if(ask_sum(1) == ask_sum(n-1)){ verify(2, n-1); return 0; } auto find_zero = [&](){ int l = 1, r = n-1; while(true){ int x = (l+r)/2; if(ask_sum(x) == 0) return x; if(ask_sum(l)*ask_sum(x) < 0){ r = x; }else{ assert(ask_sum(x)*ask_sum(r) < 0); l = x; } } }; int idx = find_zero(); assert(ask_sum(idx) == 0); // debug_value(idx); if(idx > n/2){ verify(1, idx); }else{ verify(idx+1, n); } }