图论

稚南城才子，乌衣巷风流

DFS序详解：原理、应用与实现DFS序（Depth-First Search Order）是指对一棵树进行深度优先遍历时，按照访问顺序给每个节点分配的编号序列。它是树结构的一种线性化表示方法，在算法竞赛和数据结构中有着广泛的应用。

关于图论【力扣797.所有可能的路径的思考】1、图论部分的练习都用ACM模式（要自己写输入输出的）（在卡码网上做完题目，再去力扣上把核心代码模式的补完）

关于图论【理论基础】一、图的种类1、无向2、有向3、权值二、各种度1、度2、出度3、入度三、连通性1、连通图2、强连通图3、连通分量

关于图论【深度优先搜索的理论基础】1、DFS（Depth-First Search，深度优先搜索）深搜2、从一个节点出发一直搜到终点，然后撤销最近的一次搜索操作

二分图详解1. 起点染0：颜色0数量为cnt0，颜色1数量为cnt12. 起点染1：颜色0数量为cnt1，颜色1数量为cnt0 因此对于单个连通块：某集合最小节点数 = min(cnt0, cnt1)，某集合最大节点数 = max(cnt0, cnt1)，全局结果只需将所有连通块的对应值累加即可。

【板子】拓扑排序解决 “先做 A 才能做 B” 的问题。把有向无环图 (DAG) 拉直成一个序列。保证：如果 A -> B（A 依赖 B），序列中 B 一定在 A 前面（注：取决于建图逻辑，通常我们定义 a->b为 a做完才能做 b，即 a在前；但在“菜肴制作”题中，为了“小数靠前”，我们采用了反向建图，此时 y->x意味着 x依赖 y，y在前）。

数学公理体系大全:第七章连续统假设与力迫法简介1878年，集合论的创始人乔治·康托在系统地研究了无穷集合的基数之后，提出了一个令后世数学家魂牵梦萦的问题：实数连续统的基数 2ℵ02^{\aleph_0}2ℵ0 究竟在阿列夫谱系中处于什么位置？康托早已证明自然数集 N\mathbb{N}N 是可数的，其基数为 ℵ0\aleph_0ℵ0，而实数集 R\mathbb{R}R 是不可数的。通过经典的“对角线方法”，他进一步证明了对任意集合 XXX，幂集 P(X)\mathcal{P}(X)P(X) 的基数严格大于 XXX 自身的基数，由此产生了一条严格递增的

题解：P16108 「o.OI R-1」基础博弈练习题观察样例后发现，出题人给的数据都是答案为Ciallo~的数据，十分难受，所以自然想要去看看怎么才能得到答案为xwx的数据。

数学公理体系大全:第二章一阶谓词演算：进入“所有”与“存在”命题逻辑处理的是完整命题之间的推演，却无法进入命题的内部结构。当我们试图论证“所有自然数都有后继”或“存在一个大于零的实数”时，命题逻辑便暴露了它的局限：它无法捕捉“所有”与“存在”这两个量词的微妙逻辑，也不能处理个体与性质之间的关系。一阶谓词演算正是为填补这一缺陷而生。它将命题分解为个体、谓词和量词，建立起一套足以形式化几乎所有数学理论的通用语言。

题解：P17078 夏日甜点原来是喜欢出背景题的出题组，着实有点意思。关键结论：任意区间的最高评价都等于该区间所有风味值之和，因此答案就是整个序列的总和，与如何划分以 k k k 无关。

数学公理体系大全:第一章命题逻辑：真值之舞引论：命题逻辑——数学推理的基石与公理化的范式数学的宏伟殿堂，无论其结构多么精巧繁复，最终都奠基于最基础的逻辑推理。任何数学证明——从欧几里得《几何原本》的优雅演绎，到怀尔斯对费马大定理的世纪性攻克——都可被逐层解构为一系列至为简单的推理单元：“若A则B，今有A，故有B”。将这种原子化的推理形式捕捉、提炼为符号，并构建一套能够机械检验的运算规则，正是命题逻辑的核心使命。它不仅是数理逻辑的开篇，更是全部公理化方法与形式科学的精神缩影。

算法札记：图的存储方式

