码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
关于MacBook终端的基础使用--创建删除目录
(1)创建目录 使用指令:mkdir 自定义目录名 步骤: 打开终端后,先输入ls,看一下当前目录 然后输入创建目录的命令 mkdir 我在这里将新创建的目录名写为yxy 所以输入为mkdir yxy,接着输入ls,查看一下现在的目录 现在我们就可以看到目录里面出现我们创建的yxy (2)删除目录 ...
分类:系统相关   时间:2020-11-07 16:01:47    阅读次数:23
GMOJ 6842. 【2020.11.5提高组模拟】淘淘蓝蓝之扮猪吃愉 悦
题目大意 题解 这题其实并不是很难,但是考场时连数据范围都没有看,一直在打T3。 首先证明一个结论:对于两个点来说,$power$越大,$point$就越大。 首先分类讨论,设$power_a>power_b$,\(point_a>point_b\),此时操作后有: $$ power_{a'}-po ...
分类:其他好文   时间:2020-11-06 02:44:33    阅读次数:45
3. Distributional Reinforcement Learning with Quantile Regression
C51算法理论上用Wasserstein度量衡量两个累积分布函数间的距离证明了价值分布的可行性,但在实际算法中用KL散度对离散支持的概率进行拟合,不能作用于累积分布函数,不能保证Bellman更新收敛;且C51算法使用价值分布的若干个固定离散支持,通过调整它们的概率来构建价值分布。 而分位数回归(q ...
分类:其他好文   时间:2020-11-06 01:13:28    阅读次数:22
博弈总结
这里是看了学长的例会以及挑战上关于博弈的知识进行一下知识总结 1、PN法 定义: 必败点P:位于此位置的人,在双方操作均优的情况下,必败,记作“0” 必胜点N:位于此位置的人,在双方操作均优的情况下,必胜,记作“1” 性质: 游戏结束的点(通常为0点)均为必败点 必胜点等价于必有一种方式可以到达必败 ...
分类:其他好文   时间:2020-11-02 10:50:17    阅读次数:37
JVM的艺术—类加载器篇(二)
分享是价值的传递,喜欢就点个赞 引言 今天我们继续来深入的剖析类加载器的内容。上节课我们讲了类加载器的基本内容,没看过的小伙伴请加关注。今天我们继续。 什么是定义类加载器和初始化类加载器? 定义类加载器:假设我们的某一个类是由ExtClassLoader加载的,那么ExtClassLoader称为该 ...
分类:其他好文   时间:2020-11-01 10:35:29    阅读次数:12
redis 简单使用
启动redis。 在终端输入。redis-server 出现上述图中图像,证明你的redis启动成功了。以上来自MacBook的截图。 如果要查询吧,插入数据,我们就需要一个客户端了。注意我们这里需要新开一个窗口。 启动redis客户端,在终端输入。redis-cli 查看所有的key,输入指令ke ...
分类:其他好文   时间:2020-10-31 01:55:46    阅读次数:15
斐波那契数列の循环节
这问题咕咕咕了好久,来填坑了。 问题 求斐波那契数列在模 \(p\) 意义下的循环节 \(m\) 。 解法 首先知道 \(fib\) 通项公式为 \(f(n)=\frac{A^n-B^n}{\sqrt{5}}\) ,其中 \(A=\frac{1+\sqrt{5}}{2},B=\frac{1-\sqr ...
分类:其他好文   时间:2020-10-31 01:48:24    阅读次数:16
GMOJ 6829. 【2020.10.25提高组模拟】异或
这是这场比赛第二水的一题,但我并没有切。 题解: 正解其实很简单,很容易可以发现一个性质,讲一个序列排序,xor值最小的值肯定出现在相邻两个数之间, 证明:设a<b<c,那么我们只需要证明min(ab,bc)<ac设到第t位开始第一次出现a,b,c在第t位上的值不同,有两种情况: 1.(0,0,1) ...
分类:其他好文   时间:2020-10-31 01:40:27    阅读次数:17
数据结构实验四 Radix Sort And Stack
一、实验描述 Radix Sort。实现桶式排序和基于桶式排序的基数排序。在基数 B 中,数组长度 n 和 最大元素 m 中,对排序时间影响最大的是哪一个?元素在未排序数组中的顺序是否对时间复杂度有影响?设计实验证明你的想法。 Stack。用 C 语言设计堆栈,并实现中缀表达式到后缀表达式的转换。 ...
分类:其他好文   时间:2020-10-27 11:43:38    阅读次数:19
C#:类的继承
其实我们对继承并不陌生: 观察上述代码,我们可以看到:在我们并未给Program类声明任何成员时,Program实例却可以通过"."操作符呼出调用列表?这是因为:我们声明的类默认继承了Object类型,它是.NET所有数据类型的基类型 如何证明Program类型的基类型是Object? 第一种方式: ...
分类:Windows程序   时间:2020-10-26 11:45:54    阅读次数:35
7199条   上一页 1 ... 8 9 10 11 12 ... 720 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!