【2022寒假基础集训】第二场 - G.小沙的身法【树上差分+LCA】

这篇博客讲述了小沙在少林寺通过跳木桩训练提高运动能力的故事。方丈为小沙设计了一棵树形结构的训练路线,其中每个木桩有不同高度,小沙跳跃时会消耗体力。博客介绍了如何计算从一个木桩到另一个木桩的最小体力消耗,并给出了求解路径的算法。最后,博客展示了如何解决师傅给出的多个考验,每个考验都需要从地面到达指定木桩再返回地面,输出每个考验的最小体力消耗。

Date:2022.04.28
题目描述
小沙发现他打球打不赢别人,打架也打不赢别人,所以他去了少林寺学习身法,以求打球的时候可以跑的更快,打架的时候也可以跑的更快(bushi)。
少林寺的方丈告诉小沙,他这种情况可以练习跳木桩,少林寺的一共有n个木桩,为了锻炼打球时的步伐,方丈严格限制的小沙的可移动路线,他规定小沙一定要按照他制定的方案来训练,否则小沙就会被方丈制裁。
小沙发现 方丈制定的路线是一个以一个点扩散开的树形结构,而小沙就需要在这一个树形结构上跳来跳去。由于两个木桩之间的间隔特别特别远,所以每次跳跃都只能在相邻的木桩之间移动。
以地面高度为例,如果地面的高度都视为0(平地),木桩的高度不一,我们视每个木桩高度为aia_iai,小沙每次从低处跳向高处都会消耗两地高度之差的体力,但是从高的跳向低的则不消耗体力。
小沙练习了许久,终于熟能生巧了。
于是他叫来了师傅,想要给师傅秀一吧。
师傅便给了他m个考验 每个考验师傅都要他从地面上跳上指定的uu节点,然后最快速的速度跳向vv节点,然后回到地面,小沙心中也没底所以想问你他至少需要多少体力才能把这个考验完成。
每个考验均相互独立,小沙的体力不会受到上一次考验的影响。
输入描述:
首先输入两个整数1≤n≤106,1≤m≤1051\leq n \leq 10^6 ,1\leq m \leq 10^51n1061m105
分别代表木桩个数以及师傅的考验个数
第二行输入n个数字 代表第i号木桩的高度是1≤ai≤1091\leq a_i \leq 10^91ai109
随后n-1行 每行两个数字x,y 代表第x号木桩和第y号木桩中间有一条师傅允许经过的路径(双向的)
紧接着的 m行每行两个数字代表着 u节点前往v节点
输出描述:
对于每一个考验输出一行对应的答案
(每个考验均相互独立)
示例1
输入
5 3
1 2 3 4 5
1 3
2 4
3 5
5 2
1 5
1 2
4 2

输出
5
5
4

思路:随便找个根把树拎起来(我选的1号点)。
up[i]:up[i]:up[i]:iii向上走到根的距离。
down[i]:down[i]:down[i]:根向下走到点iii的距离。
lca(i,j)lca(i,j)lca(i,j)
在求lcalcalca前,求每个点的深度dep[i]dep[i]dep[i]的同时用前缀和更新up[i]、down[i]up[i]、down[i]up[i]down[i]
i、ji、jij的距离即为:
a[x]+up[i]−up[lca(i,j)]+down[j]−down[lca(i,j)];a[x]+up[i]-up[lca(i,j)]+down[j]-down[lca(i,j)];a[x]+up[i]up[lca(i,j)]+down[j]down[lca(i,j)];【别忘了平地−x平地 - xx的距离为a[x]a[x]a[x]

