惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

V
Vulnerabilities – Threatpost
V
V2EX
GbyAI
GbyAI
Recent Announcements
Recent Announcements
Microsoft Security Blog
Microsoft Security Blog
阮一峰的网络日志
阮一峰的网络日志
Hugging Face - Blog
Hugging Face - Blog
T
Tailwind CSS Blog
Y
Y Combinator Blog
C
Check Point Blog
爱范儿
爱范儿
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
美团技术团队
雷峰网
雷峰网
IT之家
IT之家
WordPress大学
WordPress大学
V
Visual Studio Blog
Microsoft Azure Blog
Microsoft Azure Blog
MyScale Blog
MyScale Blog
N
News and Events Feed by Topic
罗磊的独立博客
S
SegmentFault 最新的问题
S
Security Affairs
aimingoo的专栏
aimingoo的专栏
F
Fortinet All Blogs
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
H
Hacker News: Front Page
Google DeepMind News
Google DeepMind News
B
Blog
O
OpenAI News
C
Cisco Blogs
Simon Willison's Weblog
Simon Willison's Weblog
The Last Watchdog
The Last Watchdog
Hacker News: Ask HN
Hacker News: Ask HN
博客园_首页
人人都是产品经理
人人都是产品经理
C
Cybersecurity and Infrastructure Security Agency CISA
Recent Commits to openclaw:main
Recent Commits to openclaw:main
Help Net Security
Help Net Security
月光博客
月光博客
J
Java Code Geeks
L
LangChain Blog
博客园 - 司徒正美
Stack Overflow Blog
Stack Overflow Blog
Security Archives - TechRepublic
Security Archives - TechRepublic
Apple Machine Learning Research
Apple Machine Learning Research
T
The Exploit Database - CXSecurity.com
N
News and Events Feed by Topic
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More

博客园_首页

