#include #define rep(i, p, n) for (ll i = p; i < (ll)(n); i++) #define rep2(i, p, n) for (ll i = p; i >= (ll)(n); i--) using namespace std; using ll = long long; using ld = long double; const double pi = 3.141592653589793; const long long inf = 2 * 1e9; const long long linf = 4 * 1e18; const ll mod1 = 1000000007; const ll mod2 = 998244353; template inline bool chmax(T &a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T &a, T b) { if (a > b) { a = b; return 1; } return 0; } // atcoder #include using namespace atcoder; using mint1 = modint1000000007; using mint2 = modint998244353; vector> base = {{-1, 0}, {1, 0}, {0, -1}, {0, 1}}; int main() { ll N, M, K; cin >> N >> M >> K; vector A(N); vector> li(N); rep(i, 0, N) { cin >> A.at(i); li.at(i) = {A.at(i), i}; } sort(li.begin(), li.end()); vector> G(N); rep(i, 0, M) { ll u, v; cin >> u >> v; u--; v--; G.at(u).push_back(v); G.at(v).push_back(u); } dsu D(N); rep(i, 0, N) { for (ll c : G.at(li.at(i).second)) { if (A.at(D.leader(li.at(i).second)) >= A.at(D.leader(c)) && A.at(D.leader(li.at(i).second)) - A.at(D.leader(c)) <= K) { A.at(D.leader(c)) = A.at(D.leader(li.at(i).second)); D.merge(li.at(i).second, c); } } } if (D.groups().size() == 1) { cout << "Yes" << endl; } else { cout << "No" << endl; } return 0; }