結果
| 問題 |
No.3211 NAND Oracle
|
| コンテスト | |
| ユーザー |
Yudai0606Nazo
|
| 提出日時 | 2025-07-27 18:50:22 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 33 ms / 2,000 ms |
| コード長 | 1,742 bytes |
| コンパイル時間 | 4,269 ms |
| コンパイル使用メモリ | 255,848 KB |
| 実行使用メモリ | 7,720 KB |
| 最終ジャッジ日時 | 2025-07-27 18:50:31 |
| 合計ジャッジ時間 | 7,497 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 28 |
ソースコード
#ifndef ONLINE_JUDGE
#define _GLIBCXX_DEBUG
#endif
#include <bits/stdc++.h>
#include <cassert>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using mint = modint998244353;
//using mint = modint1000000007;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define repu(i, s, t) for (int i = (int)(s); i < (int)(t); i++)
#define repd(i, s, t) for (int i = (int)(s)-1; i >= (int)(t); i--)
#define all(v) v.begin(), v.end()
void _u() { cerr << endl; } template <class H, class... T> void _u(H&& h, T&&... t) { cerr << h << ", "; _u(move(t)...); }
#define U(...) { cerr << #__VA_ARGS__ << ": "; _u(__VA_ARGS__); }
template<typename T> bool chmax(T &a, const T b) { if(a >= b) return false; a = b; return true; }
template<typename T> bool chmin(T &a, const T b) { if(a <= b) return false; a = b; return true; }
template<typename T> istream& operator>>(istream &in, vector<T> &a) { for(T &x: a) in >> x; return in; }
template<typename T> ostream& operator<<(ostream &out, const vector<T> &a) { for(const T &x: a) out << x << ' '; return out; }
const int di[] = {1, 0, -1, 0, 1, 1, -1, -1, 0};
const int dj[] = {0, 1, 0, -1, -1, 1, 1, -1, 0};
int main() {
int q, k;
cin >> q >> k;
vector<pair<int, int>> v = {
{1, 2},
{2, 3},
{1, 4},
{1, 5},
{1, 5}
};
rep(i, q-5) v.emplace_back(6, 7);
if((k == 2 && q > 1) || (k == 3 && q > 3) || (k == 4 && q > 5)) {
cout << "No" << endl;
return 0;
}
cout << "Yes" << endl;
if(k == 4 && q == 5) {
cout << "1 2\n2 3\n1 4\n1 4\n5 6\n";
return 0;
}
rep(i, q) {
auto[x, y] = v[i];
cout << x << " " << y << '\n';
}
return 0;
}
Yudai0606Nazo