結果

問題 No.274 The Wall
ユーザー kurome____kurome____
提出日時 2017-02-25 01:12:19
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 924 ms / 2,000 ms
コード長 2,416 bytes
コンパイル時間 2,126 ms
コンパイル使用メモリ 177,708 KB
実行使用メモリ 387,688 KB
最終ジャッジ日時 2023-09-04 02:15:47
合計ジャッジ時間 5,230 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 343 ms
181,436 KB
testcase_04 AC 1 ms
4,376 KB
testcase_05 AC 2 ms
4,384 KB
testcase_06 AC 2 ms
4,376 KB
testcase_07 AC 1 ms
4,376 KB
testcase_08 AC 1 ms
4,380 KB
testcase_09 AC 1 ms
4,376 KB
testcase_10 AC 1 ms
4,376 KB
testcase_11 AC 924 ms
387,688 KB
testcase_12 AC 27 ms
4,376 KB
testcase_13 AC 2 ms
4,376 KB
testcase_14 AC 6 ms
4,376 KB
testcase_15 AC 13 ms
4,376 KB
testcase_16 AC 149 ms
67,024 KB
testcase_17 AC 146 ms
66,372 KB
testcase_18 AC 150 ms
68,908 KB
testcase_19 AC 23 ms
4,376 KB
testcase_20 AC 26 ms
4,376 KB
testcase_21 AC 27 ms
4,376 KB
testcase_22 AC 28 ms
4,376 KB
testcase_23 AC 29 ms
4,380 KB
testcase_24 AC 29 ms
4,376 KB
testcase_25 AC 28 ms
4,380 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