結果
問題 |
No.3211 NAND Oracle
|
ユーザー |
|
提出日時 | 2025-07-25 21:47:43 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 36 ms / 2,000 ms |
コード長 | 1,544 bytes |
コンパイル時間 | 2,095 ms |
コンパイル使用メモリ | 200,904 KB |
実行使用メモリ | 7,716 KB |
最終ジャッジ日時 | 2025-07-25 21:47:55 |
合計ジャッジ時間 | 5,517 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 28 |
ソースコード
#include <bits/stdc++.h> using namespace std; using ll = long long; int main(){ ios::sync_with_stdio(false); cin.tie(0); int Q, K; cin >> Q >> K; auto check = [&](int s, int t){ vector<int> a(2 + Q); a[0] = s, a[1] = t; for(int i = 0; i < Q; i++){ if(i % 4 <= 1){ a[i + 2] = !(a[0] & a[1]); }else{ a[i + 2] = !(a[2] & a[3]); } } return accumulate(a.begin(), a.end(), 0) <= K; }; for(int i = 0; i < 4; i++){ if(!check(i >> 1 & 1, i & 1)){ goto skip; } } cout << "Yes\n"; for(int i = 0; i < Q; i++){ if(i % 4 <= 1){ cout << 1 << ' ' << 2 << '\n'; }else{ cout << 3 << ' ' << 4 << '\n'; } } return 0; skip: vector<pair<int,int>> ans = { {0, 1},//2 {0, 1},//3 {2, 3},//4 {2, 4},//5 {2, 4},//6 {5, 6} }; while(ans.size() < Q) ans.emplace_back(5, 6); auto check2 = [&](int s, int t){ vector<int> a(2); a[0] = s, a[1] = t; for(int i = 0; i < Q; i++){ auto [u, v] = ans[i]; a.emplace_back(!(a[u] & a[v])); } return accumulate(a.begin(), a.end(), 0) <= K; }; for(int i = 0; i < 4; i++){ if(!check2(i >> 1 & 1, i & 1)){ cout << "No\n"; return 0; } } cout << "Yes\n"; for(auto &&[u, v] : ans) cout << u + 1 << " " << v + 1 << '\n'; }