結果

問題 No.274 The Wall
ユーザー askr58
提出日時 2023-09-21 01:15:10
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 304 ms / 2,000 ms
コード長 1,226 bytes
コンパイル時間 3,798 ms
コンパイル使用メモリ 258,488 KB
最終ジャッジ日時 2025-02-16 23:48:24
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます

ソースコード

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;
    
    
    
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0