\(\mathcal{Description}\)

  Link.

  给定含有 \(n\) 个结点的树,求非负整数对 \((x,y)\) 的数量,满足存在 \(\exist S\subseteq V,~|S|=x\land\sum_{u\in S}d_u=y\),其中 \(d_u\) 表示点 \(u\) 的度数。

  \(n\le2\times10^5\)。

\(\mathcal{Solution}\)

  方便期间,以下所有 \(d_u\) 表示 \(u\) 的度数 \(-1\)。

  出题人莫名其妙告诉你一棵树,无非是强调 \(\sum d=n-2\),自然想到根号分治。不过朴素 DP 的状态数量就已经难以接受,我们需要更多的结论。

  比如这个结论:

结论:若 \(x_1\le x_2\) 且 \((x_1,y),(x_2,y)\) 均合法,那么 \(\forall x_3\in[x_1,x_2],~(x_3,y)\) 也合法。

证明

  对于某个 $y$,取出最小 $x_l$ 和最大的 $x_r$,使得 $(x_l,y),(x_r,y)$ 合法。设 $\{d_n\}$ 中有 $z$ 个值为 $0$,则我们只需证明 $x_r-x_l\le 2z$,这是由于 $(x_l,y)$ 的选取中必然不含 $0$,那么 $(x_l+1,y),(x_l+2,y),\cdots,(x_l+z,y)$ 都合法,$(x_r-k,y)$ 同理。

  考虑任意一个 \(S\subseteq V\),令 \(d_S=\sum_{u\in S}d_u\),那么

  • \(d_S-|S|\ge -z\),显然;
  • \(d_S-|S|\le z-2\):\(d_S\le \sum d=n-2\),取等时 \(|S|\ge n-z\),得证。

  即 \(-z\le d_S-|S|\le z-2\),考虑将 \((x_l,y)\) 和 \((x_r,y)\) 代入,有 \(-z\le y-x_r\le y-x_l\le z-2\),可以推出 \(x_r-x_l\le 2z-2\),故已有原命题成立。 \(\square\)

  所以,我们只需要对于每个 \(y\),DP 求出 \(x_l\) 和 \(x_r\) 就能得到答案。DP 时根号分治,内部用单调队列优化即可。复杂度 \(\mathcal O(n\sqrt n)\)。

\(\mathcal{Code}\)

/*~Rainybunny~*/

#include <bits/stdc++.h>

#define rep( i, l, r ) for ( int i = l, rep##i = r; i <= rep##i; ++i )
#define per( i, r, l ) for ( int i = r, per##i = l; i >= per##i; --i ) typedef long long LL; const int MAXN = 2e5;
int n, d[MAXN + 5], f[MAXN + 5], g[MAXN + 5]; inline void trans( const int v, const int c, const int r,
int* h, const auto& cmp ) { // cmp(a,b) is true <=> a is the better value.
static int que[MAXN + 5], th[MAXN + 5];
int hd = 1, tl = 0;
for ( int i = r; i <= n - 2; i += v ) {
th[i] = h[i];
while ( hd <= tl && que[hd] + c * v < i ) ++hd;
while ( hd <= tl
&& cmp( th[i] - i / v, th[que[tl]] - que[tl] / v ) ) --tl;
que[++tl] = i;
h[i] = th[que[hd]] + ( i - que[hd] ) / v;
}
} int main() {
scanf( "%d", &n );
rep ( i, 1, n ) d[i] = -1;
rep ( i, 2, n ) {
int u, v; scanf( "%d %d", &u, &v );
++d[u], ++d[v];
} std::sort( d + 1, d + n + 1 );
memset( f, 0x3f, sizeof f ), memset( g, 0xc0, sizeof g );
f[0] = g[0] = 0;
for ( int l = 1, r; l <= n; l = r + 1 ) {
for ( r = l; r < n && d[r + 1] == d[l]; ++r );
int v = d[l], c = r - l + 1;
if ( !v ) { g[0] = c; continue; }
rep ( r, 0, v - 1 ) {
trans( v, c, r, f,
[]( const int u, const int v ) { return u < v; } );
trans( v, c, r, g,
[]( const int u, const int v ) { return u > v; } );
}
} LL ans = 0;
rep ( i, 0, n - 2 ) {
// printf( "%d: [%d,%d]\n", i, f[i], g[i] );
if ( f[i] <= g[i] ) ans += g[i] - f[i] + 1;
}
printf( "%lld\n", ans );
return 0;
}

