test/yosupo/two_sat.test.cpp

View this file on GitHub
Last update: 2020-10-27 18:08:33+09:00
Problem: https://judge.yosupo.jp/problem/two_sat

Depends on

Code

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

#include<bits/stdc++.h>
using namespace std;

#define call_from_test
#include "../../graph/stronglyconnectedcomponent.cpp"
#include "../../graph/twosatisfiability.cpp"
#undef call_from_test

signed main(){
  cin.tie(0);
  ios::sync_with_stdio(0);

  string s;
  cin>>s;
  cin>>s;

  int n,m;
  cin>>n>>m;

  TwoSat ts(n+1);
  for(int i=0;i<m;i++){
    int a,b,c;
    cin>>a>>b>>c;
    if(a<0) a=ts.negate(abs(a));
    if(b<0) b=ts.negate(abs(b));
    ts.add_or(a,b);
  }

  auto res=ts.build();
  if(res.empty()){
    cout<<"s UNSATISFIABLE"<<endl;
    return 0;
  }

  cout<<"s SATISFIABLE"<<endl;
  cout<<"v";
  for(int i=1;i<=n;i++)
    cout<<" "<<(res[i]?i:-i);
  cout<<" "<<0<<endl;
  return 0;
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.11.3/x64/lib/python3.11/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.11.3/x64/lib/python3.11/site-packages/onlinejudge_verify/languages/cplusplus.py", line 187, in bundle
    bundler.update(path)
  File "/opt/hostedtoolcache/Python/3.11.3/x64/lib/python3.11/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 401, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
  File "/opt/hostedtoolcache/Python/3.11.3/x64/lib/python3.11/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 400, in update
    raise BundleErrorAt(path, i + 1, "unable to process #include in #if / #ifdef / #ifndef other than include guards")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: graph/twosatisfiability.cpp: line 6: unable to process #include in #if / #ifdef / #ifndef other than include guards