結果

問題 No.274 The Wall
コンテスト
ユーザー blackyuki
提出日時 2021-02-06 15:07:42
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 673 ms / 2,000 ms
コード長 2,856 bytes
コンパイル時間 1,995 ms
コンパイル使用メモリ 207,292 KB
実行使用メモリ 260,224 KB
最終ジャッジ日時 2025-03-17 19:09:02
合計ジャッジ時間 4,398 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define rep(i, n)  for(long long i=0;i<(long long)(n);i++)
#define REP(i,k,n) for(long long i=k;i<(long long)(n);i++)
#define all(a) a.begin(),a.end()
#define rsort(a) {sort(all(a));reverse(all(a));}
#define pb emplace_back
#define lb(v,k) (lower_bound(all(v),(k))-v.begin())
#define fi first
#define se second
#define dupli(a) {sort(all(a));a.erase(unique(all(a)),a.end());}
#define dame(a) {cout<<a<<endl;return 0;}
typedef long long ll;
typedef pair<ll,ll> P;
typedef tuple<ll,ll,ll> PP;
typedef tuple<ll,ll,ll,ll> PPP;
using vi=vector<ll>;
using vvi=vector<vi>;
using vvvi=vector<vvi>;
using vvvvi=vector<vvvi>;
using vp=vector<P>;
using vvp=vector<vp>;
using vvvp=vector<vvp>;
using vb=vector<bool>;
using vvb=vector<vb>;
template<class T> bool chmin(T&a,T b){if(a>b){a=b;return true;}return false;}
template<class T> bool chmax(T&a,T b){if(a<b){a=b;return true;}return false;}
template<class T> void out(T a){cout<<a<<'\n';}
template<class T> void outp(T a){cout<<'('<<a.fi<<','<<a.se<<')'<<'\n';}
template<class T> void outvp(T v){rep(i,v.size())cout<<'('<<v[i].fi<<','<<v[i].se<<')';cout<<'\n';}
template<class T> void outvvp(T v){rep(i,v.size())outvp(v[i]);}
template<class T> void outv(T v){rep(i,v.size()){if(i)cout<<' ';cout<<v[i];}cout<<'\n';}
template<class T> void outvv(T v){rep(i,v.size())outv(v[i]);}
const ll inf=1001001001001001001;
vi scc(vvi&g,ll&number_of_components){
    ll n=g.size();
    number_of_components=0;
    vvi rg(n);rep(i,n)for(ll x:g[i])rg[x].pb(i);
    vi topo,res(n);
    vb visited(n,false);
    function<void(ll,ll)> dfs=[&](ll i,ll md){
        visited[i]=true;
        if(md==0){
            for(ll x:g[i])if(!visited[x])dfs(x,md);
            topo.pb(i);
        }
        else{
            for(ll x:rg[i])if(!visited[x])dfs(x,md);
            res[i]=number_of_components;
        }
    };
    rep(i,n)if(!visited[i])dfs(i,0);
    reverse(all(topo));
    rep(i,n)visited[i]=false;
    for(ll i:topo)if(!visited[i]){
        dfs(i,1);
        number_of_components++;
    }
    return res;
}
int main(){
    ll n,m;cin>>n>>m;
    vp v(n);rep(i,n)cin>>v[i].fi>>v[i].se;
    vvi g(n*2);
    auto rev=[&](P p){
        return P(m-1-p.se,m-1-p.fi);
    };
    auto no=[&](P a,P b){
        if(a.se<b.fi)return false;
        if(b.se<a.fi)return false;
        return true;
    };
    rep(i,n)rep(j,i){
        if(no(v[i],v[j])){
            g[i].pb(j+n);
            g[j].pb(i+n);
        }
        if(no(rev(v[i]),v[j])){
            g[i+n].pb(j+n);
            g[j].pb(i);
        }
        if(no(v[i],rev(v[j]))){
            g[i].pb(j);
            g[j+n].pb(i+n);
        }
        if(no(rev(v[i]),rev(v[j]))){
            g[i+n].pb(j);
            g[j+n].pb(i);
        }
    }
    ll c;vi res=scc(g,c);
    rep(i,n)if(res[i]==res[i+n])dame("NO");
    out("YES");
}
0