Linux实操--组管理、权限管理和定时任务 Java + EasyExcel 实现单个接口导出多个Excel Mem0 源码解析系列(二):提示词工程的深度剖析 Openclaw TaskFlow究竟是什么?和普通Skill技能有什么区别 博文阅读密码验证 - 博客园 嘉立创开源:应该是全网MicroPython教程最多的开发板 Hermes Agent 集成实践:从协议到生产 2026年AI编程工具横评:Cursor、Codex、Claude Code、Zed、Windsurf Java程序员必看的RAG入门教程 2026 AI效率神器:Superpowers + Claude Code 保姆级教程 本地大模型部署全攻略:从 0 到 1 玩转 Ollama 【从0到1构建一个ClaudeAgent】内存管理-上下文压缩 .NET 高级开发 | 设计、实现一个事件总线框架 电子小白入门之NE555 3. WorkBuddy:隐藏玩法,一键召唤专家,让 AI 以"专家身份"给你干活 和AI一起搞事情#3:Claude Teammate 游戏开发翻车实录 【OpenClaw】通过 Nanobot 源码学习架构---(7)Memory C# .NET 周刊|2026年3月3期 我在 Debian 11 上把 K8s 单机搭起来了,过程没你想的那么顺(/opt 目录版) 深度学习进阶(七)Data-efficient Image Transformer CLI+Skill搭建浏览器AI自动化框架,告别一切重复枯燥任务 告别Token账单无底洞:OpenClaw本地部署,重塑企业数据主权的唯一解 FastAPI+Vue:文件分片上传+秒传+断点续传,这坑我帮你踩平了! SBTI 爆火后,我做了个程序员版的 CBTI。。已开源 + 附开发过程 多模态检索开始进入工程期:用 Sentence Transformers 搭建可落地的 Multimodal RAG 100多行代码实现一个最简单的Agent(用ReAct) Claude Code 通关手册(八):推荐 5 个 Hooks,代码质量提升 3 倍 老板:“有人截图了!”。安全部门:“收到,马上查暗水印!” - why技术 技术之外,皆是人间 C#/.NET/.NET Core技术前沿周刊 | 第 69 期(2026年4.01-4.12) Snack JSONPath 项目架构分析 Claude Code Buddy 小析:一个非核心功能,如何体现产品的细节完成度 AI新时代下的图床管理方案-Cloudflare图床+MCP+Skills方案指南 化繁为简:顺丰速运App如何通过 HarmonyOS SDK实现专业级空间测量 从零实现富文本编辑器#13-React非编辑节点的内容渲染 AI开发-python-langchain框架(3-23-OpenAI Functions风格Tool Calling智能助手) .NET + AI 进阶实战:基于类的技能开发 - 打造可治理的 Agent 能力模块 【从0到1构建一个ClaudeAgent】规划与协调-技能 上周热点回顾(4.6-4.12) 电子小白的工具三件套:面包板、杜邦线、万能板 单表五亿数据的查询优化 | Mysql、StarRocks 2. WorkBuddy:从“我是谁”到“帮我干活” C# 如何减少代码运行时间:7 个实战技巧 基于HelixToolkit.SharpDX 渲染3D模型 - 笺上知微 从零开始的双臂具身VLA起源及现阶段发展综述 - SkyXZ 记对 xonsh shell 的使用, 脚本编写, 迁移及调优 - pluvium27 受够了Vibe Coding的失控?换个起点,让AI事半功倍 从开始配置漏洞环境到漏洞复现流程 - 難しい 关于10年工作经验的程序员对OpenClaw的实战经验分享以及看法 - 虚无境 Any metadata 的内存布局 C# .NET 周刊|2026年3月2期 - InCerry 我帮你测过了,测试圈排名第二的 Skill 依然很牛逼 Skill Discovery | 无监督技能发现的经典工作总结 - MoonOut PbootCMS 网站内容数量多导致访问慢?这些实用优化方案帮你提速! - 家兴网络技术工作室 上下文工程是什么?过时了么?一文讲明白! - 一枫说码 网站漏洞怎么发现并修复?一篇实用指南(附完整流程) - 家兴网络技术工作室 开了 TUN 模式还是直连?90% 的人都踩过这个坑 Github日报|2026年04月12日 - AI一族 AScript扩展多种脚本语言 - rockey627 AI 学习笔记:Agent 的记忆机制 你能被装进一个文件里吗?——7 万人把同事"蒸馏"成了 AI - 我没有三颗心脏 Claude Code 通关手册(七):给 AI 装上技能包——Skills 完全指南 - 暮色之狐 在浏览器中快速编辑代码:VSCode Web 集成实践 - Newbe36524 蒸馏自己 skill?基于 Deepseek 的蒸馏器,丐版蒸馏方式,简单便捷 - To_Carpe_Diem Spring AI Aliababa和AgentScope,哪个更好? - 苏三说技术 Etsy 把 1000 个 MySQL 分片迁进 Vitess:425TB 数据背后的真正问题不是性能,而是运维规模 MicroPython LVGL基础知识和概念:底层渲染与性能优化 - FreakStudio 数据库草图算法 Python 潮流周刊#146:CPython 引入 Rust 的进展 - 豌豆花下猫 最小生成树 - mofei1116 红日靶场七:从外网入口、容器逃逸到 AD 接管的完整利用链复盘 - YouDiscovered1t 分享四款开源且实用的 Kafka 管理工具 - 追逐时光者 vLLM 权重加载机制全解析:从挑战到理想架构 LCT 学习笔记 - ACehomoxue Avalonia UI 12.0.0 正式发布:架构演进和性能飞跃 - 张善友 当 AI Agent 把调用链拉长,延迟开始成为一门生意 conhost.exe 无法显示 U+2717 - 145a 太秀了,我把自己蒸馏成了 Skill!已开源 - 程序员鱼皮 ASP.NET Core 内存缓存实战:一篇搞懂该怎么配、怎么避坑 基于 Ghostty 带有分割标签页和为 Claude 编程设计的通知终端 - BugShare AI 焊死入口:教育的“操作系统级”重塑 - 郝hai 初级Java开发工程师使用sql脚本编写代码的过程是简单而且不糊涂 - CoderOilStation Claude Code通关手册(六):MCP协议完全指南 - 暮色之狐 边框灯光环绕动画特效实现指南 - Newbe36524 开源:子木蒸馏版的 SEO 审计工具 seo-audit-skill v1.0 我所理解的Python元模型 【从0到1构建一个ClaudeAgent】规划与协调-TodoWrite - 程序员Seven Claude 和 Codex 在审计 Skill 上性能差异探究 - ACai_sec AScript如何实现中文脚本引擎 - rockey627 【渗透测试】HTB Season10 Garfield 全过程wp - dynasty_chenzi Android 开发者为什么必须掌握 AI 能力?端侧视角下的技术变革 树状数组正确性证明 - AC-wyr 你的 AI 焦虑,可能比 AI 本身更危险——ATM 机没有消灭银行柜员,但恐慌消灭了你的判断力 - 我没有三颗心脏 一个拉胯的分库分表方案有多绝望?整个部门都在救火! - 冰河团队 动态规划入门必学之走方格问题 - Ofnoname PostgREST 与 PostgreSQL 角色权限配置全解析(生产级实践) - SheepDog1998 使用 UEFI 图形输出协议 GOP 在屏幕上显示图像的方法 - 阿源- Claude Code通关手册(五):组建你的AI专家团队,子代理系统 - 暮色之狐 一个程序员到架构师的催婚路之感悟(整整10年后的催婚相亲感悟) - MisterLip 用 Agent Skill 自动生成工作周报 - 赵康
洛谷-P10786 [NOI2024] 百万富翁 题解
xiaoniu14285 · 2026-05-16 · via 博客园_首页

