搜索结果
查询Tags标签： 证明，共有 21条记录-
最终的归宿 自做自切
U231111 最终的归宿 题解 观察到题目中 \((x, y) \oplus (y, z) = (z, x)\) 的特殊二元组生成方式，我们很容易联想到三元环，于是思考到能不能用图论解决这个问题。 具体在这个题目上，也就是给定了一个有向图，无重边有自环，一旦有 \(x \to y, y\to z\)，我们能迭代出一…
2022/7/25 6:52:54 人评论 次浏览 -
学习架构整洁之道——编程范式
一、结构化编程 1、可推导性 程序员可以用代码将一些已经证明可用的结构串联起来，只是证明这些额外代码时正确的，就可以推导出整个程序的正确性。 2、功能性降解拆分 程序员可以将大型系统拆分为模块和组件，而这些模块和组件最终可以次啊分为更小的可以证明的函数。比如…
2022/4/12 9:12:37 人评论 次浏览 -
关于 NOI2019 斗主地 的证明
左边 \(L\) 右边 \(R\) 张牌： 左边从上往下第 \(x\) 张牌对第 \(i\) 个位置的贡献 其实都可以打表观察 233 \[\sum_{x}\binom{i-1}{x-1}\binom{n-i}{L-x}w_x \]\(w_x = x :\) \[\sum_{x}\binom{i-1}{x-1}\binom{n-i}{L-x} x \]\[\sum_{x}(\binom{i}{x}x - \binom{i-1}{x}…
2021/12/28 23:39:00 人评论 次浏览 -
关于 NOI2019 斗主地 的证明
左边 \(L\) 右边 \(R\) 张牌： 左边从上往下第 \(x\) 张牌对第 \(i\) 个位置的贡献 其实都可以打表观察 233 \[\sum_{x}\binom{i-1}{x-1}\binom{n-i}{L-x}w_x \]\(w_x = x :\) \[\sum_{x}\binom{i-1}{x-1}\binom{n-i}{L-x} x \]\[\sum_{x}(\binom{i}{x}x - \binom{i-1}{x}…
2021/12/28 23:39:00 人评论 次浏览 -
Cantor 表
现代数学的著名证明之一是 Georg Cantor 证明了有理数是可枚举的。他是用下面这一张表来证明这一命题的： 1/1 , 1/2 , 1/3 , 1/4, 1/5, … 2/1, 2/2 , 2/3, 2/4, … 3/1 , 3/2, 3/3, … 4/1, 4/2, … 5/1, … … 我们以 Z 字形给上表的每一项编号。第一项是 1/1，然后是 …
2021/12/24 23:10:08 人评论 次浏览 -
Cantor 表
现代数学的著名证明之一是 Georg Cantor 证明了有理数是可枚举的。他是用下面这一张表来证明这一命题的： 1/1 , 1/2 , 1/3 , 1/4, 1/5, … 2/1, 2/2 , 2/3, 2/4, … 3/1 , 3/2, 3/3, … 4/1, 4/2, … 5/1, … … 我们以 Z 字形给上表的每一项编号。第一项是 1/1，然后是 …
2021/12/24 23:10:08 人评论 次浏览 -
贪心算法的证明
由于考试算法中用到贪心时需要先证明其正确性才能使用，所以本人学习了一下贪心算法的证明方法并作此笔记。 首先，在网上找到的贪心策略证明有：考察一个问题的最优解,证明可修改该最优解,使得其从贪心选择开始,然后用数学归纳法证明每一步都可以通过贪心选择得到最优解 …
2021/12/10 22:23:01 人评论 次浏览 -
贪心算法的证明
由于考试算法中用到贪心时需要先证明其正确性才能使用，所以本人学习了一下贪心算法的证明方法并作此笔记。 首先，在网上找到的贪心策略证明有：考察一个问题的最优解,证明可修改该最优解,使得其从贪心选择开始,然后用数学归纳法证明每一步都可以通过贪心选择得到最优解 …
2021/12/10 22:23:01 人评论 次浏览 -
我想到了一个 0.9999…… = 1 的 证明
以前 在 反相吧 和 民科吧 看到过 一个 证明 0.9999…… = 1 的 证明， 我老是 忘记 这个 证明 是 怎么证的， 虽然当初 还 指出过 这个 证明 的 问题 。前几天 回忆了 很长时间， 才 回想起 这个 证明方法， 如下 ：s = 0.9999…… 10 s = 9.9999…… 10 s…
2021/12/9 6:48:22 人评论 次浏览 -
我想到了一个 0.9999…… = 1 的 证明
以前 在 反相吧 和 民科吧 看到过 一个 证明 0.9999…… = 1 的 证明， 我老是 忘记 这个 证明 是 怎么证的， 虽然当初 还 指出过 这个 证明 的 问题 。前几天 回忆了 很长时间， 才 回想起 这个 证明方法， 如下 ：s = 0.9999…… 10 s = 9.9999…… 10 s…
2021/12/9 6:48:22 人评论 次浏览 -
继承遗产纠纷案件需要准备哪些证据
（1）公安机关、医院关于被继承人死亡的证明；被继承人死亡日期的户籍资料或宣告死亡的判决书；亲属关系证明； （2）被继承人主要遗产所在地的证明及遗产种类、数量、折价清单； （3）被继承人生前债权、债务情况的证明； （4）被继承人遗嘱原件，公证遗嘱的公证书，代书…
2021/11/22 23:16:20 人评论 次浏览 -
继承遗产纠纷案件需要准备哪些证据
（1）公安机关、医院关于被继承人死亡的证明；被继承人死亡日期的户籍资料或宣告死亡的判决书；亲属关系证明； （2）被继承人主要遗产所在地的证明及遗产种类、数量、折价清单； （3）被继承人生前债权、债务情况的证明； （4）被继承人遗嘱原件，公证遗嘱的公证书，代书…
2021/11/22 23:16:20 人评论 次浏览 -
朝鲜时蔬 部分证明
朝鲜时蔬 的一些力所能及的证明 题意 \(~~~~\) 包含 \(1\sim n\) 的所有元素的集合，有多少个 \(m\) 阶子集，这个 \(m\) 阶子集的和能被最多该集合的 \(k\) 阶子集和整除。 \(~~~~\) \(1\leq k\leq m\leq n\leq 10^{12},1\leq m\leq 4\) 题解 \(m=1,k=1\) \(~~~~\) 任选集…
2021/10/14 23:18:13 人评论 次浏览 -
朝鲜时蔬 部分证明
朝鲜时蔬 的一些力所能及的证明 题意 \(~~~~\) 包含 \(1\sim n\) 的所有元素的集合，有多少个 \(m\) 阶子集，这个 \(m\) 阶子集的和能被最多该集合的 \(k\) 阶子集和整除。 \(~~~~\) \(1\leq k\leq m\leq n\leq 10^{12},1\leq m\leq 4\) 题解 \(m=1,k=1\) \(~~~~\) 任选集…
2021/10/14 23:18:13 人评论 次浏览 -
知乎 ： 有什么你认为很简单的问题实际的证明却很复杂？
知乎 《有什么你认为很简单的问题实际的证明却很复杂？》 https://www.zhihu.com/question/463594376/answer/1927521976
2021/10/1 6:11:03 人评论 次浏览
