結果

問題 No.3517 Snake Kunekune Graph
コンテスト
ユーザー aa36
提出日時 2026-04-20 19:34:16
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
WA  
実行時間 -
コード長 1,665 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,840 ms
コンパイル使用メモリ 343,268 KB
実行使用メモリ 45,184 KB
最終ジャッジ日時 2026-04-24 20:56:02
合計ジャッジ時間 14,496 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 30 WA * 15
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

// O(N + M)解法

#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i = a; i < b; i ++ )
#define all(x) x.begin(),x.end()
const int INF = 1<<30;
using ll = long long;
#define chmin(a,b) a = min(a,b)
#define chmax(a,b) a = max(a,b)
int main() {
   int N, M, X, K; cin >> N >> M >> X >> K;
   vector<int> A(N); rep(i,0,N) cin >> A[i];
   vector<int> plus(N, INF), minus(N, 0);
   vector<vector<int>> G(2*N);
   auto add_edge = [&G](int i, int j) -> void { G[i].push_back(j); G[j].push_back(i); };
   rep(i,0,M) {
      int u, v; cin >> u >> v;
      u -- , v -- ;
      if (A[u] > A[v]) swap(u,v);
      if (A[v] - A[u] <= X) add_edge(u, v + N);
      chmin(plus[u], A[v]);
      chmax(minus[v], A[u]);
   }
   rep(i,0,N) if (K == 2 || plus[i] - minus[i] <= X) add_edge(i, i + N);
   //DFSで色付ける
   vector<int> col(2*N,-1);
   auto dfs = [&](auto&&self, int v, int c) -> void {
     if (col[v] == -1) col[v] = c;
     else return;
     for (auto x: G[v]) self(self, x, c);
   };
   rep(i,0,2*N) dfs(dfs, i, i);
   ll ans = 0;
   vector<ll> cnt_col(2*N, 0);
   rep(i,0,N) if (col[i] != col[i+N]) cnt_col[col[i]] ++ ;
   rep(i,N,2*N) cnt_col[col[i]] ++ ;
   for (auto x: cnt_col) ans += x * (x - 1);
   // 複数のグループに含まれるやつについて
   vector<vector<int>> tr(2*N);
   rep(i,0,N) {
     if (col[i] < col[i+N]) tr[col[i]].push_back(col[i+N]);
     if (col[i] > col[i+N]) tr[col[i+N]].push_back(col[i]);
   }
   vector<ll> C(2*N, 0); //カウント用のやつ
   for (auto t: tr) {
     for (auto x: t) {
       ans -= C[x];
       C[x] ++ ;
     }
     for (auto x: t) C[x] -- ;
   }
   cout << ans << endl;
}
0