数学公理体系大全:第四章 ZFC公理的形式化与构造演算卷二的核心是公理集合论，而本章的任务是对其标准公理系统——策梅洛–弗兰克尔集合论加选择公理（ZFC）——进行完整的、符合现代逻辑标准的形式化展开。在卷一中，我们建立了带等词的一阶谓词演算，确立了推理的元规则；卷三将讨论自然数的皮亚诺公理及其在范畴论中的对应。然而，一切数学对象最终都需要一个统一的承载舞台与本体论承诺，这个舞台就是集合宇宙，而ZFC便是这部宇宙的宪法。本章将逐条引入并审视ZFC的每条公理，阐明其形式化表述、历史动机、直接推论，并展示如何从这些公理出发构造有序对、关系、函数、等价类、自然数、序

【板子】欧拉序树的子树对应一段连续区间，是线段树能处理的核心前提：举个例子：dfs 序：1 → 2 → 回溯 → 3 → 回溯 \(in[1]=1,\ out[1]=3\) \(in[2]=2,\ out[2]=2\) \(in[3]=3,\ out[3]=3\) 子树 1 对应区间 \([1,3]\)，子树 2 对应 \([2,2]\)。

数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷7)概率，这门处理不确定性的数学分支，其历史几乎与人类文明本身一样古老。从古巴比伦的骨骰到文艺复兴时期卡尔达诺的赌博手册，从费马与帕斯卡的通信到雅各布·伯努利的《猜度术》，人们始终致力于从偶然性中提炼规律。然而，直至20世纪初，概率论的基础仍包裹在哲学迷雾中：拉普拉斯将概率定义为有利情形与所有可能情形之比，预设了“等可能”这一未经定义的概率概念；贝特朗悖论则戏剧性地表明，缺乏测度结构的“随机”一词可以导出三个互不相容的答案。概率论呼唤一场公理革命——如同欧几里得之于几何、魏尔斯特拉斯之于分析。柯尔莫哥洛夫（A

数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷6)数学分析的诞生源于对无穷小与极限的精密追问，而拓扑学则是将“连续性”本身剥离为最纯净的公理形式。本卷将这两条大河汇流一处：从拓扑空间的开集公理出发，建立连通与紧致的骨架；进而引入度量，让抽象的点获得距离的灵魂；再以实数完备性的六大等价命题为镜，映照出完备度量空间与泛函分析的雏形；最后，我们踏入测度论的公理殿堂，一窥勒贝格如何用可列可加性驯服了长度、面积与积分的野性。这趟旅程将彻底重塑你对“空间”的认知——点不再仅是坐标，极限也不再是 ε\varepsilonε-δ\deltaδ 的游戏，它们都是公理羽翼下

数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷8)1950年代，塞缪尔·艾伦伯格和桑德斯·麦克莱恩在研究代数拓扑中的自然变换时，洞悉到一个深层的数学事实：不同的数学理论之间存在着惊人的结构平行性。群的商结构与集合的商集、向量空间的商空间共享同样的“泛性质”；自由群、自由环、多项式环的构造模式如出一辙；同调代数中的连接同态与拓扑中的边界映射表现出相同的函子行为。这些相似并非偶然的巧合，而是一个更基本的理论在不同语境下的投影——这个理论就是范畴论。

数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷2)在卷一我们精雕细琢了逻辑本身——命题如何联结，全称与存在如何言说，推理如何从公理流淌而出。现在，是时候用这套精致的工具去搭建一座城市，一座足以容纳全部数学对象的巨构。这座城市的蓝图就是公理集合论，而它的施工规范便是策梅洛–弗兰克尔公理系统，外加选择公理——简称ZFC。

数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷1)数学大厦的每一块砖石都承载着逻辑的重量。在触碰任何数学对象之前，我们必须先确立推演规则本身——这正是本卷的任务。从最简单的命题联结词到一阶量词的微妙处理，再到高阶类型论的天际线，我们将层层搭建起数学证明的公理化骨架。这趟旅程始于一个简单的问题：当数学家说“如果……那么……”时，究竟在断言什么？

数学星球:等价性(第5-8章)在拓扑学中，商构造是构造新空间的最强大工具。基本操作是：取一个已知空间，通过等价关系将某些部分“粘合”在一起。