trang chủ / đề bài / difftree / lời giải

Cộng đường đi trên cây

Chỉ dùng lời giải này khi không có ý tưởng, và đừng copy-paste code từ lời giải này. Hãy tôn trọng người ra đề và người viết lời giải.
Nộp một lời giải chính thức trước khi tự giải là một hành động có thể bị ban.
Tác giả: huunguyenhuunguyen

Hướng tiếp cận

Áp dụng kĩ thuật mảng hiệu trên cây (tree difference array) — phiên bản cộng theo đường đi của difference-array một chiều.

Nhận xét quan trọng

Với mỗi thao tác (u,v,w), gọi L=lca(u,v). Ta tăng một mảng d[·] như sau:

d[u]+=w,d[v]+=w,d[L]−=w,d[par(L)]−=w (nếu tồn tại).

Sau khi xử lí xong tất cả thao tác, giá trị cuối tại đỉnh x chính là tổng d[y] với y chạy trên toàn bộ cây con gốc x:

val(x)=∑y∈subtree(x)d[y].

Vì sao đúng? Xét một đường đi u→v với LCA là L. Với mỗi đỉnh x trên cây, ta cần chứng minh tổng d trong cây con của x bằng w nếu x nằm trên đường đi và bằng 0 nếu không.

  • Nếu x nằm trên đoạn u–L (không kể L): cây con x chứa u nhưng không chứa v,L,par(L) → tổng =w.
  • Nếu x=L: cây con chứa u,v,L nhưng không chứa par(L) → tổng =w+w−w=w.
  • Nếu x nằm trên đoạn v–L (không kể L): tương tự → tổng =w.
  • Nếu x là tổ tiên thực sự của L: cây con chứa cả u,v,L,par(L) → tổng =w+w−w−w=0.
  • Các trường hợp khác (không liên quan): tổng =0.

Trường hợp u=v (đường đi 1 đỉnh): L=u nên d[u]+=w hai lần và d[L]−=w một lần, tổng vẫn cho đúng w tại u.

Thuật toán

  1. Đọc cây, dựng danh sách kề.
  2. BFS từ gốc, ghi depth[v], parent[v] và thứ tự BFS để sau dùng cộng cây con từ lá lên.
  3. Dựng binary lifting up[k][v] với k=0..⌈log2N⌉ để truy vấn LCA trong O(logN).
  4. Với mỗi thao tác (u,v,w):
    • Tính L=lca(u,v).
    • d[u]+=w, d[v]+=w, d[L]−=w, nếu par(L)≠0 thì d[par(L)]−=w.
  5. Duyệt các đỉnh theo thứ tự ngược của thứ tự BFS (con trước cha), với mỗi đỉnh không phải gốc cộng d[v] vào d[par(v)]. Khi xong, d[v] chính là val(v).
  6. In ra d[1],d[2],…,d[N].

Độ phức tạp

  • Thời gian: O((N+Q)logN).
  • Bộ nhớ: O(NlogN) cho binary lifting.

Bình luận

Không có bình luận tại thời điểm này.

gnatmake 12.2.0 a68g 3.1.2 nasm 2.16.1 as_x64 2.47 awk 1.3.4 gcc 16.2.0 dotnet 10.0.402 g++ 16.2.0 g++-themis 16.2.0 g++17 16.2.0 g++20 16.2.0 g++23 16.2.0 clang++ 22.1.8 dmd 2.113.0 dart 3.13.6 gforth 0.7.3 gfortran 15.3.0 go 1.27.3 groovyc 5.1.3 javac 26.0.2.1 node 26.12.1 julia 1.13.2 kotlinc 2.4.21 lean 4.35.0 sbcl 2.2.9 lua 5.5.1 nim 2.2.12 fpc 3.2.2 fpc-themis 3.2.2 perl 5.42.3 php 8.5.12 pike 8.0 swipl 9.0.4 pypy3 7.3.23 python3 3.15.1 racket 8.7 ruby 4.0.8 rustc 1.99.1 csc 5.3.0 ctoj-scratch 0.0.1 sed 4.9 swiftc 6.4.1 tclsh 8.6 bun 1.4.4 deno 2.9.8 v 0.5.2 zig 0.17.0