結果

問題 No.274 The Wall
ユーザー kurome____kurome____
提出日時 2017-02-25 01:12:19
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 897 ms / 2,000 ms
コード長 2,416 bytes
コンパイル時間 1,941 ms
コンパイル使用メモリ 179,156 KB
実行使用メモリ 388,096 KB
最終ジャッジ日時 2024-06-22 02:13:09
合計ジャッジ時間 4,664 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 325 ms
181,632 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 2 ms
6,944 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,944 KB
testcase_09 AC 2 ms
6,944 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 897 ms
388,096 KB
testcase_12 AC 28 ms
6,940 KB
testcase_13 AC 2 ms
6,944 KB
testcase_14 AC 7 ms
6,940 KB
testcase_15 AC 14 ms
6,940 KB
testcase_16 AC 151 ms
67,200 KB
testcase_17 AC 146 ms
66,560 KB
testcase_18 AC 151 ms
68,992 KB
testcase_19 AC 24 ms
6,940 KB
testcase_20 AC 27 ms
6,944 KB
testcase_21 AC 28 ms
6,940 KB
testcase_22 AC 30 ms
6,944 KB
testcase_23 AC 29 ms
6,940 KB
testcase_24 AC 29 ms
6,948 KB
testcase_25 AC 29 ms
6,940 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); 

  SCC scc(n*2);
  REP(i,n) REP(j,i) {
    int a = l[i], b = r[i], c = l[j], d = r[j];
    REP(k,4) {
      if (k==2) {a = m - 1 - a; b = m - 1 - b; swap(a,b);}
      if (k>0)  {c = m - 1 - c; d = m - 1 - d; swap(c,d);}
      int x = k/2, y = k&1;  
      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);
      }
    }
  }

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

  return 0;
}
0