Subtask 1

直接每对 \((i,j)\) 均询问一次,然后找出比其他数都大的一个即可。

Subtask 2

不难想到每次请求把候选点集合二等分并对应连边,每条边必然排除一个数。于是每次请求排除一半候选点。可以做到 \(t=20,s=10^6\),期望得分 \(11\)

题目要求 \(t\le 8,s\le 1099944\)。我们需要用查询次数换请求次数。\(1099944\) 这样的奇怪限制启发我们 dp。设 \(f_{k,i}\) 为用 \(k\) 次请求,把 \(i\) 个候选点缩减到 \(1\) 个的最少查询次数,答案即为 \(f_{8,N}\)。转移为:

\[f_{k,i}=\min_{1\le j<i} \left(f_{k-1,j}+w(j,i)\right) \]

其中 \(w(j,i)\) 为一次请求把 \(i\) 个候选点缩减到 \(j\) 个的最小查询次数。现在问题变成如何计算 \(w\)

对于每次请求,我们不妨把查询视为无向图 \(G\) 的边。那么交互库把图定向成 DAG(大指向小),入度不为 \(0\) 的点一定会被排除,我们只保留入度为 \(0\) 的点。

因此在一次请求中留下来的点集中任意两点间无连边,即点集为 \(G\) 的独立集。反过来,任意独立集都能取到:将该独立集排在拓扑序最前面,然后按拓扑序大小关系定向即可给出构造。

因此,如果我们希望一次请求后最多剩下 \(j\) 个候选点,必须保证

\[\alpha(G)\le j \]

其中 \(\alpha(G)\)\(G\) 的最大独立集大小。因此 \(w(j,i)\) 就转化为\(i\) 个点且满足 \(\alpha(G)\le j\) 的图 \(G\) 的最小边数

手模小样例,发现一个比较优秀的构造:把 \(i\) 个点平均分成 \(j\) 组,每组连成完全图,总边数为

\[w(j,i)=(i\bmod j)\cdot\binom{\left\lfloor i/j\right\rfloor+1}{2}+\left(j-i\bmod j\right)\binom{\left\lfloor i/j\right\rfloor}{2} \]

事实上,可以证明这是最优构造:

注意到,\(G\) 的独立集和补图 \(\overline{G}\) 中的团一一对应。因此

\[\alpha(G)\le j\Longleftrightarrow K_{j+1}\notin\overline{G} \]

\(G\) 的边数最少等价于 \(\overline{G}\) 的边数最多。

这正是图兰定理:

在所有 \(i\) 个点且不包含 \(K_{j+1}\) 的图中,边数最多的图是具有 \(i\) 个点的完全 \(j\) 分图(即上面构造的图)。

现在还有一个问题:朴素 dp 是 \(O(tn^2)\) 的,会 T。暴力枚举发现 \(w\) 满足四边形不等式。这一点可以证明:

往证 \(\forall j<i\)

\[w(j,i)+w(j+1,i+1)\le w(j+1,i)+w(j,i+1) \]

移项,得

\[w(j+1,i+1)-w(j+1,i)\le w(j,i+1)-w(j,i) \]

\[w(j,i+1)-w(j,i)\le \binom{\left\lfloor i/j\right\rfloor+1}{2}->\binom{\left\lfloor i/j\right\rfloor}{2} \]

