結果

問題 No.274 The Wall
ユーザー kurome____
提出日時 2017-02-25 01:12:19
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 857 ms / 2,000 ms
コード長 2,416 bytes
コンパイル時間 1,796 ms
コンパイル使用メモリ 172,880 KB
実行使用メモリ 388,096 KB
最終ジャッジ日時 2025-03-17 18:54:55
合計ジャッジ時間 4,418 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 23
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function ‘int main()’:
main.cpp:81:8: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
   81 |   scanf("%d%d ", &n, &m);
      |   ~~~~~^~~~~~~~~~~~~~~~~
main.cpp:82:17: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
   82 |   REP(i,n) scanf("%d%d ", l+i, r+i);
      |            ~~~~~^~~~~~~~~~~~~~~~~~~

ソースコード

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