#include using namespace std; using LL = long long int; #define incID(i, l, r) for(int i = (l) ; i < (r); ++i) #define decID(i, l, r) for(int i = (r) - 1; i >= (l); --i) #define incII(i, l, r) for(int i = (l) ; i <= (r); ++i) #define decII(i, l, r) for(int i = (r) ; i >= (l); --i) #define inc(i, n) incID(i, 0, n) #define dec(i, n) decID(i, 0, n) #define inc1(i, n) incII(i, 1, n) #define dec1(i, n) decII(i, 1, n) #define inID(v, l, r) ((l) <= (v) && (v) < (r)) #define inII(v, l, r) ((l) <= (v) && (v) <= (r)) #define PB push_back #define EB emplace_back #define MP make_pair #define MT make_tuple #define FI first #define SE second #define FR front() #define BA back() #define ALL(v) v.begin(), v.end() #define RALL(v) v.rbegin(), v.rend() auto setmin = [](auto & a, auto b) { return (b < a ? a = b, true : false); }; auto setmax = [](auto & a, auto b) { return (b > a ? a = b, true : false); }; auto setmineq = [](auto & a, auto b) { return (b <= a ? a = b, true : false); }; auto setmaxeq = [](auto & a, auto b) { return (b >= a ? a = b, true : false); }; #define SI(v) static_cast(v.size()) #define RF(e, v) for(auto & e: v) #define until(e) while(! (e)) #define if_not(e) if(! (e)) #define ef else if #define UR assert(false) #define IN(T, ...) T __VA_ARGS__; IN_(__VA_ARGS__); void IN_() { }; template void IN_(T & a, U & ... b) { cin >> a; IN_(b ...); }; template void OUT(T && a ) { cout << a << endl; } template void OUT(T && a, U && ... b) { cout << a << " "; OUT(b ...); } // ---- ---- // https://beet-aizu.github.io/library/library/graph/stronglyconnectedcomponent.cpp.html struct SCC{ vector< vector > G,R,T,C; vector vs,used,blg; SCC(){} SCC(int n):G(n),R(n),used(n),blg(n){} void add_edge(int u,int v){ G[u].emplace_back(v); R[v].emplace_back(u); } void dfs(int v){ used[v]=1; for(int u:G[v]) if(!used[u]) dfs(u); vs.emplace_back(v); } void rdfs(int v,int k){ used[v]=1; blg[v]=k; C[k].emplace_back(v); for(int u:R[v]) if(!used[u]) rdfs(u,k); } int build(){ int n=G.size(); for(int v=0;v=0;i--){ if(!used[vs[i]]){ T.emplace_back(); C.emplace_back(); rdfs(vs[i],k++); } } for(int v=0;v v <=> !v -> !u scc.add_edge(u,v); scc.add_edge(negate(v),negate(u)); } void add_or(int u,int v){ // u or v <=> !u -> v add_if(negate(u),v); } void add_nand(int u,int v){ // u nand v <=> u -> !v add_if(u,negate(v)); } void set_true(int v){ // v <=> !v -> v scc.add_edge(negate(v),v); } void set_false(int v){ // !v <=> v -> !v scc.add_edge(v,negate(v)); } vector build(){ scc.build(); vector res(n); for(int i=0;iscc[n+i]; } return res; } }; template istream & operator>>(istream & s, vector & v) { RF(e, v) { s >> e; } return s; } template ostream & operator<<(ostream & s, vector const & v) { inc(i, SI(v)) { s << (i == 0 ? "" : " ") << v[i]; } return s; } int main() { IN(int, n); vector s(n), t(n), u(n); cin >> s >> t >> u; inc(i, n) { s[i]--; t[i]--; } auto id = [&](int i, int j) { return n * i + j; }; TwoSat ts(n * n); inc(i, n) { inc(j, n) { int a = id(s[i], j); int b = id(j, t[i]); int A = ts.negate(a); int B = ts.negate(b); if(u[i] == 0) { ts.add_or(a, b); } if(u[i] == 1) { ts.add_or(A, b); } if(u[i] == 2) { ts.add_or(a, B); } if(u[i] == 3) { ts.add_or(A, B); } } } auto res = ts.build(); if(res.empty()) { OUT(-1); } else { inc(i, n) { vector v; inc(j, n) { v.PB(res[id(i, j)] ? 1 : 0); } OUT(v); } } }