test_verify/yosupo_library_checker/Math/Two_Sat.test.py

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

Depends on

• 2-SAT (Two_SAT.py)

Code

# verification-helper: PROBLEM https://judge.yosupo.jp/problem/two_sat

#==================================================
from Two_SAT import *

import sys
input=sys.stdin.readline
write=sys.stdout.write

#==================================================
def verify():
    p, cnf, N, M = input().split()
    N = int(N); M = int(M)

    T = Two_SAT(N)
    for _ in range(M):
        a, b, zero = map(int,input().split())

        if a > 0:
            a = a - 1
        else:
            a = ~(-a - 1)

        if b > 0:
            b = b - 1
        else:
            b = ~(-b - 1)

        T.add_or(a, b)

    T.calculate()

    if not T.is_satisfiable:
        print("s","UNSATISFIABLE")
        return

    print("s","SATISFIABLE")
    ans = T.ans
    V = [i + 1 if ans[i] else -(i + 1) for i in range(N)]
    V.append(0)

    print("v", *V)

#==================================================
verify()

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.13.3/x64/lib/python3.13/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
                   ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.13.3/x64/lib/python3.13/site-packages/onlinejudge_verify/languages/python.py", line 96, in bundle
    raise NotImplementedError
NotImplementedError

Back to top page