CF1260F
题目大意
一棵树,每个节点的权为L[i]~R[i],一棵树的贡献为\(\sum\limits_{h_{i} = h_{j}, 1 \le i < j \le n}{dis(i,j)}\),其中\(dis(i,j)\)表示i到j路径上的边数
求\(\prod\limits_{i = 1}^{n} (r_{i} - l_{i} + 1)\)种不同取值的情况的贡献和
题解
一眼点分治
把一个点的子树上除该点的乘积加到对应区间上,查找就直接找对应区间
设S[i]表示\(\prod_{i\neq j}{R_i-L_i+1}\),W[i]表示\(\frac{1}{R_i-L_i+1}\)
那么在b点查询a时一种方案的贡献为\(S[a]*W[b]*(dis[a]+dis[b])\),拆开后为\(W[b]*S[a]*dis[a]+W[b]*dis[b]*S[a]\),维护S[a]*dis[a]与S[a]的和即可
线段树常数较大,所以要用树状数组
code
#include <algorithm>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#define fo(a,b,c) for (a=b; a<=c; a++)
#define fd(a,b,c) for (a=b; a>=c; a--)
#define add(a,b) a=((a)+(b))%1000000007
#define max(a,b) (a>b?a:b)
#define low(x) (x&-(x))
#define mod 1000000007
#define Mod 1000000005
#define N 100000
using namespace std;
int a[200001][2];
int tr[100001][4];
bool Tr[100001];
int d[100001];
int ls[100001];
int L[100001];
int R[100001];
int size[100001];
bool bz[100001];
int Fa[100001];
long long S[100001];
long long w[100001];
int n,i,j,k,l,len,mn1,mn2,SIZE,tot;
long long sum,ans,W,D,WD,find1,find2;
void New(int x,int y)
{
++len;
a[len][0]=y;
a[len][1]=ls[x];
ls[x]=len;
}
long long qpower(long long a,int b)
{
long long ans=1;
while (b)
{
if (b&1)
ans=ans*a%mod;
a=a*a%mod;
b>>=1;
}
return ans;
}
void Change(int t,long long s1,long long s2)
{
long long S1=-s1*(t-1)%mod,S2=-s2*(t-1)%mod;
while (t<=N)
{
if (!Tr[t])
Tr[t]=1,d[++tot]=t;
add(tr[t][0],s1);
add(tr[t][1],S1);
add(tr[t][2],s2);
add(tr[t][3],S2);
t+=low(t);
}
}
void change(int l,int r,long long s1,long long s2)
{
Change(l,s1,s2);
Change(r+1,-s1,-s2);
}
void Find(int t,int type)
{
int T=t;
long long s1,S1,s2,S2;
s1=S1=s2=S2=0;
while (t)
{
add(s1,tr[t][0]);
add(S1,tr[t][1]);
add(s2,tr[t][2]);
add(S2,tr[t][3]);
t-=low(t);
}
add(find1,(s1*T+S1)%mod*type);
add(find2,(s2*T+S2)%mod*type);
}
void find(int l,int r)
{
find1=find2=0;
Find(r,1);
Find(l-1,-1);
}
void dfs1(int fa,int t)
{
int i,mx=0;
Fa[t]=fa;
size[t]=1;
for (i=ls[t]; i; i=a[i][1])
if (!bz[a[i][0]] && a[i][0]!=fa)
{
dfs1(t,a[i][0]);
size[t]+=size[a[i][0]];
mx=max(mx,size[a[i][0]]);
}
mx=max(mx,SIZE-size[t]);
if (mx<mn1)
mn1=mx,mn2=t;
}
void dfs2(int fa,int t,int dis)
{
int i;
W=w[t];D=dis;WD=W*D%mod;
find(L[t],R[t]);
add(ans,WD*find1+W*find2);
for (i=ls[t]; i; i=a[i][1])
if (!bz[a[i][0]] && a[i][0]!=fa)
dfs2(t,a[i][0],dis+1);
}
void dfs3(int fa,int t,int dis)
{
int i;
change(L[t],R[t],S[t],S[t]*dis%mod);
for (i=ls[t]; i; i=a[i][1])
if (!bz[a[i][0]] && a[i][0]!=fa)
dfs3(t,a[i][0],dis+1);
}
void work(int t,int Size)
{
int i;
SIZE=Size;
mn1=Size;
mn2=t;
dfs1(0,t);
t=mn2;
bz[t]=1;
// ---
tot=0;
change(L[t],R[t],S[t],0);
for (i=ls[t]; i; i=a[i][1])
if (!bz[a[i][0]])
{
dfs2(t,a[i][0],1);
dfs3(t,a[i][0],1);
}
fo(i,1,tot)
tr[d[i]][0]=tr[d[i]][1]=tr[d[i]][2]=tr[d[i]][3]=Tr[d[i]]=0;
// ---
for (i=ls[t]; i; i=a[i][1])
if (!bz[a[i][0]] && a[i][0]!=Fa[t])
work(a[i][0],size[a[i][0]]);
if (Fa[t])
work(Fa[t],Size-size[t]);
}
int main()
{
// freopen("f.in","r",stdin);
// freopen("b.out","w",stdout);
sum=1;
scanf("%d",&n);
fo(i,1,n)
scanf("%d%d",&L[i],&R[i]),sum=(sum*(R[i]-L[i]+1))%mod,w[i]=qpower(R[i]-L[i]+1,Mod);
fo(i,2,n)
{
scanf("%d%d",&j,&k);
New(j,k);
New(k,j);
}
fo(i,1,n)
S[i]=sum*w[i]%mod;
work(1,n);
printf("%I64d\n",(ans+mod)%mod);
}
CF1260F的更多相关文章
随机推荐
- C++类大小的计算
这里记录一下怎么计算类对象的大小. 大概总结下,类的大小需要考虑以下内容: 非静态成员变量大小 数据对齐到多少位 有无虚函数(即需不需要指向虚函数表的指针,如果考虑继承的情况,则还需要看继承了多少个指 ...
- 拉格朗日乘法与KKT条件
问题的引出 给定一个函数\(f\),以及一堆约束函数\(g_1,g_2,...,g_m\)和\(h_1,h_2,...,h_l\).带约束的优化问题可以表示为 \[ \min_{X \in R^n}f ...
- sql server 幂运算函数power(x,y)、square(x)、exp(x)
--POWER(x,y)函数返回x的y次乘方的结果值 --SQUARE(x)函数返回指定浮点值x的平方 --EXP(x)函数返回e的x乘方后的值 示例:select POWER(2,2), POWER ...
- sql server 平方根函数SQRT(x)
--SQRT(x)返回非负数x的二次方根 示例:select SQRT(9), SQRT(36); 结果:3 6
- vue学习【四】vuex快速入门
大家好,我是一叶,今天我们继续踩坑.今天的内容是vuex快速入门,页面传值不多的话,不建议vuex,直接props进行父子间传值就行,使用vuex就显得比较臃肿. 我们先预览一下效果,如图1所示. 图 ...
- C语言_扫雷代码
本文详细讲述了基于C语言实现的扫雷游戏代码,代码中备有比较详细的注释,便于读者阅读和理解.希望对学习游戏开发的朋友能有一点借鉴价值. 完整的实例代码如下: ? 1 2 3 4 5 6 7 8 9 10 ...
- bignumber.js是一款用于任意精度十进制和非十进制算术的JavaScript库
安装 npm install bignumber.js 引入 import { BigNumber } from 'bignumber.js' 实例方法 加法:plus 0.1 + 0.2 // 0. ...
- Django设置 DEBUG=False后静态文件无法加载
修改setting.py STATIC_URL = '/static/' STATIC_ROOT = 'static' ## 新增行 STATICFILES_DIRS = [ os.path.join ...
- [转载]克服FPGA I/O引脚分配挑战--xilinx系列
转载走,放到自己的分类中好了 原文地址:I/O引脚分配挑战--xilinx系列">克服FPGA I/O引脚分配挑战--xilinx系列作者:方槍槍 http://www.eefocus ...
- Linux--操作系统基础及基础命令--01
一.系统基础 1.三大部件: CPU:运算器.控制器.存储器 内存:CPU的数据只能从内存中读取,且内存数据是易失性的(页面) IO: 控制总线.数据总线 2.OS的管理 GUI:图形用户界面 GNO ...