题解:AT_abc395_g [ABC395G] Minimum Steiner Tree 2

news/2025/3/4 18:16:51/文章来源:https://www.cnblogs.com/xueruhao/p/18751042

Problem

题目给定一个完全图,其中每条边的权重由矩阵 \(C\) 给出,且满足 \(C_{i,i}=0\)\(C_{i,j}=C_{j,i}\)。要求构造一个好图,即从原图中删除部分边和顶点后,剩下的图是连通的且包含以下顶点:

  • 固定的 \(1,2,\dots,K\)
  • 以及查询中的两个额外顶点 \(s\)\(t\)(其中 \(s,t \in \{K+1,\dots,N\}\)\(s\neq t\))。

要求最小化好图中边权的总和。

Solution

这实际上是一个带有少量终端点(固定点)的 Steiner Tree 问题,并且每个查询要求额外连接两个指定的顶点。

由于图为完全图且任意两点之间都有直接连边,首先使用 Floyd 预处理出所有点对之间的最短距离,这样在后续动态规划中使用的边权已经是最优的。

对于每个额外顶点 \(s\)(范围为 \(K\)\(N-1\)),将终端集合设为:

  • 固定顶点 \(1,2,\dots,K\)(下标 \(0\)\(K-1\))。
  • 以及当前选择的顶点 \(s\)(作为第 \(K+1\) 个终端)。

令终端数为 \(m = K + 1\),定义状态:

\[dp[\text{mask}][v] = \text{连接 mask 中所有终端且最后在顶点 } v \text{ 的最小费用} \]

初始状态为:对于只包含一个终端(单个 \(1\)\(\text{mask}\)),直接赋值为该终端到各顶点的最短距离。

枚举每个 \(\text{mask}\) 的所有子掩码,将 \(\text{mask}\) 拆分为两个不相交的子集 \(sub\)\(ot\),并更新状态:

\[dp[\text{mask}][v] = \min\{dp[sub][v] + dp[ot][v]\} \]

对于当前状态 \(dp[\text{mask}][v]\),考虑从顶点 \(v\) 出发经过一条边到达顶点 \(u\),更新:

\[dp[\text{mask}][u] = \min\{dp[\text{mask}][u],\ dp[\text{mask}][v] + d(v, u)\} \]

最终对于每个选定的 \(s\) 和所有可能的 \(t\)(且 \(t \neq s\)),答案为:

\[\min_{v}\{ dp[(1<<m)-1][v] + d(v, t) \} \]

预处理所有可能的 \(s\)\(t\) 后,直接回答每个查询。

Code

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/893529.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【权限维持技术】Windows文件隐藏(二)

免责声明 本文仅用于技术讨论与学习,利用此文所提供的信息而造成的任何直接或者间接的后果及损失,均由使用者本人负责,文章作者及本公众号不为此承担任何责任。NTFS数据流 “交替数据流(Alternate Data Streams, ADS)”是Windows NTFS文件系统的高级特性。文件中可以包含多…

UML之参与者(Actor)

参与者是需求分析阶段的重要元素,指与待开发系统交互的外部实体,包括人、外部系统、传感器、数据库等。识别参与者需注意区分真正的参与者和传递型参与者。参与者通常用小人图像表示,在UML用例图中与用例通过关联线连接。参与者(Actor)是模型中非常重要的元素,识别参与者…

【权限维持技术】Windows文件隐藏(一)

免责声明 本文仅用于技术讨论与学习,利用此文所提供的信息而造成的任何直接或者间接的后果及损失,均由使用者本人负责,文章作者及本公众号不为此承担任何责任。简介 文件隐藏是后门规避检查的一个重要手段,是权限维持中关键的一环。Windows操作系统可以使用多种方式进行文件…

Deepseek等AI技术冲击下,Salesforce业务岗位如何保住自己的工作?

“世界变化太快了!”——这句话几乎成了每个职场人的口头禅。尤其是对于Salesforce顾问来说,技术的迭代速度更是让人应接不暇。你还记得10年前的Salesforce是什么样子吗?每天穿着正装、打着领带,坐在办公室里从早忙到晚,用着Salesforce Classic,手动部署变更集(Change S…

20242816 2024-2025-2 《网络攻防实践》第1周作业

1. 知识点梳理与总结 1.1 各组成部分功能 攻击机:攻击机是网络攻防实验中的核心组件之一,承担主动攻击的角色。通常,它运行渗透测试操作系统,内置丰富的网络攻击工具,攻击机用于模拟黑客攻击行为,执行信息收集、漏洞扫描、渗透测试、提权、权限维持等操作,以验证目标系统…

拒绝被坑!大模型备案代办如何挑选

大模型备案代办哪家好一直是困扰广大开发者的一个问题。今天我就教下有大模型备案需求的朋友如何甄别这些代办机构。另外,我也经常帮助客户撰写备案材料,如有需求,大家也可以进行咨询。一、专业能力 相比精美的PPT,滔滔不绝的讲解和各种诱人动听的服务承诺,查看服务案例数…

网络攻防环境搭建-cnblog

20242935 2024-2025-2 《网络攻防实践》第一周作业 网络攻防环境搭建 一、知识点梳理与总结实验内容 基于提供的虚拟机镜像和虚拟机软件,在PC机或笔记本上部署网络攻防环境。实验要求理解攻防环境的构成要素:靶机、攻击机、攻击检测分析和防御平台。测试攻防环境的连通性。分…

sw添加宏的步骤

30秒教会你SolidWorks添加与删除宏程序,SolidWorks怎么添加宏程序,怎么把宏程序放到SolidWorks里,30秒教会你的教程。_哔哩哔哩_bilibili 参考上面的教程

单击事件-长按时间:手搓播放器

事件分析 事件区分核心:使用onMouseDown、onMouseUp和定时器来区分单击事件与长按事件 按下时设置长按事件定时器(并加入长按回调),并记录当前时间戳, 松开事件中如果当前时间戳差值小于定时器则执行单击回调,并清除定时器,如果大于定时器事件,则按下事件中定时器的长按…

Linux用户登录超时设置

1、引言在Linux系统中,用户登录超时设置通常用于增强系统的安全性,防止未经授权的长时间访问。合理的超时设置不仅可以提高系统的安全性,还可以优化用户体验。本文将探讨如何设置Linux终端登录超时,并提出一些优化策略,以确保系统资源得到有效利用,同时降低潜在的安全风险…

构建城市租房时空感知与智能决策平台

在城市化进程不断加速的今天,租房市场作为城市生活的重要组成部分,其健康发展对城市的稳定与繁荣至关重要。“城市租房时空感知与智能决策平台”的建设将利用测绘地理信息技术,为租房市场提供一个全新的视角和决策支持系统。 一、平台建设背景随着城市人口的增长和流动性的增…

从文件到块: 提高 Hugging Face 存储效率

Hugging Face 在 Git LFS 仓库 中存储了超过 30 PB 的模型、数据集和 Spaces。由于 Git 在文件级别进行存储和版本控制,任何文件的修改都需要重新上传整个文件。这在 Hub 上会产生高昂的成本,因为平均每个 Parquet 和 CSV 文件大小在 200-300 MB 之间,Safetensor 文件约 1 G…