atcoder#ABC235E. [ABC235E] MST + 1

[ABC235E] MST + 1

题目描述

N N 頂点 M M 辺の重み付き無向連結グラフ G G が与えられます。G G には自己ループや多重辺が含まれている可能性があります。
頂点には頂点 1 1 , 頂点 2 2 , \dots , 頂点 N N と番号がついています。
辺には辺 1 1 , 辺 2 2 , \dots , 辺 M M と番号がついています。辺 i i は頂点 ai a_i と頂点 bi b_i を結ぶ重み ci c_i の辺です。ここで、1  i < j  M 1\ \leq\ i\ \lt\ j\ \leq\ M を満たすすべての整数の組 (i, j) (i,\ j) について ci  cj c_i\ \neq\ c_j が成り立ちます。

以下で説明される Q Q 個のクエリに答えてください。
i i 番目のクエリでは整数の組 (ui, vi, wi) (u_i,\ v_i,\ w_i) が与えられます。ここで、1  j  M 1\ \leq\ j\ \leq\ M を満たすすべての整数 j j について wi  cj w_i\ \neq\ c_j が成り立ちます。
頂点 ui u_i と頂点 vi v_i を結ぶ重み wi w_i の無向辺を ei e_i として、G G ei e_i を追加してできるグラフ Gi G_i を考えます。 このとき Gi G_i の最小全域木 Ti T_i は一意に定まることが証明できますが、Ti T_i ei e_i は含まれるでしょうか?答えを Yes あるいは No で出力してください。

ここで、クエリの前後で G G は変化しないことに注意してください。言い換えると、クエリ i i G G ei e_i を追加したグラフを考えたとしても、他のクエリで出てくる G G ei e_i が追加されていることはありません。

最小全域木とは? G G 全域木 とは、G G に含まれるすべての頂点と G G に含まれる辺の一部からなる木のことを言います。
G G 最小全域木 とは、G G の全域木の中で辺の重みの和が最小である木のことを言います。

输入格式

入力は以下の形式で標準入力から与えられる。

N N M M Q Q a1 a_1 b1 b_1 c1 c_1 a2 a_2 b2 b_2 c2 c_2 \vdots aM a_M bM b_M cM c_M u1 u_1 v1 v_1 w1 w_1 u2 u_2 v2 v_2 w2 w_2 \vdots uQ u_Q vQ v_Q wQ w_Q

输出格式

Q Q 行出力せよ。i i 行目ではクエリ i i への答えを Yes または No で出力せよ。

题目大意

给定一个 nn 个点,mm 条边无向连通图,每条边有权值 cic_i,各不相同

所以,其最小生成树是唯一的。

qq 次询问,每次给出一条边:xi,yi,wix_i, y_i, w_i

表示两端点为 xix_iyiy_i ,权值为 wiw_i

问:加入这条边之后,该图的最小生成树会不会发生变化?

或者说,加入的这条边是否会在新的最小生成树中?

5 6 3
1 2 2
2 3 3
1 3 6
2 4 5
4 5 9
3 5 8
1 3 1
3 4 7
3 5 7
Yes
No
Yes
2 3 2
1 2 100
1 2 1000000000
1 1 1
1 2 2
1 1 5
Yes
No

提示

制約

  • 2  N  2 × 105 2\ \leq\ N\ \leq\ 2\ \times\ 10^5
  • N  1  M  2 × 105 N\ -\ 1\ \leq\ M\ \leq\ 2\ \times\ 10^5
  • 1  ai  N 1\ \leq\ a_i\ \leq\ N (1  i  M) (1\ \leq\ i\ \leq\ M)
  • 1  bi  N 1\ \leq\ b_i\ \leq\ N (1  i  M) (1\ \leq\ i\ \leq\ M)
  • 1  ci  109 1\ \leq\ c_i\ \leq\ 10^9 (1  i  M) (1\ \leq\ i\ \leq\ M)
  • ci  cj c_i\ \neq\ c_j (1  i < j  M) (1\ \leq\ i\ \lt\ j\ \leq\ M)
  • グラフ G G は連結である。
  • 1  Q  2 × 105 1\ \leq\ Q\ \leq\ 2\ \times\ 10^5
  • 1  ui  N 1\ \leq\ u_i\ \leq\ N (1  i  Q) (1\ \leq\ i\ \leq\ Q)
  • 1  vi  N 1\ \leq\ v_i\ \leq\ N (1  i  Q) (1\ \leq\ i\ \leq\ Q)
  • 1  wi  109 1\ \leq\ w_i\ \leq\ 10^9 (1  i  Q) (1\ \leq\ i\ \leq\ Q)
  • wi  cj w_i\ \neq\ c_j (1  i  Q, 1  j  M) (1\ \leq\ i\ \leq\ Q,\ 1\ \leq\ j\ \leq\ M)
  • 入力はすべて整数である。

Sample Explanation 1

以下では頂点 u u と頂点 v v を結ぶ重み w w の無向辺を (u,v,w) (u,v,w) と表します。 G G を図に表したものを以下に挙げます。 ![image](https://img.atcoder.jp/ghi/15ac15edee5a8b055f65192d7323d43b.png) たとえばクエリ 1 1 では G G e1 = (1,3,1) e_1\ =\ (1,3,1) を追加したグラフ G1 G_1 を考えます。G1 G_1 の最小全域木 T1 T_1 の辺集合は $ \lbrace\ (1,2,2),(1,3,1),(2,4,5),(3,5,8)\ \rbrace $ であり e1 e_1 を含みます。よって Yes を出力します。