結果
問題 | No.1038 TreeAddQuery |
ユーザー |
|
提出日時 | 2020-04-24 22:26:39 |
言語 | Java (openjdk 23) |
結果 |
MLE
(最新)
AC
(最初)
|
実行時間 | - |
コード長 | 11,057 bytes |
コンパイル時間 | 4,165 ms |
コンパイル使用メモリ | 89,760 KB |
実行使用メモリ | 745,140 KB |
最終ジャッジ日時 | 2024-11-25 04:43:05 |
合計ジャッジ時間 | 34,773 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 23 MLE * 1 |
ソースコード
package contest200424;import java.io.ByteArrayInputStream;import java.io.IOException;import java.io.InputStream;import java.io.PrintWriter;import java.util.Arrays;import java.util.InputMismatchException;public class F {InputStream is;PrintWriter out;String INPUT = "";void solve(){int n = ni(), Q = ni();int[] from = new int[n - 1];int[] to = new int[n - 1];for (int i = 0; i < n - 1; i++) {from[i] = ni() - 1;to[i] = ni() - 1;}int[][] g = packU(n, from, to);int[][] pars = parents3(g, 0);int[] par = pars[0], ord = pars[1], dep = pars[2];int[] cpar = buildCentroidTree(g);maxds = new int[n];ctneck = new int[n];Context cx = dfsTopCT(cpar, g);long[][] plus = new long[n][];long[] plusall = new long[n];for(int i = 0;i < n;i++){plus[i] = new long[maxds[i]+1+3];}long[][][] minus = new long[n][][];long[][] minusall = new long[n][];for(int i = 0;i < n;i++){minus[i] = new long[ctneck[i]][maxds[i]+1+3];minusall[i] = new long[ctneck[i]];}int[][] spar = logstepParents(par);for(int z = 0;z < Q;z++){int x = ni()-1, D = ni(), Z = ni();long val = 0;for(int u = x;u != -1;u = cpar[u]){int d = d(u, x, spar, dep);// tr(x, D, Z, u, d);// tr(plusall[u], restoreFenwick(plus[u]));val += plusall[u] - sumFenwick(plus[u], d-1);// tr(val);if(d <= D){addFenwick(plus[u], Math.min(maxds[u], D-d), Z);plusall[u] += Z;}int neckind = cx.neckind[u];int pu = cpar[u];if(pu != -1){int pd = d(pu, x, spar, dep);val -= minusall[pu][neckind] - sumFenwick(minus[pu][neckind], Math.min(pd-1, maxds[pu]));if(D-pd >= 0){addFenwick(minus[pu][neckind], Math.min(maxds[pu], D-pd), Z);minusall[pu][neckind] += Z;}}}out.println(val);}}public static long[] restoreFenwick(long[] ft){int n = ft.length-1;long[] ret = new long[n];for(int i = 0;i < n;i++)ret[i] = sumFenwick(ft, i);for(int i = n-1;i >= 1;i--)ret[i] -= ret[i-1];return ret;}public static long sumFenwick(long[] ft, int i){long sum = 0;for(i++;i > 0;i -= i&-i)sum += ft[i];return sum;}public static void addFenwick(long[] ft, int l, int r, long v){addFenwick(ft, l, v);addFenwick(ft, r, -v);}public static void addFenwick(long[] ft, int i, long v){if(v == 0)return;int n = ft.length;for(i++;i < n;i += i&-i)ft[i] += v;}static int d(int x, int y, int[][] spar, int[] dep){int lca = lca2(x, y, spar, dep);return dep[x] + dep[y] - 2*dep[lca];}public static int[] buildCentroidTree(int[][] g) {int n = g.length;int[] ctpar = new int[n];Arrays.fill(ctpar, -1);buildCentroidTree(g, 0, new boolean[n], new int[n], new int[n], new int[n], ctpar);return ctpar;}private static int buildCentroidTree(int[][] g, int root, boolean[] sed, int[] par, int[] ord, int[] des, int[] ctpar){// parent and level-orderord[0] = root;par[root] = -1;int r = 1;for(int p = 0;p < r;p++) {int cur = ord[p];for(int nex : g[cur]){if(par[cur] != nex && !sed[nex]){ord[r++] = nex;par[nex] = cur;}}}// if(r == 1)return;// DP and find a separatorint sep = -1; // always existsouter:for(int i = r-1;i >= 0;i--){int cur = ord[i];des[cur] = 1;for(int e : g[cur]){if(par[cur] != e && !sed[e])des[cur] += des[e];}if(r-des[cur] <= r/2){for(int e : g[cur]){if(par[cur] != e && !sed[e] && des[e] >= r/2+1)continue outer;}sep = cur;break;}}sed[sep] = true;for(int e : g[sep]){if(!sed[e])ctpar[buildCentroidTree(g, e, sed, par, ord, des, ctpar)] = sep;}return sep;}/*** w: 頂点重み* wt: weight table. wt[i] = (頂点iのsepからの重み合計。sepは含まない)* dt: distance table. dt[i] = (頂点iのsepからの距離)* vs: vertices. vssのテンポラリ* vss: vertices. vss[j] = (j番目のneckにある頂点のpreorder)* ctch: children of centroid tree* stack, inds: テンポラリ* @author uwi**/static class Context{boolean[] seps; // is separator?long[] wt; // [ind] = w between sep and indint[] dt;int[] vs;int[][] vss; // [neckind][vertices]int[][] ctch;int[][] g;int[] stack;int[] inds;int[] neckind;int[] cpar;}int[] maxds;int[] ctneck;public Context dfsTopCT(int[] cpar, int[][] g) {int n = g.length;int ctroot = -1;for(int i = 0;i < n;i++)if(cpar[i] == -1)ctroot = i;Context cx = new Context();cx.cpar = cpar;cx.seps = new boolean[n];cx.wt = new long[n];cx.dt = new int[n];cx.vs = new int[n];cx.vss = new int[n][];cx.ctch = parentToChildren(cpar);cx.g = g;cx.stack = new int[n];cx.inds = new int[n];cx.neckind = new int[n];dfs(ctroot, cx);return cx;}private void dfs(int sep, Context cx){cx.seps[sep] = true;int neckp = 0;for(int neck : cx.g[sep]){if(cx.seps[neck])continue;int sp = 0;cx.inds[sp] = 0;// cx.wt[neck] = w[neck];cx.dt[neck] = 1;int vsp = 0;cx.stack[sp++] = neck;while(sp > 0){int cur = cx.stack[sp-1];if(cx.inds[sp-1] == 0){cx.vs[vsp++] = cur;if(cx.cpar[cur] == sep)cx.neckind[cur] = neckp;}if(cx.inds[sp-1] == cx.g[cur].length){sp--;continue;}int e = cx.g[cur][cx.inds[sp-1]++];if(!cx.seps[e] && !(sp-2 >= 0 && e == cx.stack[sp-2])){// cx.wt[e] = cx.wt[cur] + w[e];cx.dt[e] = sp + 1;cx.stack[sp] = e;cx.inds[sp] = 0;sp++;}}cx.vss[neckp] = Arrays.copyOf(cx.vs, vsp);neckp++;}ctneck[sep] = neckp;process(sep, cx, Arrays.copyOf(cx.vss, neckp));for(int e : cx.ctch[sep])dfs(e, cx);}public static int[][] parentToChildren(int[] par){int n = par.length;int[] ct = new int[n];for(int i = 0;i < n;i++){if(par[i] >= 0){ct[par[i]]++;}}int[][] g = new int[n][];for(int i = 0;i < n;i++){g[i] = new int[ct[i]];}for(int i = 0;i < n;i++){if(par[i] >= 0){g[par[i]][--ct[par[i]]] = i;}}return g;}private void process(int sep, Context cx, int[][] vss){for(int[] vs : vss){for(int v : vs){maxds[sep] = Math.max(maxds[sep], cx.dt[v]);}}}public static int lca2(int a, int b, int[][] spar, int[] depth) {if (depth[a] < depth[b]) {b = ancestor(b, depth[b] - depth[a], spar);} else if (depth[a] > depth[b]) {a = ancestor(a, depth[a] - depth[b], spar);}if (a == b)return a;int sa = a, sb = b;for (int low = 0, high = depth[a], t = Integer.highestOneBit(high), k = Integer.numberOfTrailingZeros(t); t > 0; t >>>= 1, k--) {if ((low ^ high) >= t) {if (spar[k][sa] != spar[k][sb]) {low |= t;sa = spar[k][sa];sb = spar[k][sb];} else {high = low | t - 1;}}}return spar[0][sa];}protected static int ancestor(int a, int m, int[][] spar) {for (int i = 0; m > 0 && a != -1; m >>>= 1, i++) {if ((m & 1) == 1)a = spar[i][a];}return a;}public static int[][] logstepParents(int[] par) {int n = par.length;int m = Integer.numberOfTrailingZeros(Integer.highestOneBit(n - 1)) + 1;int[][] pars = new int[m][n];pars[0] = par;for (int j = 1; j < m; j++) {for (int i = 0; i < n; i++) {pars[j][i] = pars[j - 1][i] == -1 ? -1 : pars[j - 1][pars[j - 1][i]];}}return pars;}public static int[][] parents3(int[][] g, int root) {int n = g.length;int[] par = new int[n];Arrays.fill(par, -1);int[] depth = new int[n];depth[0] = 0;int[] q = new int[n];q[0] = root;for (int p = 0, r = 1; p < r; p++) {int cur = q[p];for (int nex : g[cur]) {if (par[cur] != nex) {q[r++] = nex;par[nex] = cur;depth[nex] = depth[cur] + 1;}}}return new int[][] { par, q, depth };}static int[][] packU(int n, int[] from, int[] to) {int[][] g = new int[n][];int[] p = new int[n];for (int f : from)p[f]++;for (int t : to)p[t]++;for (int i = 0; i < n; i++)g[i] = new int[p[i]];for (int i = 0; i < from.length; i++) {g[from[i]][--p[from[i]]] = to[i];g[to[i]][--p[to[i]]] = from[i];}return g;}void run() throws Exception{is = INPUT.isEmpty() ? System.in : new ByteArrayInputStream(INPUT.getBytes());out = new PrintWriter(System.out);long s = System.currentTimeMillis();solve();out.flush();if(!INPUT.isEmpty())tr(System.currentTimeMillis()-s+"ms");// Thread t = new Thread(null, null, "~", Runtime.getRuntime().maxMemory()){// @Override// public void run() {// long s = System.currentTimeMillis();// solve();// out.flush();// if(!INPUT.isEmpty())tr(System.currentTimeMillis()-s+"ms");// }// };// t.start();// t.join();}public static void main(String[] args) throws Exception { new F().run(); }private byte[] inbuf = new byte[1024];public int lenbuf = 0, ptrbuf = 0;private int readByte(){if(lenbuf == -1)throw new InputMismatchException();if(ptrbuf >= lenbuf){ptrbuf = 0;try { lenbuf = is.read(inbuf); } catch (IOException e) { throw new InputMismatchException(); }if(lenbuf <= 0)return -1;}return inbuf[ptrbuf++];}private boolean isSpaceChar(int c) { return !(c >= 33 && c <= 126); }private int skip() { int b; while((b = readByte()) != -1 && isSpaceChar(b)); return b; }private double nd() { return Double.parseDouble(ns()); }private char nc() { return (char)skip(); }private String ns(){int b = skip();StringBuilder sb = new StringBuilder();while(!(isSpaceChar(b))){ // when nextLine, (isSpaceChar(b) && b != ' ')sb.appendCodePoint(b);b = readByte();}return sb.toString();}private char[] ns(int n){char[] buf = new char[n];int b = skip(), p = 0;while(p < n && !(isSpaceChar(b))){buf[p++] = (char)b;b = readByte();}return n == p ? buf : Arrays.copyOf(buf, p);}private int[] na(int n){int[] a = new int[n];for(int i = 0;i < n;i++)a[i] = ni();return a;}private long[] nal(int n){long[] a = new long[n];for(int i = 0;i < n;i++)a[i] = nl();return a;}private char[][] nm(int n, int m) {char[][] map = new char[n][];for(int i = 0;i < n;i++)map[i] = ns(m);return map;}private int[][] nmi(int n, int m) {int[][] map = new int[n][];for(int i = 0;i < n;i++)map[i] = na(m);return map;}private int ni() { return (int)nl(); }private long nl(){long num = 0;int b;boolean minus = false;while((b = readByte()) != -1 && !((b >= '0' && b <= '9') || b == '-'));if(b == '-'){minus = true;b = readByte();}while(true){if(b >= '0' && b <= '9'){num = num * 10 + (b - '0');}else{return minus ? -num : num;}b = readByte();}}private static void tr(Object... o) { System.out.println(Arrays.deepToString(o)); }}