atcoder#ABC235E. [ABC235E] MST + 1

[ABC235E] MST + 1

配点 : 500500

問題文

NN 頂点 MM 辺の重み付き無向連結グラフ GG が与えられます。GG には自己ループや多重辺が含まれている可能性があります。 頂点には頂点 11, 頂点 22, \dots, 頂点 NN と番号がついています。 辺には辺 11, 辺 22, \dots, 辺 MM と番号がついています。辺 ii は頂点 aia_i と頂点 bib_i を結ぶ重み cic_i の辺です。ここで、1i<jM1 \leq i \lt j \leq M を満たすすべての整数の組 (i,j)(i, j) について cicjc_i \neq c_j が成り立ちます。

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

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

最小全域木とは?

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

制約

  • 2N2×1052 \leq N \leq 2 \times 10^5
  • N1M2×105N - 1 \leq M \leq 2 \times 10^5
  • 1aiN1 \leq a_i \leq N (1iM)(1 \leq i \leq M)
  • 1biN1 \leq b_i \leq N (1iM)(1 \leq i \leq M)
  • 1ci1091 \leq c_i \leq 10^9 (1iM)(1 \leq i \leq M)
  • cicjc_i \neq c_j (1i<jM)(1 \leq i \lt j \leq M)
  • グラフ GG は連結である。
  • 1Q2×1051 \leq Q \leq 2 \times 10^5
  • 1uiN1 \leq u_i \leq N (1iQ)(1 \leq i \leq Q)
  • 1viN1 \leq v_i \leq N (1iQ)(1 \leq i \leq Q)
  • 1wi1091 \leq w_i \leq 10^9 (1iQ)(1 \leq i \leq Q)
  • wicjw_i \neq c_j (1iQ,1jM)(1 \leq i \leq Q, 1 \leq j \leq M)
  • 入力はすべて整数である。

入力

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

NN MM QQ

a1a_1 b1b_1 c1c_1

a2a_2 b2b_2 c2c_2

\vdots

aMa_M bMb_M cMc_M

u1u_1 v1v_1 w1w_1

u2u_2 v2v_2 w2w_2

\vdots

uQu_Q vQv_Q wQw_Q

出力

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

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

以下では頂点 uu と頂点 vv を結ぶ重み ww の無向辺を (u,v,w)(u,v,w) と表します。 GG を図に表したものを以下に挙げます。

image

たとえばクエリ 11 では GGe1=(1,3,1)e_1 = (1,3,1) を追加したグラフ G1G_1 を考えます。G1G_1 の最小全域木 T1T_1 の辺集合は {(1,2,2),(1,3,1),(2,4,5),(3,5,8)}\lbrace (1,2,2),(1,3,1),(2,4,5),(3,5,8) \rbrace であり e1e_1 を含みます。よって Yes を出力します。

2 3 2
1 2 100
1 2 1000000000
1 1 1
1 2 2
1 1 5
Yes
No