結果

問題 No.1843 Tree ANDistance
ユーザー 杨娵隅杨娵隅
提出日時 2022-02-19 00:50:24
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 91 ms / 2,000 ms
コード長 2,064 bytes
コンパイル時間 2,167 ms
コンパイル使用メモリ 206,620 KB
実行使用メモリ 9,484 KB
最終ジャッジ日時 2024-06-29 10:06:27
合計ジャッジ時間 5,110 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 86 ms
9,480 KB
testcase_01 AC 86 ms
9,352 KB
testcase_02 AC 81 ms
9,476 KB
testcase_03 AC 80 ms
9,476 KB
testcase_04 AC 86 ms
9,436 KB
testcase_05 AC 72 ms
9,480 KB
testcase_06 AC 91 ms
9,484 KB
testcase_07 AC 79 ms
9,168 KB
testcase_08 AC 81 ms
9,376 KB
testcase_09 AC 75 ms
9,104 KB
testcase_10 AC 72 ms
9,060 KB
testcase_11 AC 83 ms
9,384 KB
testcase_12 AC 66 ms
8,888 KB
testcase_13 AC 82 ms
9,036 KB
testcase_14 AC 4 ms
5,376 KB
testcase_15 AC 5 ms
5,376 KB
testcase_16 AC 3 ms
5,376 KB
testcase_17 AC 3 ms
5,376 KB
testcase_18 AC 2 ms
5,376 KB
testcase_19 AC 5 ms
5,376 KB
testcase_20 AC 3 ms
5,376 KB
testcase_21 AC 2 ms
5,376 KB
testcase_22 AC 2 ms
5,376 KB
testcase_23 AC 2 ms
5,376 KB
testcase_24 AC 2 ms
5,376 KB
testcase_25 AC 2 ms
5,376 KB
testcase_26 AC 2 ms
5,376 KB
testcase_27 AC 2 ms
5,376 KB
testcase_28 AC 34 ms
8,060 KB
testcase_29 AC 23 ms
6,572 KB
testcase_30 AC 23 ms
6,592 KB
testcase_31 AC 36 ms
8,356 KB
testcase_32 AC 34 ms
8,260 KB
testcase_33 AC 12 ms
5,376 KB
testcase_34 AC 28 ms
7,204 KB
testcase_35 AC 2 ms
5,376 KB
testcase_36 AC 2 ms
5,376 KB
testcase_37 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define int long long

struct dsu
{
  vector<int> fa, sz;

  dsu(int n) : fa(n), sz(n, 1){iota(fa.begin(), fa.end(), 0);}
  int find(int x){while (x != fa[x]) x = fa[x] = fa[fa[x]]; return x;}
  bool same(int x, int y){return find(x) ==find(y);}
  bool merge(int x, int y)
  {
    x = find(x); y = find(y);
    if (x == y) return false;
    sz[x] += sz[y];
    fa[y] = x;
    return true;
  }
  int size(int x){return sz[find(x)];}
};

constexpr int P = 1000000007;
// assume -P <= x < 2P
int norm(int x) 
{
  if (x < 0) x += P;
  if (x >= P) x -= P;
  return x;
}
template<class T>
T qpow(T a, int b) 
{
  T res = 1;
  for (; b; b /= 2, a *= a) 
  {
    if (b % 2) res *= a;
  }
  return res;
}
struct Z
{
  int x;
  Z(int x = 0) : x(norm(x)){}
  int val()const{return x;}
  Z operator - ()const{return Z(norm(P - x));}
  Z inv()const {assert(x != 0); return qpow(*this, P - 2);}
  Z &operator *= (const Z &rhs){x = x * rhs.x % P; return *this;}
  Z &operator += (const Z &rhs){x = norm(x + rhs.x); return *this;}
  Z &operator -= (const Z &rhs){x = norm(x - rhs.x); return *this;}
  Z &operator /= (const Z &rhs){return *this *= rhs.inv();}
  friend Z operator * (const Z &lhs, const Z &rhs){Z ret = lhs; ret *= rhs; return ret;}
  friend Z operator + (const Z &lhs, const Z &rhs){Z ret = lhs; ret += rhs; return ret;}
  friend Z operator - (const Z &lhs, const Z &rhs){Z ret = lhs; ret -= rhs; return ret;}
  friend Z operator / (const Z &lhs, const Z &rhs){Z ret = lhs; ret /= rhs; return ret;}
};

signed main()
{
  ios::sync_with_stdio(false);
  cin.tie(nullptr);

  int n; cin >> n;
  vector<array<int, 3>> g(n - 1);
  for (int i = 1; i < n; i ++)
  {
    int u, v, w; cin >> u >> v >> w;
    u --; v --;
    g.push_back(array<int, 3>{u, v, w});
  }
  Z ans = 0;
  for (int i = 30; i --; )
  {
    ans += ans;
    dsu d(n);
    for (auto [u, v, w] : g)
    {
      if (w >> i & 1)
      {
        ans += d.size(u) * d.size(v);
        d.merge(u, v);
      }
    }
  }
  cout << ans.val() << "\n";

  return 0;
}
0