作者：Harris
最长上升子序列（LIS）算法详解：从动态规划到路径还原
经典算法模型：最长上升子序列 (LIS) 详解 最长上升子序列 (Longest Increasing Subsequence, 简称 LIS) 是动态规划中最基础、也是极其重要的一个模型。 问题描述：给定一个长度为 n 的数组，找出一个最长的单调严格递增的子序列。子序列不需要在原数组中连续。 例如
最长上升子序列期望的两种巅峰解法：状压 DP 与杨表 RSK 对应
算法之美：最长上升子序列 (LIS) 期望的两种巅峰解法 —— 洛谷 P4484 深度剖析 (状压 DP vs 杨表与 RSK 对应) 求一个随机排列的最长上升子序列 (Longest Increasing Subsequence, LIS) 长度的期望，是一道极具数学和算法双重美感的题目。 对于数
算法之美：从暴力枚举到 O(1) 的概率论降维打击
算法之美：从暴力枚举到 O(1) 的概率论降维打击 —— 洛谷 P2911 [USACO08OCT] Bovine Bones G 数学解法详解 在算法竞赛中，求多个独立随机变量的和的分布是一个非常经典的模型。本题要求解的是：投掷三个面数分别为 A, B, C 的骰子，求出现概率（频次）最高的和；若
数论小白都能看懂的数学期望讲解
-1.灌水 这里阅读应该效果更佳 想了解更多关于数论的内容，可戳这里 < img src="https://i.loli.net/2019/08/13/JVikyN6KT3WhsrF.jpg" alt="Image 1" style="max-width:100%; height:auto; bor
旅行商问题（TSP）与状态压缩动态规划详解
经典算法模型：旅行商问题 (TSP) 与状压 DP 旅行商问题 (Traveling Salesperson Problem, TSP) 是计算机科学中最著名的 NP-Hard 问题之一。 问题描述：给定一系列城市和每对城市之间的距离，求解访问每一座城市恰好一次并回到起始城市的最短回路。 因为它是
构造最短序列以满足特定整除二元组数量
巧妙的构造算法：特定整除二元组的最短序列 题目大意 给定一个数字 k（1 \leq k \leq 10^5），要求构造一个长度为 n 的序列 a_1, a_2, \dots, a_n，使得恰好存在 k 个二元组 (i, j) 满足 i < j 且 a_i \mid a_j（即
哈站日报 Vol.1：地缘冲击下的能源对冲与系统鲁棒性，兼论AI基座的代际演进
🌐 哈站日报 (Vol.1) 摘要 (Abstract)：中东地缘冲突升级触发全球能源供应链重估，WTI原油逼近百元大关，引发跨市场连锁反应。本文从宏观对冲逻辑出发，解析能源冲击下的系统性风险传导机制，并对比小米 MiMo-V2-Pro 等万亿参数大模型在应对复杂不确定性时的系统架构优势。 预计阅
Dify AI Researcher 引擎自动化部署指南
🚀 Dify 第三引擎 (AI Researcher) 全自动化部署指南 在这个工作流中，前半部分（搜索+撰写）是全新的，而后半部分（代码清洗+HTTP发布）将 100% 复用 我们在引擎一中打磨完美的“防弹架构”。 请在 Dify 中新建一个 工作流 (Workflow)，并按以下步骤依次连接节
彻底搞懂状压 DP：NOIP 2017《宝藏》重构题解
彻底搞懂状压 DP：NOIP 2017《宝藏》重构题解 P3959 [NOIP 2017 提高组] 宝藏 题目背景 NOIP2017 D2T2 题目描述 参与考古挖掘的小明得到了一份藏宝图，藏宝图上标出了 n 个深埋在地下的宝藏屋， 也给出了这 n 个宝藏屋之间可供开发的 m 条道路和它们的长度。
NOI 2020《美食家》：广义矩阵乘法与拆点技巧的数学解剖
NOI 2020 美食家：广义矩阵乘法与拆点技巧的数学解剖 在解决 NOI 2020《美食家》时，仅仅知道“矩阵快速幂+拆点”的算法名词是不够的。本文将从数学底层出发，详细剖析广义矩阵乘法 (Max-Plus Algebra) 的合法性，并用严谨的数学定义和实例展示拆点构造与向量优化的过程。 一、