1a:I[10086,["6079","static/chunks/363642f4-ca12a5ed7d30075e.js","5653","static/chunks/5653-10777e0e1fc92dce.js","5000","static/chunks/5000-a7bfe5b9669501e3.js","8501","static/chunks/8501-12247bfa9b4a3a0d.js","643","static/chunks/app/codes/%5Bid%5D/page-56c854ce831bc98e.js"],"AdSenseInsert"] 1b:I[48803,["6079","static/chunks/363642f4-ca12a5ed7d30075e.js","5653","static/chunks/5653-10777e0e1fc92dce.js","5000","static/chunks/5000-a7bfe5b9669501e3.js","8501","static/chunks/8501-12247bfa9b4a3a0d.js","643","static/chunks/app/codes/%5Bid%5D/page-56c854ce831bc98e.js"],"CodeViewer"] 1c:T7e4,#include "testlib.h" #include #include using namespace std; int N, M; vector> clauses; // Reads an answer from stream (either ouf or ans), checks correctness, // and returns {possible, assignment}. If the stream is ans and it's wrong, // quits with _fail; if it's ouf and wrong, quits with _wa. pair> readAns(InStream& stream) { int possible = stream.readInt(0, 1, "possible"); vector a; if (!possible) { // unsatisfiable return {false, a}; } // satisfiable: read assignment a.resize(N); for (int i = 0; i < N; i++) { a[i] = stream.readInt(0, 1, format("x_%d", i+1).c_str()); } // check all clauses for (int k = 0; k < M; k++) { int u = clauses[k].first; int v = clauses[k].second; bool lu = (u > 0 ? a[abs(u)-1] == 1 : a[abs(u)-1] == 0); bool lv = (v > 0 ? a[abs(v)-1] == 1 : a[abs(v)-1] == 0); if (!lu && !lv) { stream.quitf(_wa, "clause %d (%s) is not satisfied by the assignment", k+1, format("(%d %d)", u, v).c_str()); } } return {true, a}; } int main(int argc, char* argv[]) { registerTestlibCmd(argc, argv); // Read input N = inf.readInt(); M = inf.readInt(); clauses.reserve(M); for (int i = 0; i < M; i++) { int u = inf.readInt(); int v = inf.readInt(); clauses.emplace_back(u,

코드 #5752