結果

問題 No.274 The Wall
コンテスト
ユーザー askr58
提出日時 2023-09-21 01:15:10
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 305 ms / 2,000 ms
コード長 1,226 bytes
コンパイル時間 4,065 ms
コンパイル使用メモリ 259,508 KB
実行使用メモリ 192,064 KB
最終ジャッジ日時 2025-03-17 19:12:28
合計ジャッジ時間 6,318 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 23
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
ll inf=1000000000000000;
using mint=modint998244353;
using pint=pair<mint,mint>;

bool is_prime(int l1,int l2,int r1,int r2){
    return !((l1<=r2&&r2<=r1)||(l2<=r1&&r1<=r2));
}
int main()
{
    int n,m;
    cin>>n>>m;
    vector<pair<int,int>> s(n);
    for(int i=0;i<n;i++)cin>>s[i].first>>s[i].second;
    scc_graph g(2*n);
    for(int i=0;i<n;i++){
        for(int j=0;j<n;j++){
            if(i==j)continue;
            int l1=s[i].first,l2=s[j].first,r1=s[i].second,r2=s[j].second;
            if(!is_prime(l1,l2,r1,r2))g.add_edge(i,j+n);
            if(!is_prime(l1,m-1-r2,r1,m-1-l2))g.add_edge(i,j);
            if(!is_prime(m-1-r1,l2,m-1-l1,r2))g.add_edge(i+n,j+n);
            if(!is_prime(m-1-r1,m-1-r2,m-1-l1,m-1-l2))g.add_edge(i+n,j);

        }
    }

    vector<vector<int>> scc=g.scc();
    bool ok=true;

    for(vector<int> v:scc){
        sort(v.begin(),v.end());
        for(int x:v){
            if(x>=n)break;
            if(lower_bound(v.begin(),v.end(),x+n)!=v.end()&&*lower_bound(v.begin(),v.end(),x+n)==x+n)ok=false;
        }
    }
    cout<<(ok?"YES":"NO")<<endl;

    

    


    
}
0