代入原式,得

\[\binom{\left\lfloor i/(j+1)\right\rfloor+1}{2}-\binom{\left\lfloor >i/(j+1)\right\rfloor}{2} \le \binom{\left\lfloor i/j\right\rfloor+1}{2}-\binom{\left\lfloor >i/j\right\rfloor}{2} \]

\[\left\lfloor i/(j+1)\right\rfloor\le \left\lfloor i/j\right\rfloor \]

证毕。

于是决策单调性成立,可以用分治算法优化到 \(O(tn\log n)\),发现 \(f_{8,N}\) 的值恰好满足限制,从而通过本题。

Code

#include "richest.h"
#include <vector>
#include <bitset>
#define rep(i,a,b) for(int i(a);i<b;++i)
#define rept(i,a,b) for(int i(a);i<=b;++i)
#define eb emplace_back
#define ll long long
#define il inline
using namespace std;
namespace{
    constexpr ll INF=1e16;
    int N,T,S;
    bool INITED;
}
namespace Case1{
    constexpr int MAXN=1000;
    bitset<MAXN> mk;
    vector<int> A,B,C;
    int solve(){
        if(!INITED){
            A.reserve(499500);
            B.reserve(499500);
            C.reserve(499500);
            INITED=true;
        }
        mk.reset();
        A.clear(),B.clear();
        rep(i,0,N-1) rep(j,i+1,N) A.eb(i),B.eb(j);
        C=ask(A,B);
        rep(i,0,499500) mk.set(C[i]==A[i]?B[i]:A[i]);
        rep(i,0,N) if(!mk[i]) return i;
        return 0;
    }
}
namespace Case2{
    constexpr int MAXN=1e6+1;
    ll f[9][MAXN];
    int g[9][MAXN];
    bitset<MAXN> mk;
    vector<int> A,B,C,D;
    il ll comb(ll x){
        return x*(x-1)/2;
    }
    il ll w(int m,int n){
        int a=n/m,b=n%m;
        return (m-b)*comb(a)+b*comb(a+1);
    }
    void calc(int k,int l,int r,int opt_l,int opt_r){
        int i=l+r>>1;
        g[k][i]=opt_l;
        rept(j,opt_l,min(opt_r,i-1)){
            if(f[k-1][j]+w(j,i)<f[k][i]){
                f[k][i]=f[k-1][j]+w(j,i);
                g[k][i]=j;
            }
        }
        if(l<i) calc(k,l,i-1,opt_l,g[k][i]);
        if(r>i) calc(k,i+1,r,g[k][i],opt_r);
    }
    int solve(){
        mk.reset();
        if(!INITED){  // 仅在初始时运行一次dp
            fill(f[0]+2,f[0]+N+1,INF);
            rept(k,1,8){
                fill(f[k]+1,f[k]+N+1,INF);
                calc(k,1,N,1,N);
            }
            A.reserve(f[8][N]),B.reserve(f[8][N]);
            C.reserve(f[8][N]),D.reserve(f[8][N]);
            INITED=true;
        }
        int k=8,n=N;
        while(n>1){
            int m=g[k][n];
            int len=w(m,n),a=n/m,b=n%m,p=0;
            A.clear(),B.clear(),D.clear();
            rep(_,0,m-b){
                while(D.size()<a){
                    if(!mk[p]) D.eb(p);
                    ++p;
                }
                rep(i,0,D.size()-1){
                    rep(j,i+1,D.size()){
                        A.eb(D[i]),B.eb(D[j]);
                    }
                }
                D.clear();
            }
            rep(_,0,b){
                while(D.size()<a+1){
                    if(!mk[p]) D.eb(p);
                    ++p;
                }
                rep(i,0,D.size()-1){
                    rep(j,i+1,D.size()){
                        A.eb(D[i]),B.eb(D[j]);
                    }
                }
                D.clear();
            }
            C=ask(A,B);
            rep(i,0,len){
                int u=C[i]==A[i]?B[i]:A[i];
                if(!mk[u]) mk.set(u),--n;
            }
            --k;
        }
        rep(i,0,N) if(!mk[i]) return i;
        return 0;
    }
}
int richest(int _N,int _T,int _S){
    N=_N,T=_T,S=_S;
    return N==1000?Case1::solve():Case2::solve();
}