PN状态: 面临P为必败态,面临N为必胜态 当可以走到P状态时,该点为N状态 当无论怎么走都只能走到N状态时,该点为P状态 SG函数: 定义mex(minimal excludant)运算:施加于集合,表示最小的不属于这…
标签:数学
样本均值的特征与分布
样本均值的特征与分布 @(概率论) 这个分布的推导将需要回到大数定律与中心极限定理中去才能证明。 需要严格区分样本均值与一次取样的分布。 X1,X2,...,Xn 是取自总体的样本,则 E(Xi)=u,D(Xi)=σ2 …
当小球遇上盒子
小球与盒子问题 这类问题是求解把一些小球放进一些盒子里的本质不同的方案数。 通过球相同/不同,盒子相同/不同,能/不能有空盒分成了8个不同的问题。 本篇文章会分别对这8个问题进行分析求解。 前置芝士&复习巩固 组…
用c语言实现红黑树(依据算法导论上的方法)
/************************************************************************* > File Name: RBT.h…
计算机专业应该掌握的数学知识
http://blog.sina.com.cn/s/blog_6233611f0100m4vs.html 在校的计算机专业学生可能还没有体会到数学的重要性,还在忙于死记硬背各种公式应付考试。而已工作或是读研读博并且“真正…
算法分析与设计之五大常用算法 (IV)—— 回溯算法
回溯法是一种选优搜索法,按选优条件向前搜索,以达到目标。但当探索到某一步时,发现原先选择并不优或达不到目标,就退回一步重新选择,这种走不通就退回再走的技术为回溯法,而满足回溯条件的某个状态的点称为“回溯点”。 回溯法的一…
一阶线性微分方程的通解(以及伯努利形式的解)
知乎链接 介绍了一阶线性微分方程的解法过程 以及伯努利方程的转化
数论系列之一元线性同余方程(组)
数论,在ACM道路上走的越来越远,提起数论,都是从整除开始,而一元线性同余方程(组)的解,也要从整除起源。 提起整除问题,最负盛名的是欧几里得算法和扩展欧几里得算法,在这里我就不再赘述,详情请见我的博客: http://…
数学应用 —— 三维模型绕坐标轴旋转
应用场景 现有三维模型Model(vtx),坐标系中任意朝向。需要将该模型进行绕轴旋转,使得该模型能够基本摆正。 理论介绍 相关旋转的数学理论,可以参考下面链接:[https://www.cnblogs.com/…
【数理逻辑】命题和联结词 ( 命题 | 命题符号化 | 真值联结词 | 否 | 合取 | 析取 | 非真值联结词 | 蕴涵 | 等价 )
文章目录 一. 命题 概念 1. 命题 概念 ( 1 ) 命题逻辑的主要内容 ( 逻辑 推理 命题 | 最小单位 | 最简单最基本部分 ) ( 2 ) 什么是命题 ( 陈述句 | 真假 必居 且 只居 其一 ) 2. 命…
数理逻辑小结3——一阶谓词逻辑演算
一阶谓词逻辑演算 一 基本概念 首先是基本单元的概念 个体词:用来表示研究对象。分个体常元和个体变元。前者常用 a , b , c ⋯ a,b,c\cdots a,b,c⋯ 表示,后者常用 x , y , z ⋯ x,y…
洛谷[1471] 方差
题目描述 蒟蒻HansBug在一本数学书里面发现了一个神奇的数列,包含N个实数。他想算算这个数列的平均数和方差。 输入输出格式 – 输入格式: 第一行包含两个正整数N、M,分别表示数列中实数的个数和操作的个数。 第二行包…