动态规划

雪碧聊技术

动态规划算法—01背包问题目录1、动态规划的基本思想2、动态规划的典型例子—01背包问题解法思路每个格子的值的含义填写表格的顺序

LeetCode 494：目标和（动态规划/01背包问题）—— 题解🎯 欢迎来到「目标和」题解之旅！本文将带你深入理解动态规划与背包问题的巧妙结合。在开始之前，建议你先：

动态规划-最长上升子序列问题个人主页：<zephyr05>个人专栏：<Linux> <C/C++> <竞赛专栏>座右铭：等风来不如追风去，追寻的过程就是人生的意义。

力扣hot100-53.最大子数组和-动态规划详解LeetCode 53「最大子数组和」要求：关键词是：例如：最大和来自：它的和是：所以答案是：最直接的想法是枚举每一个连续子数组，再计算其和。

《LeetCode 416 分割等和子集》416. 分割等和子集 - 力扣（LeetCode）要将数组分割成两个和相等的子集，等价于从数组中选出一些数，使它们的和等于总和的一半。设总和为 sum，若 sum 为奇数，则不可能平分，直接返回 false。若为偶数，目标值 aim = sum / 2。于是问题转化为一个01背包可行性问题：有 n 个物品，每个物品重量（数值）为 nums[i]，背包容量为 aim，问能否恰好装满。

【软考算法】软件设计师下午第四题之动态规划：0-1 背包与最长公共子序列的“填表艺术“上一篇我们聊了分治法，核心是"拆、治、合"。今天聊动态规划（DP），它的核心就一句话：**"记住过往，避免重复"**。如果说分治法是"重新做一遍"，那动态规划就是"抄上一次的作业"。

《LeetCode 646 最长数对链 || LeetCode 1143 最长公共子序列》定义 dp[i] 表示以第 i 个数对结尾的最长数对链的长度。由于数对可任意顺序选择，我们先按 left 升序排序，使得后续只需考虑 j < i 的前驱，具备无后效性。

《LeetCode647 回文子串 || LeetCode 5 最长回文子串》本题要求统计字符串中回文子串的总数。定义 dp[i][j] 表示子串 s[i..j]（包含两端）是否为回文串（true 表示是，false 表示否）。该二维表可覆盖所有连续子串。

力扣300-最长递增子序列题目链接：300. 最长递增子序列 - 力扣（LeetCode）给你一个整数数组 nums ，找到其中最长严格递增子序列的长度。

数学公理体系大全:第十四章向量空间与模：线性代数的公理化与推广前两章我们分别构筑了群论与环论的公理体系。群以单一的合成法则捕捉了对称性的本质，环则将加法与乘法熔铸为一种丰富的代数结构，其中乘法对加法的分配律架起了两种运算之间的桥梁。然而，在代数的版图上，还横亘着一类更为细腻的结构：它要求有一个交换群，并允许来自某个环（或域）的元素作为“标量”作用其上，标量乘法与群加法之间由分配律和结合律精细调控。这就是模的概念——当标量环是域时，它回归为我们熟悉的向量空间；当标量环是整数环时，它蜕变为阿贝尔群；当标量环是一元多项式环时，它又化身带有线性算子的向量空间。模的公理化，以

算法设计期末复习笔记基于 Lecture 1-7, 作业与考试热点整理考试题型: 10 选择(20分) + 10 判断(10分) + 4 计算 + 2 算法设计

数学公理体系大全:第七章连续统假设与力迫法简介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 自身的基数，由此产生了一条严格递增的

第29篇-状态压缩DP-当状态很多时如何降维优化前面我们讲过线性 DP、背包 DP 和区间 DP。这些 DP 的状态通常比较直观：但有些问题的状态不是一个位置、一个容量或一个区间，而是：

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

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

《LeetCode 978 最长湍流子数组 || LeetCode 139 单词拆分》本题要求计算最长湍流子数组的长度。湍流要求相邻比较符号交替翻转，因此需要区分最后一段比较方向。我们定义两个状态：

数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(补充卷9)前八卷中，我们逐步搭建起数学的公理体系：从命题逻辑到一阶谓词，从集合论到数系，从代数到几何，从拓扑到概率，最终抵达范畴论的抽象顶峰。然而，细心的读者或许会察觉一个悬而未决的问题——公理与其模型之间究竟是何种关系？

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

初学者，亦行者

算法设计与分析：动态规划 - TSP问题和0-1背包问题理解并掌握动态规划的基本原理，能将其应用于解决实际问题。了解TSP问题和0-1背包问题的含义，应用动态规划解决这两个问题，并能编写出实现该算法的编程代码。

《动态规划：从“傻傻穷举”到“过目不忘”的修仙之路》递归像“查字典”，查一个词，发现要先查另一个词，另一个词又要查第三个词，直到查到最简单的词（Base Case）才停止。