結果

問題 No.274 The Wall
ユーザー moti
提出日時 2015-09-12 02:14:30
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 383 ms / 2,000 ms
コード長 2,839 bytes
コンパイル時間 6,019 ms
コンパイル使用メモリ 100,648 KB
実行使用メモリ 132,352 KB
最終ジャッジ日時 2025-03-17 18:50:19
合計ジャッジ時間 6,351 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <algorithm>
#include <cmath>
#include <vector>
#include <complex>
#include <queue>
#include <deque>
#include <set>
#include <map>
#include <unordered_set>
#include <unordered_map>
#include <iomanip>
#include <cstring>
#include <assert.h>
#include <array>
#include <cstdio>

using namespace std;

#define REP(i,a,b) for(int i=a;i<(int)b;i++)
#define rep(i,n) REP(i,0,n)

typedef long long ll;

const int MAX_V = 6000;

vector<int> G[MAX_V];
vector<int> rG[MAX_V];
vector<int> vs;
bool used[MAX_V];
int cmp[MAX_V];

void add_edge(int from, int to) {
  G[from].push_back(to);
  rG[to].push_back(from);
}

void dfs(int v) {
  used[v] = true;
  for(int i=0; i<G[v].size(); i++) {
    if(!used[G[v][i]]) dfs(G[v][i]);
  }
  vs.push_back(v);
}

void rdfs(int v, int k) {
  used[v] =  true;
  cmp[v] = k;
  for(int i=0; i<rG[v].size(); i++) {
    if(!used[rG[v][i]]) rdfs(rG[v][i], k);
  }
}

int V;

int scc() {

  memset(used, 0, sizeof(used));
  vs.clear();
  for(int v=0; v<V; v++) {
    if(!used[v]) dfs(v);
  }

  memset(used, 0, sizeof(used));

  // 逆辺にしたらDAGなら進めないところが、巡回路であれば進めるので、それらを同じ数字でマークできる。
  int k = 0;
  for(int i=(int)vs.size()-1; i>=0; i--) {
    if(!used[vs[i]]) rdfs(vs[i], k++);
  }
  return k;
}

const int MAX_N = 2001;

int N, M;
using tpl = tuple<int, int>;
tpl lr[MAX_N * 2];

bool uncover(tpl a, tpl b) {
  auto&& al = get<0>(a), &&ar = get<1>(a);
  auto&& bl = get<0>(b), &&br = get<1>(b);
  return !(
    (bl <= al && al <= br) || (bl <= ar && ar <= br)
    ||
    (al <= bl && bl <= ar) || (al <= br && br <= ar)
  );
}

int main() {

  cin >> N >> M;
  rep(i, N) {
    int l, r; cin >> l >> r; lr[i] = make_tuple(l, r);
    lr[N+i] = make_tuple(M-1-get<1>(lr[i]), M-1-get<0>(lr[i]));
    //printf("(%d, %d) -> (%d, %d)\n", get<0>(lr[i]), get<1>(lr[i]), get<0>(lr[N+i]), get<1>(lr[N+i]));
  }

  /*
    基本形: p -> q <=> ~q -> ~p <=> ~p v q <=> ~(p ∧ ~q)
    p, q の符号の組み合わせをすべて試す
   */

  rep(i, N) REP(j, i+1, N) {

    // p -> ~q <=> q -> ~p <=> ~p v ~q <=> ~(p ∧ q)
    if(!uncover(lr[i], lr[j])) {
      add_edge(j, N+i);
      add_edge(i, N+j);
    }

    // ~p -> ~q <=> q -> p <=> p v ~q <=> ~(~p ∧ q)
    if(!uncover(lr[N+i], lr[j])) {
      add_edge(N+i, N+j);
      add_edge(j, i);
    }

    // p -> q <=> ~q -> ~p <=> ~p v q <=> ~(p ∧ ~q)
    if(!uncover(lr[i], lr[N+j])) {
      add_edge(i, j);
      add_edge(N+j, N+i);
    }

    // ~p -> q <=> ~q -> p <=> p v q <=> ~(~p ∧ ~q)
    if(!uncover(lr[N+i], lr[N+j])) {
      add_edge(N+i, j);
      add_edge(N+j, i);
    }
  }

  V = 2 * N;

  scc();

  rep(i, N) {
    if(cmp[i] == cmp[N+i]) {
      cout << "NO" << endl;
      return 0;
    }
  }

  cout << "YES" << endl;

  return 0;
}
0