結果

問題 No.274 The Wall
ユーザー kurome____kurome____
提出日時 2017-02-25 00:12:05
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,464 bytes
コンパイル時間 2,340 ms
コンパイル使用メモリ 179,100 KB
実行使用メモリ 387,968 KB
最終ジャッジ日時 2024-06-11 00:09:09
合計ジャッジ時間 4,764 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 208 ms
110,464 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 WA -
testcase_08 AC 1 ms
5,376 KB
testcase_09 AC 1 ms
5,376 KB
testcase_10 WA -
testcase_11 AC 892 ms
387,968 KB
testcase_12 AC 26 ms
5,376 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 AC 158 ms
67,328 KB
testcase_17 AC 129 ms
66,432 KB
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 AC 28 ms
5,376 KB
testcase_24 AC 24 ms
5,376 KB
testcase_25 AC 24 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;

#define FOR(i,s,e) for(int (i)=(s);(i)<(int)(e);(i)++)
#define REP(i,e) FOR(i,0,e)

#define all(o) (o).begin(), (o).end()
#define psb(x) push_back(x)

typedef long long ll;

typedef struct edge_def {
  int from;
  int to;
  int cost;

  edge_def(int _from, int _to, int _cost) {
    from = _from;
    to   = _to;
    cost = _cost;
  };
} edge;

struct SCC {
  int nv; //頂点数
  vector<vector<edge>> edges_forward;
  vector<vector<edge>> edges_backward;
  vector<int> usd;       //確定したかチェック用
  vector<int> vs;        //帰りがけ順の並び
  vector<int> cmp;       //強連結成分のトポロジカル順序

  SCC(int nv) {
    this->nv = nv;
    edges_forward.resize(nv);
    edges_backward.resize(nv);
    usd.resize(nv);
    cmp.resize(nv);
  }

  inline void set_edge(int from, int to, int weight) {
    edges_forward[from].psb(edge(from,to,weight));
    edges_backward[to].psb(edge(to,from,weight));
  }

  void decompose_dfs_forward(int v) {
    usd[v] = 1;
    REP(i,(int)edges_forward[v].size())
      if (!usd[edges_forward[v][i].to]) decompose_dfs_forward(edges_forward[v][i].to);
    vs.psb(v);
  }

  void decompose_dfs_backward(int v, int k) {
    usd[v] = 1;
    cmp[v] = k;
    REP(i,(int)edges_backward[v].size()) 
      if (!usd[edges_backward[v][i].to]) decompose_dfs_backward(edges_backward[v][i].to, k);
  }

  int decompose() {
    fill(all(usd), 0);
    vs.clear();
    REP(v,nv) if (!usd[v]) decompose_dfs_forward(v);

    fill(all(usd), 0);
    int k = 0;
    REP(i,(int)vs.size()) 
      if (!usd[vs[vs.size()-1-i]]) 
        decompose_dfs_backward(vs[vs.size()-1-i], k++);

    return k; //decomp scc後のnodeの数
  }
};

const int N = 2000;
const int M = 4000;
int n, m;
int l[N], r[N];

int main() {
  scanf("%d%d ", &n, &m);
  REP(i,n) scanf("%d%d ", l+i, r+i);

  REP(i,n) {
   scanf("%d%d ", l+i, r+i); 
   l[i]--; r[i]--;
  }
  SCC scc(n*2);
  REP(i,n) FOR(j,0,i) {
    int a = l[i], b = r[i], c = l[j], d = r[j];
    REP(x,2) {
      REP(y,2) {
        if (max(a,c) <= min(b,d)) {
          scc.set_edge((1-x)*n+i,y*n+j,0);
          scc.set_edge((1-y)*n+j,x*n+i,0);
        }
        c = m - 1 - c; d = m - 1 - d; swap(c,d);
      }
      a = m - 1 - a; b = m - 1 - b; swap(a,b);
    }
  }

  scc.decompose();
  int res = 1;
  REP(i,m) if (scc.cmp[i]==scc.cmp[m+i]) {
    res = 0;
    break; 
  }
  printf("%s\n", res ? "YES" : "NO");

  return 0;
}
0