結果
| 問題 | 
                            No.3093 Safe Infection
                             | 
                    
| コンテスト | |
| ユーザー | 
                             Jinapetto
                         | 
                    
| 提出日時 | 2025-04-06 17:57:00 | 
| 言語 | C++23  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 2,213 bytes | 
| コンパイル時間 | 8,829 ms | 
| コンパイル使用メモリ | 483,012 KB | 
| 実行使用メモリ | 10,496 KB | 
| 最終ジャッジ日時 | 2025-04-06 17:57:14 | 
| 合計ジャッジ時間 | 12,888 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 14 WA * 56 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
//using mint = modint998244353;
//多倍長整数//
//#include <boost/multiprecision/cpp_int.hpp>
//namespace mp = boost::multiprecision;
//using bint = mp::cpp_int;
const int INF = 1e9;
const int MOD = 998244353;
const long long LINF = 4e18;
using ll = long long;
using vi = vector<int>;
using vl = vector<long long>;
using vs = vector<string>;
using vc = vector<char>;
using vb = vector<bool>;
using vvi = vector<vector<int>>;
using vvvi = vector<vector<vector<int>>>;
using vvvvi = vector<vector<vector<vector<int>>>>;
using vvl = vector<vector<long long>>;
using vvvl = vector<vector<vector<long long>>>;
using vvvvl = vector<vector<vector<vector<long long>>>>;
using vvc = vector<vector<char>>;
using vvb = vector<vector<bool>>;
using vvvb = vector<vector<vector<bool>>>;
using vvvvb = vector<vector<vector<vector<bool>>>>;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define dump(x)  cout << #x << " = " << (x) << endl;
#define Yes(n) cout << ((n) ? "Yes" : "No"  ) << endl
#define ALL(obj) (obj).begin(),(obj).end()
vvi g(1e5);
vb vis(1e5, false);
vb cur_vis(1e5, false);
ll k;
vl a(1e5);
bool dfs(int cur, vi& idx){
    cur_vis[cur] = true;
    if(vis[cur]) return true;
    idx.push_back(cur);
    bool ret = false;
    for(int next : g[cur]){
        if(cur_vis[next]) continue;
        if(a[cur] - a[next] >= k && dfs(next, idx)) ret = true;
    }
    return ret;
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int n, m;
    cin >> n >> m >> k;
    rep(i,n) cin >> a[i];
    rep(i,m){
        int u,v;
        cin >> u >> v;
        u--,v--;
        g[u].push_back(v);
        g[v].push_back(u);
    }
    ll mx = 0;
    rep(i,n) mx = max(mx, a[i]);
    vector<pair<int,int>> so(n);
    rep(i,n) so[i] = {a[i], i};
    reverse(ALL(so));
    for(auto[_, i] : so){
        if(vis[i]) continue;
        vi idx;
        if(!dfs(i, idx) && a[i] != so[0].first){
            cout << "No" << endl;
            return 0;
        }
        for(int j : idx){
            vis[j] = true;
            cur_vis[j] = false;
        }
    }
    cout << "Yes" << endl;
    return 0;
}
            
            
            
        
            
Jinapetto