結果
| 問題 | 
                            No.2753 鳩の巣原理
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2024-05-10 22:01:32 | 
| 言語 | C++23  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,289 bytes | 
| コンパイル時間 | 5,448 ms | 
| コンパイル使用メモリ | 308,452 KB | 
| 実行使用メモリ | 25,604 KB | 
| 平均クエリ数 | 8.23 | 
| 最終ジャッジ日時 | 2024-12-20 05:35:23 | 
| 合計ジャッジ時間 | 11,048 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 2 WA * 28 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
//*/
#include <atcoder/all>
using namespace atcoder;
//*/
#define rep(i,n) for(int i=0;i<n;i++)
#define Rep(i,a,b) for(int i=a;i<b;i++)
#define ALL(x) (x).begin(),(x).end()
#define dbgv(x); for(auto now : x) cout << now << " "; cout << endl;
//using P = pair<int,int>;
using ll = long long;
using ull = unsigned long long;
//*/
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; }
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef vector<ll> vll;
typedef vector<int> vint;
random_device rnd;
mt19937 rng(rnd());
using mint = modint998244353;
ll f(ll n){
  return n*(n+1)/2;
}
int query(int mid){
  int res;
  cout << "? " << mid << endl;
  cin >> res;
  return res;
}
void solve(){
  int n; cin >> n;
  int l = 1,r = n;
  vint memo(n+1,0);
  rep(i,10){
    int mid = (l+r)/2;
    int res = query(mid);
    if(mid != res) r = mid;
    else l = mid;
    if(memo[mid] != 0){
      cout << "Yes " << memo[mid] << " " << mid << endl;
      return;
    }
    memo[mid] = res;
  }
}
int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  int t = 1; //cin >> t;
  rep(testcases,t) solve();
}