test/yosupo/other/two_sat.test.cpp

• View this file on GitHub
• Last update: 2025-06-10 13:56:45+09:00
• Problem: https://judge.yosupo.jp/problem/two_sat

Depends on

• 重み付きグラフ (lib/graph/graph.hpp)
• 強連結成分分解 (lib/graph/scc.hpp)
• 2-SAT (lib/graph/two_sat.hpp)
• lib/internal/internal_csr.hpp

Code

// competitive-verifier: PROBLEM https://judge.yosupo.jp/problem/two_sat
#include "graph/two_sat.hpp"
#include <iostream>
#include <string>

int main(void) {
    std::string tmp;
    int n, m;
    std::cin >> tmp >> tmp >> n >> m;
    two_sat ts(n);
    while (m--) {
        int a, b, c;
        std::cin >> a >> b >> c;
        bool f = true, g = true;
        if (a < 0) a = -a, f = false;
        if (b < 0) b = -b, g = false;
        ts.add(a - 1, f, b - 1, g);
    }
    auto v = ts.solve();
    if (!ts.is_satisfy(v)) {
        std::cout << "s UNSATISFIABLE\n";
        return 0;
    }
    std::cout << "s SATISFIABLE\n";
    auto u = ts.build(v);
    std::vector<int> ans(n);
    for (int i = 0; i < n; ++i) ans[i] = (u[i] ? i + 1 : -i - 1);
    std::cout << "v ";
    for (auto &&e : ans) std::cout << e << ' ';
    std::cout << 0 << '\n';

    return 0;
}

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/resolver.py", line 291, in resolve
    bundled_code = language.bundle(path, basedir=basedir)
                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus.py", line 242, in bundle
    bundler.update(path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 479, in update
    self._resolve(pathlib.Path(included), included_from=path)
  File "/home/runner/.local/lib/python3.12/site-packages/competitive_verifier/oj/verify/languages/cplusplus_bundle.py", line 286, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
competitive_verifier.oj.verify.languages.cplusplus_bundle.BundleErrorAt: graph/two_sat.hpp: line -1: no such header

Test cases

Env	Name	Status	Elapsed	Memory
g++	cycle_unsat_00	AC	393 ms	134 MB
g++	cycle_unsat_01	AC	389 ms	139 MB
g++	example_00	AC	2 ms	4 MB
g++	example_01	AC	2 ms	4 MB
g++	long_chain_00	AC	433 ms	142 MB
g++	long_chain_01	AC	423 ms	142 MB
g++	long_chain_02	AC	382 ms	95 MB
g++	long_chain_03	AC	377 ms	95 MB
g++	max_random_00	AC	407 ms	48 MB
g++	max_random_01	AC	408 ms	49 MB
g++	max_random_02	AC	413 ms	49 MB
g++	max_random_03	AC	416 ms	48 MB
g++	max_random_04	AC	407 ms	48 MB
g++	random_00	AC	306 ms	41 MB
g++	random_01	AC	338 ms	43 MB
g++	random_02	AC	236 ms	34 MB
g++	random_03	AC	64 ms	22 MB
g++	random_04	AC	98 ms	23 MB

Back to top page