結果
問題 |
No.3211 NAND Oracle
|
ユーザー |
![]() |
提出日時 | 2025-07-25 21:43:28 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 1,656 bytes |
コンパイル時間 | 3,332 ms |
コンパイル使用メモリ | 126,736 KB |
実行使用メモリ | 8,060 KB |
最終ジャッジ日時 | 2025-07-25 21:43:40 |
合計ジャッジ時間 | 4,267 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 20 WA * 8 |
ソースコード
#include <iostream> #include <iomanip> #include <cassert> #include <vector> #include <algorithm> #include <utility> #include <numeric> #include <tuple> #include <ranges> namespace ranges = std::ranges; namespace views = std::views; // #include "Src/Number/IntegerDivision.hpp" // #include "Src/Utility/BinarySearch.hpp" // #include "Src/Sequence/CompressedSequence.hpp" // #include "Src/Sequence/RunLengthEncoding.hpp" // #include "Src/Algebra/Group/AdditiveGroup.hpp" // #include "Src/DataStructure/FenwickTree/FenwickTree.hpp" // #include "Src/DataStructure/SegmentTree/SegmentTree.hpp" // #include "Src/DataStructure/DisjointSetUnion/DisjointSetUnion.hpp" // using namespace zawa; // #include "atcoder/modint" // using mint = atcoder::modint998244353; using namespace std; int Q, K; int nand(int a, int b) { return (a == 1 and b == 1 ? 0 : 1); } int main() { cin.tie(0); cout.tie(0); ios::sync_with_stdio(0); cin >> Q >> K; vector<vector<int>> A(4); A[0] = {0, 0}; A[1] = {0, 1}; A[2] = {1, 0}; A[3] = {1, 1}; vector<pair<int, int>> ans; for (int i = 0 ; i < Q ; i++) { const int p = 2*(i/2), q = p + 1; ans.push_back({p, q}); for (int j = 0 ; j < 4 ; j++) { A[j].push_back(nand(A[j][p], A[j][q])); } } int sum = 0; for (const vector<int>& a : A) { // for (int x : a) cout << x << ' '; // cout << endl; sum = max(sum, accumulate(a.begin(), a.end(), 0)); } if (sum <= K) { cout << "Yes\n"; for (auto [i, j] : ans) cout << i + 1 << ' ' << j + 1 << '\n'; } else { cout << "No\n"; } }