代码如下:

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int N=2e6+10;
LL n,m,a[N],h[N],e[N],w[N],ne[N],idx;
LL dep[N/2],fa[N/2][23];
LL up[N],down[N];
void add(int x,int y) {e[idx]=y;ne[idx]=h[x];h[x]=idx++;}
void bfs()
{
    memset(dep,0x3f,sizeof dep);dep[0]=0;
    dep[1]=0;up[1]=0;down[1]=0;
    queue<int>q;q.push(1);
    while(q.size())
    {
        int t=q.front();q.pop();
        for(int i=h[t];i!=-1;i=ne[i])
        {
            int j=e[i];
            if(dep[j]>dep[t]+1)
            {
                dep[j]=dep[t]+1;
                q.push(j);
                down[j]=down[t]+max((LL)0,a[j]-a[t]);
                up[j]=up[t]+max((LL)0,a[t]-a[j]);
                fa[j][0]=t;
                for(int k=1;k<=20;k++)
                    fa[j][k]=fa[fa[j][k-1]][k-1];
            }
        }
    } 
}
int lca(int a,int b)
{
    if(dep[a]<dep[b]) swap(a,b);
    for(int k=20;k>=0;k--)
        if(dep[fa[a][k]]>=dep[b]) a=fa[a][k];
    if(a==b) return a;
    for(int k=20;k>=0;k--)
        if(fa[a][k]!=fa[b][k]) {a=fa[a][k];b=fa[b][k];}
    return fa[a][0];
}
int main()
{
    ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    cin>>n>>m;memset(h,-1,sizeof h);
    for(int i=1;i<=n;i++) cin>>a[i];
    for(int i=1;i<n;i++)
    {
        int x,y;cin>>x>>y;
        add(x,y);add(y,x);
    }
    bfs();
    while(m--)
    {
        int x,y;cin>>x>>y;
        int p=lca(x,y);
        cout<<up[x]+down[y]-up[p]-down[p]+a[x]<<'\n';//别忘了还有平地~x的花费
    }
    return 0;
}
<think>好的,我现在需要帮助用户理解VCS编译选项中几个特定参数的含义,特别是-ntb_opts uvm-1.2+libext+.v+.sv+.bin+.a+.b和-lca。用户提供的引用资料提到了环境变量设置和编译步骤的重要性,所以我应该结合这些信息来解答。 首先,我需要回忆VCS的基本用法,以及这些选项的常见作用。-ntb_opts通常与测试平台相关,可能用于指定UVM版本。用户提到的uvm-1.2,这可能是指定UVM库的版本。根据引用[2],用户之前设置过UVM_HOME的环境变量,可能这里需要确保编译器使用正确的UVM版本。 接下来是+libext+后面跟着多个扩展名。VCS在编译时可能需要查找不同扩展名的文件,这个选项应该是告诉编译器在库目录中查找这些扩展名的文件。比如,.v和.sv是Verilog和SystemVerilog的源文件,其他如.bin可能是一些二进制数据文件,不过这部分可能需要确认,因为通常库扩展名可能不同,但用户提供的例子中有这样的参数,可能用户的项目中有这些文件类型需要包含。 然后是-lca选项。我记得VCS有一些与许可相关的选项,比如“License Configuration Attribute”,可能启用某些需要特定许可的功能。需要确认这个选项的具体作用,可能涉及是否使用某些高级特性。 接下来需要验证每个选项的官方解释,确保准确。例如,查阅VCS文档,-ntb_opts的确用于设置NTB(Native TestBench)选项,支持UVM版本。+libext+用于添加额外的文件扩展名,这样编译器在搜索库文件时会包括这些类型。-lca可能限制使用某些功能,确保与许可证兼容。 还需要考虑用户可能的实际应用场景,比如在编译UVM测试平台时,正确设置版本和文件扩展名非常重要,否则会出现编译错误或找不到文件的问题。同时,许可证选项如果配置错误,可能导致工具无法正常运行。 最后,根据用户提供的引用[1],编译步骤中的选项位置很重要,如果放错位置可能无效,所以需要提醒用户正确放置这些选项在编译命令中。例如,环境变量设置和编译选项的顺序可能会影响是否生效。 总结每个选项的作用后,需要用清晰的中文解释,并给出示例命令,帮助用户理解如何正确使用这些选项。同时,生成的相关问题应该围绕VCS编译选项的其他常见参数、如何解决常见编译错误以及环境变量设置等,这些都是用户可能进一步需要了解的内容。</think>VCS编译选项中`-ntb_opts uvm-1.2`、`+libext+.v+.sv+.bin+.a+.b`和`-lca`的具体作用如下: ### 1. **`-ntb_opts uvm-1.2`** - **作用**:声明使用UVM(Universal Verification Methodology)库的版本为1.2。此选项会: - 自动包含UVM库的源代码路径。 - 启用与UVM相关的编译宏和语法支持。 - 若未正确指定版本,可能导致类方法或宏的兼容性问题[^1]。 - **示例**:若UVM库路径通过环境变量`UVM_HOME`设置(如`export UVM_HOME=/tools/uvm-1.2`),VCS会自动关联该路径。 ### 2. **`+libext+.v+.sv+.bin+.a+.b`** - **作用**:扩展VCS搜索文件的默认后缀类型。默认仅包含`.v`(Verilog)和`.sv`(SystemVerilog),此选项额外添加: - `.bin`:二进制文件(如预编译模块)。 - `.a/.b`:自定义文件扩展名(可能用于特定数据文件或配置)。 - **应用场景**:当设计文件使用非标准扩展名时,需通过此选项显式声明[^2]。 ### 3. **`-lca`** - **作用**:启用**Limited Customer Availability**模式,限制使用某些需要特殊许可证的功能。此选项通常用于: - 避免因缺少高级功能(如动态仿真优化)导致的许可证报错。 - 确保代码仅使用基础功能以保证兼容性。 --- ### **完整编译命令示例** ```bash vcs -ntb_opts uvm-1.2 +libext+.v+.sv+.bin+.a+.b -lca top_tb.sv -debug_access ``` - **解释**:编译`top_tb.sv`时,启用UVM 1.2支持、扩展文件后缀、限制高级功能,并添加调试功能。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值