Solution -「ARC 125F」Tree Degree Subset Sum的更多相关文章

  1. Solution -「ARC 104E」Random LIS

    \(\mathcal{Description}\)   Link.   给定整数序列 \(\{a_n\}\),对于整数序列 \(\{b_n\}\),\(b_i\) 在 \([1,a_i]\) 中等概率 ...

  2. Solution -「ARC 101E」「AT 4352」Ribbons on Tree

    \(\mathcal{Description}\)   Link.   给定一棵 \(n\) 个点的树,其中 \(2|n\),你需要把这些点两两配对,并把每对点间的路径染色.求使得所有边被染色的方案数 ...

  3. Solution -「HDU 5498」Tree

    \(\mathcal{Description}\)   link.   给定一个 \(n\) 个结点 \(m\) 条边的无向图,\(q\) 次操作每次随机选出一条边.问 \(q\) 条边去重后构成生成 ...

  4. Solution -「ARC 101D」「AT4353」Robots and Exits

    \(\mathcal{Description}\)   Link.   有 \(n\) 个小球,坐标为 \(x_{1..n}\):还有 \(m\) 个洞,坐标为 \(y_{1..m}\),保证上述坐标 ...

  5. Solution -「ARC 110D」Binomial Coefficient is Fun

    \(\mathcal{Description}\)   Link.   给定非负整数序列 \(\{a_n\}\),设 \(\{b_n\}\) 是一个非负整数序列且 \(\sum_{i=1}^nb_i\ ...

  6. Solution -「ARC 124E」Pass to Next

    \(\mathcal{Description}\)   Link.   有 \(n\) 个人站成一个环,初始时第 \(i\) 个人手里有 \(a_i\) 个球.第 \(i\) 个人可以将自己手中任意数 ...

  7. Solution -「ARC 126E」Infinite Operations

    \(\mathcal{Description}\)   Link.   给定序列 \(\{a_n\}\),定义一次操作为: 选择 \(a_i<a_j\),以及一个 \(x\in\mathbb R ...

  8. Solution -「ARC 126F」Affine Sort

    \(\mathcal{Description}\)   Link.   给定 \(\{x_n\}\),令 \[f(k)=\left|\{(a,b,c)\mid a,b\in[0,c),c\in[1,k ...

  9. Solution -「ARC 125E」Snack

    \(\mathcal{Description}\)   Link.   把 \(n\) 种零食分给 \(m\) 个人,第 \(i\) 种零食有 \(a_i\) 个:第 \(i\) 个人得到同种零食数量 ...

随机推荐

  1. 您应该知道的35个绝对重要的Linux命令

    https://mp.weixin.qq.com/s?__biz=MzU3NTgyODQ1Nw==&mid=2247499293&idx=2&sn=1353b78d6ad01d ...

  2. Cannot uninstall 'pyparsing'. It is a distutils installed project

    我的环境: [root@ansible ~]# python -V Python 2.7.5 [root@ansible ~]# cat /etc/redhat-release CentOS Linu ...

  3. springMVC+redis+redis自定义工具类 的配置

    1. maven项目,加入这一个依赖包即可, <dependency> <groupId>redis.clients</groupId> <artifactI ...

  4. SCALA-基础知识学习(一)

    概述 本人开始学习scala的时候,是在使用和开发spark程序的时候,在此为了整理.记录和分享scala的基础知识,我写这篇关于scala的基础知识,希望与广大读者共同学习沟通进步.如果有些代码比较 ...

  5. java计算器(简单版)

    前言 之前在学习完Java的方法后,我发现自己可以开始写计算器这个"经典"的项目了,于是我花了一点时间写下了这个计算器的程序,也写下了这篇文章. 在这里,我需要说明一下,这个程序只 ...

  6. C++ 从&到&&

    人类发展史,就是不断挖坑.填坑的过程. 语言发展史也是如此! 任何一门设计合理的语言,给你的限制或提供的什么特性,都不是没有代价的. C的指针 指针:pointer 指针的思想起源于汇编.指针思想是编 ...

  7. 《剑指offer》面试题29. 顺时针打印矩阵

    问题描述 输入一个矩阵,按照从外向里以顺时针的顺序依次打印出每一个数字. 示例 1: 输入:matrix = [[1,2,3],[4,5,6],[7,8,9]] 输出:[1,2,3,6,9,8,7,4 ...

  8. preg_match绕过总结

    preg_match绕过总结 什么是preg_match 绕过方法 1.数组绕过 preg_match只能处理字符串,当传入的subject是数组时会返回false 2.PCRE回溯次数限制 PHP利 ...

  9. MySQL之MVCC与幻读

    转自 https://blog.csdn.net/qq_31930499/article/details/110393988 如果是快照度,直接采用MVCC,如果是当前读,才会走next-key lo ...

  10. Telegra.ph | 简洁的文章发布平台

    https://telegra.ph 自由 Telegraph 并不强调内容管理方这一概念,真正做到了「人人都是媒体」.通过 Telegraph 发布的文章,理论上来说不会存在删除的危险,并且由于会产 ...