結果

問題 No.274 The Wall
コンテスト
ユーザー 👑 CleyL
提出日時 2024-01-19 14:21:18
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 15 ms / 2,000 ms
コード長 3,300 bytes
コンパイル時間 1,268 ms
コンパイル使用メモリ 130,396 KB
実行使用メモリ 7,324 KB
最終ジャッジ日時 2025-03-17 19:12:49
合計ジャッジ時間 2,413 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

#line 2 "/home/sakflat/CP/_library/cpp/template/template.cpp"

//yukicoder@cpp17

#include <iostream>
#include <iomanip>

#include <algorithm>

#include <cmath>
#include <cctype>
#include <climits>
#include <cassert>

#include <string>
#include <vector>
#include <set>
#include <stack>
#include <queue>
#include <map>

#include <random>

#include <bitset>

#include <complex>

#include <utility>

#include <numeric>

#include <functional>


using namespace std;
using ll = long long;
using P = pair<ll,ll>;

const ll MOD = 998244353;
const ll MODx = 1000000007;
const int INF = (1<<30)-1;
const ll LINF = (1LL<<62LL)-1;
const double EPS = (1e-10);

P ar4[4] = {{0,1},{0,-1},{1,0},{-1,0}};
P ar8[8] = {{-1,-1},{-1,0},{-1,1},{0,-1},{0,1},{1,-1},{1,0},{1,1}};




template <typename T> vector<T> make_vector(size_t a, T b) { return vector<T>(a, b); }
template <typename... Ts> auto make_vector(size_t a, Ts... ts) { return vector<decltype(make_vector(ts...))>(a, make_vector(ts...)); }
 
 /*
確認ポイント
cout << fixed << setprecision(n) << 小数計算//n桁の小数表記になる

計算量は変わらないが楽できるシリーズ
min(max)_element(iter,iter)で一番小さい(大きい)値のポインタが帰ってくる
count(iter,iter,int)でintがiterからiterの間にいくつあったかを取得できる
*/

/*
function corner below
*/


/*
Function corner above
*/

/* comment outed because can cause bugs
__attribute__((constructor))
void initial() {
 cin.tie(0);
 ios::sync_with_stdio(false);
}
*/
#line 2 "/home/sakflat/CP/_library/cpp/template/basic.cpp"
#line 1 "CP/_library/cpp/data-structure/union-find.cpp"
struct UnionFind {
  int n;
  vector<int> par;
  vector<int> size_;
  UnionFind(int n_) : n(n_), par((size_t)n_), size_((size_t)n_,1){
    for(int i = 0; n > i; i++)par[i] = i;
  }

  int root(int x){
    if(par[x] == x)return x;
    return par[x] = root(par[x]);
  }

  void unite(int a,int b){
    int ra = root(a);
    int rb = root(b);
    if(ra==rb)return;
    if(size(ra) > size(rb)) swap(ra,rb);
    par[ra] = rb;
    size_[rb] += size_[ra];
  }

  bool same(int a, int b){
    return root(a) == root(b);
  }

  int size(int a){
    return size_[root(a)];
  }
  void debug(){
    for(int i = 0; n > i; i++){
      cout << size_[root(i)] << " ";
    }
    cout << endl;

    return;
  }
};

bool conflict(pair<int,int> a, pair<int,int> b, int m){
  if(m == 0){
    return !(a.second < b.first || b.second < a.first);
  }else{
    pair<int,int> c = {m-1-b.second, m-1-b.first};
    return !(a.second < c.first || c.second < a.first);
  }
}

int main(){
  int n,m;cin>>n>>m;
  vector<pair<int,int>> A(n);
  for(int i = 0; n > i; i++){
    cin>>A[i].first>>A[i].second;
  }
  UnionFind uf(2*n);
  for(int i = 0; n > i; i++){
    for(int j = i; n > j; j++){
      if(i!=j && conflict(A[i], A[j], 0)){
        if(uf.same(2*i, 2*j) || uf.same(2*i+1, 2*j+1)){
          cout << "NO" << endl;
          return 0;
        }
        uf.unite(2*i, 2*j);
        uf.unite(2*i+1, 2*j+1);
      }
      if(conflict(A[i], A[j], m)){
        if(uf.same(2*i, 2*j+1) || uf.same(2*i+1, 2*j)){
          cout << "NO" << endl;
          return 0;
        }
        uf.unite(2*i, 2*j+1);
        uf.unite(2*i+1, 2*j);
      }
    }
  }
  cout << "YES" << endl;
  return 0;
}
0