Tag: 证明

2023
数图论

图的自同构群与对称性、可迁图

摘要: 图的群表示 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 图的同构点同构定义：$D = (V(D), E(D), \psi_{D})$ 和 $H = (V(H), E(H), \psi_{H

数图论

n维超立方体

摘要: n维超立方体的基础性质 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings n 维超立方体可以简单理解为 n 维空间中边长为 1 的正方体。它有很多非常好的性质，因此是大规模互联

数图论

k部图与图兰定理

摘要: k部图的应用 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 二部图是应用非常广泛的一类图。相关的理论研究的非常多，很多业务场景可以抽象为二部图上的匹配问题。而 k 部图在定

数组合数学

鸽巢原理及其加强形式

摘要: 鸽巢原理 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 鸽巢原理是组合数学中最古老的原理之一，也称为抽屉原理或Dirichlet原理。Dirichlet 在 1834 年提

数图论

伴随二部图、图论第一定理

摘要: 图论第一定理 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 二部图是一类结构简单又非常重要的图。在文章 二分图判定定理与算法 中我们介绍过二部图判定定理及算法。 对于任意有

算法leetcode

【搜索难题】力扣2258-逃离火灾

摘要: 搜索题，思路简单，细节复杂 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 各位好，本文我们来看一个搜索题。思路比较清晰，不过细节很复杂。需要针对人和火搜索两次。第二次既可以 BFS 也可以

数组合数学

SJT算法：沿哈密顿路径枚举全排列

摘要: 枚举全排列与哈密顿路径 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 在文章 回溯法的思想、设计与分析 中，我们系统学习了回溯法。回溯法将解空间看做树形结构，称为状态空间树，在文章 回溯法三

算法图算法

迪杰斯特拉算法(Dijkstra)

摘要: 迪杰斯特拉算法原理与代码模板 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 迪杰斯特拉（Edsger Wybe Dijkstra）在一个充满科学气息的家庭背景中长大，父亲

算法疑难杂症

均分纸牌问题

摘要: 贪心算法经典问题：均分纸牌 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 本文我们来看一下贪心算法的经典问题：均分纸牌问题。该问题在移牌规则上有两个比较常见的变种，一个是允许环形移牌，一个是

数分析

广义二项式定理的现代分析学证明，一元函数微分与泰勒定理复习

摘要: 广义二项式定理的现代分析学证明 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 在文章 广义二项式定理的推导 中，我们串讲了一下二项式定理的发展史，重点学习了牛顿发现广义二项

数组合数学

卢卡斯定理

摘要: 求组合数的代码模板和例题 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 卢卡斯定理是由法国数学家爱德华·卢卡斯在1878年提出的，涉及到组合数和模运算，广泛应用于组合数学和数论中。 卢卡斯

数组合数学

形式幂级数的运算、性质、应用

摘要: 全面梳理形式幂级数的理论和应用 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 在文章 数学分析-级数论 中，我们系统学习过函数项级数，首先是收敛性、收敛半径以及各种判别法，

数组合数学

组合恒等式-基于六个基本组合恒等式

摘要: 六个基本组合恒等式 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 组合的定义： \binom{n}{k} = \frac{n!}{k!(n-k)!}二项式定理： (1 + x)^{n}

数组合数学

微积分方法证明组合恒等式

摘要: 组合恒等式：微积分方法 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 在组合数学、概率、分析中，经常会在推导中使用组合恒等式，很多组合恒等式事先不知道的话，是不容易看出来的。在文章 组合恒等

算法leetcode

力扣2389-和有限的最长子序列

摘要: 一个比较综合的简单题 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 各位好，本文我们来看力扣上的一道我认为不错的题目，2389. 和有限的最长子序列，本题在力扣上标记为简单题，但该题综合了排

数方程

函数方程串讲、从零推导柯西方程的解

摘要: 最重要的一类函数方程：柯西方程 【对数据分析、人工智能、金融科技、风控服务感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：潮汐朝夕我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 在文章 从零推导斯特林公式 中，我们严格证明了斯特林公式，它是信息论中推导取得最大熵的概率分布

2020
数组合数学

偏序集与Dilworth定理

摘要: 偏序集、Dilworth定理 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 此前我们系统第学习了组合数学，详细内容见下面这些文章： 组合数学1-排列组合 组合数学2-母函数,递推关系 组合

算法图算法

二部图判定定理与算法

摘要: 本文介绍二部图判定定理与二部图判定算法 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 在文章 图论1-基本概念 中我了解了二部图的定义和一些性质。 本文我们以力扣第 785 题为模板题，看一

算法图算法

带权图最短路径算法与实现

摘要: 带权图单源最短路 【对算法，数学，计算机感兴趣的同学，欢迎关注我哈，阅读更多原创文章】我的网站：潮汐朝夕的生活实验室我的公众号：算法题刷刷我的知乎：潮汐朝夕我的github：FennelDumplings我的leetcode：FennelDumplings 本文我们以力扣 743 为模板题来看一下带权图的单源最短路问题的各种算法的原理以及实现。涉及到以下算法： dkijstra