結果

問題 No.1078 I love Matrix Construction
ユーザー 👑 emthrmemthrm
提出日時 2020-06-12 21:49:26
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 322 ms / 2,000 ms
コード長 2,877 bytes
コンパイル時間 2,767 ms
コンパイル使用メモリ 210,492 KB
実行使用メモリ 48,544 KB
最終ジャッジ日時 2024-06-24 04:49:51
合計ジャッジ時間 8,428 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 23 ms
10,112 KB
testcase_03 AC 96 ms
20,684 KB
testcase_04 AC 140 ms
26,856 KB
testcase_05 AC 118 ms
23,120 KB
testcase_06 AC 28 ms
9,984 KB
testcase_07 AC 9 ms
5,760 KB
testcase_08 AC 133 ms
23,332 KB
testcase_09 AC 5 ms
5,376 KB
testcase_10 AC 322 ms
48,544 KB
testcase_11 AC 128 ms
28,144 KB
testcase_12 AC 208 ms
40,828 KB
testcase_13 AC 227 ms
45,388 KB
testcase_14 AC 147 ms
33,068 KB
testcase_15 AC 224 ms
43,304 KB
testcase_16 AC 8 ms
6,940 KB
testcase_17 AC 2 ms
6,940 KB
testcase_18 AC 17 ms
8,192 KB
testcase_19 AC 45 ms
14,404 KB
testcase_20 AC 45 ms
14,080 KB
testcase_21 AC 3 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define _USE_MATH_DEFINES
#include <bits/stdc++.h>
using namespace std;
#define FOR(i,m,n) for(int i=(m);i<(n);++i)
#define REP(i,n) FOR(i,0,n)
#define ALL(v) (v).begin(),(v).end()
using ll = long long;
const int INF = 0x3f3f3f3f;
const ll LINF = 0x3f3f3f3f3f3f3f3fLL;
const double EPS = 1e-8;
const int MOD = 1000000007;
// const int MOD = 998244353;
const int dy[] = {1, 0, -1, 0}, dx[] = {0, -1, 0, 1};
const int dy8[] = {1, 1, 0, -1, -1, -1, 0, 1}, dx8[] = {0, -1, -1, -1, 0, 1, 1, 1};
template <typename T, typename U> inline bool chmax(T &a, U b) { return a < b ? (a = b, true) : false; }
template <typename T, typename U> inline bool chmin(T &a, U b) { return a > b ? (a = b, true) : false; }
struct IOSetup {
  IOSetup() {
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);
    cout << fixed << setprecision(20);
  }
} iosetup;

struct TwoSatLight {
  TwoSatLight(int n) : n(n), graph(n << 1), rev_graph(n << 1), used(n << 1, false), id(n << 1, -1) {}

  int negate(int x) { return (n + x) % (n << 1); }

  void add_or(int x, int y) {
    graph[negate(x)].emplace_back(y);
    graph[negate(y)].emplace_back(x);
    rev_graph[y].emplace_back(negate(x));
    rev_graph[x].emplace_back(negate(y));
  }

  void add_if(int x, int y) { add_or(negate(x), y); }

  void add_nand(int x, int y) { add_or(negate(x), negate(y)); }

  void set_true(int x) { add_or(x, x); }

  void set_false(int x) { set_true(negate(x)); }

  vector<bool> build() {
    REP(i, n << 1) {
      if (!used[i]) dfs(i);
    }
    int now = 0;
    for (int i = (n << 1) - 1; i >= 0; --i) {
      if (id[order[i]] == -1) rev_dfs(order[i], now++);
    }
    vector<bool> res(n);
    REP(i, n) {
      if (id[i] == id[negate(i)]) return {};
      res[i] = id[negate(i)] < id[i];
    }
    return res;
  }

private:
  int n;
  vector<vector<int>> graph, rev_graph;
  vector<bool> used;
  vector<int> id, order;

  void dfs(int ver) {
    used[ver] = true;
    for (int e : graph[ver]) {
      if (!used[e]) dfs(e);
    }
    order.emplace_back(ver);
  }

  void rev_dfs(int ver, int now) {
    id[ver] = now;
    for (int e : rev_graph[ver]) {
      if (id[e] == -1) rev_dfs(e, now);
    }
  }
};

int main() {
  int n; cin >> n;
  vector<int> s(n), t(n), u(n);
  REP(i, n) cin >> s[i], --s[i];
  REP(i, n) cin >> t[i], --t[i];
  REP(i, n) cin >> u[i];
  TwoSatLight two_sat(n * n);
  REP(i, n) REP(j, n) {
    int x = s[i] * n + j, y = j * n + t[i];
    if (u[i] == 0) {
      two_sat.add_or(x, y);
    } else if (u[i] == 1) {
      two_sat.add_if(x, y);
    } else if (u[i] == 2) {
      two_sat.add_if(y, x);
    } else if (u[i] == 3) {
      two_sat.add_or(two_sat.negate(x), two_sat.negate(y));
    }
  }
  vector<bool> ans = two_sat.build();
  if (ans.empty()) {
    cout << "-1\n";
    return 0;
  }
  int pos = 0;
  REP(i, n) REP(j, n) cout << ans[pos++] << " \n"[j + 1 == n];
  return 0;
}
0