尧图网站建设 尧图网络
  • 首页
  • 关于我们
  • 服务项目
  • 案例展示
  • 建站流程
  • 资讯中心
  • 联系我们
首页/资讯中心/详情

qoj #8557. Goldberg Machine 题解

qoj #8557. Goldberg Machine 题解
📅 发布时间:2026/6/20 20:53:33
有意思

原题:https://qoj.ac/problem/8557

弱化版:https://www.luogu.com.cn/problem/P7830

但是弱化版要求做到更优复杂度,但是没有修改。

本文的 参考文章

钦定树以 \(1\) 为根。钦定所有点 \(u\neq 1\) 的 \(e,t\) 循环位移成 \(e_{u,k_u-1}=fa_u\),就是把父亲丢到最后。

首先这东西一定是有循环的。

通过一定画图观察,我们知道当一个点 \(u\) 的 \(t_u=0\) 的时候,则 \(fa_u\to u\to \cdots \to u\to fa_u\) 后 \(t\)​​ 仍然不变,于是从 \(t\) 走出的顺序就相对固定。

  • 称一时刻 \(t_u=0\) 的 \(u\) 是 好点。

并且走到过一个点 \(u\) 返回父亲后,\(u\) 一定变成了 好点。

于是当遍历过所有点之后,一定是按照树的欧拉序循环走,循环节长度为 \(2(n-1)\)​​​。

把无向边拆成有向边,称最终树的欧拉序 遍历的边 为 \(\left(E_1,E_2,\cdots ,E_{2(n-1)}\right)\)​。

  • 注意这里欧拉序 \(1\) 往儿子遍历的顺序就是初始 \(e_{1,t_1},e_{1,t_{1}+1},\cdots\) 的顺序。

在这之前呢?

称 一轮 为当前从 \(1\) 出发返回 \(1\),并且 \(t_1\) 不变(即 \(1\) 的所有儿子都遍历过了)所走过的 边序列。观察每轮的性质。

  • 每轮走的序列都是 \(E\) 的子序列。
  • 上一轮走的序列一定是这一轮的子序列。

相当于是逐轮做一个增广,每轮会多拉一些子节点进序列,使得它们变好。

最终所有节点变好,就增广成了 \(E\)​ 序列。

  • 注:在增广成 \(E\) 后我们延续一轮的定义,即之后每轮都走了一个 \(E\)​ 序列。

  • 我们根据 轮 对这个问题进行了很好的阶段划分,接下来刻画每一轮是怎么走的。

设点 \(u\) 在第 \(f_u\) 轮首次被加入边序列(中的一个端点),按欧拉序排序后第 \(i\) 条边在第 \(g_i\)​ 轮边首次被加入边序列。

\(f_u\) 就考虑它要么在 \(f_{fa_u}\) 轮就走到了,要么在 \(fa_u\) 变好后下一轮走到。

于是就考虑令 \((u,v=fa_u)\) 的边权为初始 \(v\) 是否不能 一步走到 \(u\),则 \(f_u\) 就是 \(u\) 的深度。

\(g\) 根据 \(f\)​ 容易求出。即 \(g(u\to v)=f(v)\)。

然后前 \(x\) 轮走过的边数就是 \(\sum\limits_{i=1}^{2n-2} \max(x-g_i+1,0)\)​。

然后每轮走的顺序就是 \(g_i\le x\) 的所有 \(i\) 拎出来,在欧拉序上的顺序。


于是静态我们就很好做了,二分出轮数。然后每轮二分求出走到哪即可。

动态我们注意到修改一个点的 \(t\),其实不改变 \(E\) 这个欧拉序!

所以原来的大部分性质得以保留。

修改 \(t_x\) 只影响对于 \(f\) 我们刻画的边权,即把若干到儿子边 \(x\to e_{x,[l,r]}\) 的 \(01\) 边权修改了一下。

然后修改的儿子是连续的,于是对子树的影响就是欧拉序的一个区间。

于是修改的影响相当于对于 \(g\) 的一个区间 \(\pm 1\)。


现在数据结构维护。

然后比如要维护 \(\sum \max(x-g_i+1,0)\)​,就是要维护 \(\le x\) 的 \(g_i\) 个数和 \(g_i\) 的和。

相关新闻

  • 『随笔』我的唱歌练习史
  • GitHub Copilot 2025年8月最新更新!
  • 完整教程:计算机毕设 java 多媒体教室管理系统 基于 Java+SSM 的多媒体教室运维平台 Java+MySQL 的教室预约与设备管理系统

最新新闻

  • PNX2015 VLD模块寄存器配置与错误处理实战指南
  • 2026年6月酱肉小笼包招商推荐,美食小吃/包子/手工小笼包/小吃/非遗红油小笼包/酱肉小笼包,酱肉小笼包招商推荐 - 品牌推荐师
  • Obsidian+DeepSeek V4百万上下文实战:构建知识操作系统
  • 3个关键步骤:如何让DirectX 1-7经典游戏在现代Windows系统重生
  • Java文件路径陷阱:getAbsolutePath与getCanonicalPath本质区别
  • M365 Copilot真实生产力杠杆:Work IQ、自定义指令与结构化提示词

日新闻

  • Visual C++运行库修复终极指南:5分钟快速解决Windows软件启动错误
  • 手把手教你构建统计局地区经济数据爬虫:从环境搭建到数据持久化全指南
  • 2026多Agent深度解析:用AI团队替代单一模型,四种架构实战落地

周新闻

  • Visual C++运行库修复终极指南:5分钟快速解决Windows软件启动错误
  • 手把手教你构建统计局地区经济数据爬虫:从环境搭建到数据持久化全指南
  • 2026多Agent深度解析:用AI团队替代单一模型,四种架构实战落地

月新闻

  • 【总结】入门篇:50句话让你记住架构核心概念
  • WeChatMsg技术方案解析:实现Mac微信数据自主管理的完整解决方案
  • WeChatMsg:革新性微信数据备份方案,打造你的专属数字记忆库

关于尧图

  • 公司简介
  • 团队介绍
  • 企业文化
  • 荣誉资质

服务项目

  • 定制开发
  • 电商建站
  • UI 设计
  • 运维服务

快速链接

  • 案例展示
  • 建站流程
  • 常见问题
  • 资讯中心

联系方式

  • 📍北京市朝阳区互联网产业园 A 座 10 层
  • 📞400-888-8888
  • ✉️contact@rkmt.cn
  • 🕐周一至周日 9:00-21:00

© 2024 北京尧图网络科技有限公司 版权所有 | 京 ICP 备 XXXXXXXX 号