- 博客(25)
- 收藏
- 关注
原创 To live is to change the world:自由能理论与马克思主义哲学
原文: The free-energy principle: a unified brain theory? Karl Friston在智能体(agent)能感受到的所有状态(sensory states)中,很少一部分状态占据了绝大部分概率,而绝大部分状态的概率很小。也就是说,sensory states的熵(entropy)很小。因此,处于内稳态(Homeostasis)的智能体必须保持sensory states的熵处于一个较低水平,即长时期内surprise的平均值很小。这与涨落定理(fluctua
2023-11-22 15:11:03 89
原创 robogame技术文档
(当然如果你要用cpp也没区别,速度也不会变快)请自行了解python,opencv,numpy,multiprocessing, thread的相关语法和基本操作,这里只给出基本和进阶的实现。 总的来说,如果你抛弃了巡线,而是完全依靠视觉完成车辆的定位,你需要做到的事是在场边架个相机,用电脑识别并计算车辆的位置,实现闭环控制。直观来看,三脚架越高,相机光轴与场地平面法线的夹角越小,定位精度越高。,所以我们其实只需要对于场地上的每个点,计算其在图像上的投影,定位时通过查表,查到投影对应的三维点即可。
2023-11-22 12:05:36 71
原创 runs和lyndon分解
从lyndon分解到runs参考文献P6656题解cmd的blog论文抄抄会的证明o(><;)oo一堆定义字符串从000开始,n−1n-1n−1结束.s[l:r]s[l:r]s[l:r]表示sss的一个字串,从lll开始,rrr结束.若aaa的字典序小于bbb,则称a<ba<ba<b.若aaa<bbb且aaa不是bbb的前缀,则称a◃ba\triangleleft ba◃b.abcabcabc表示拼接a,b,ca,b,ca,b,c三个字符串,an
2021-03-17 18:04:43 608
原创 拟阵
拟阵和拟阵交,拟阵并咕了参考文献2018论文能看懂证明的地方抄抄证明,看不懂的地方就抄结论罢.定义拟阵和独立集记 M=(S,I)M = (S, \mathcal{I})M=(S,I) 表示一个定义在一个有限集 SSS 上,独立集的集合是 I\mathcal{I}I 的拟阵,其中 I\mathcal{I}I 是由一些 SSS 的子集组成的集合.拟阵MMM需要满足以下公理遗传性:若I∈I,J⊆II\in \mathcal{I},J\subseteq II∈I,J⊆I,那么J∈IJ\in \m
2021-03-17 18:03:43 379
原创 杨表
Young tableau参考博客111到NNN的排列,LIS长度的期望是多少?foreverlastnigwiki本博客全部采用英式画法杨表 Young tableau杨表,是一种特殊的图,用于整数划分类问题.杨图由有限多个相邻的方格排列而成,其中,各横行的左边对齐,长度由下而上递增.若将杨图的各行的方格数列出,则形成总方格数nnn的一个整数分拆λ\lambdaλ.杨表的常见画法英式将方格数较少的行排在方格数较多的行的下方臂长定义为其正右方的方格数腿长定义为其正下方的方
2021-03-17 18:02:47 435
原创 gym100299H
集训队作业发现最多只会有333种矩形,而且同一类型的矩形一定处在同一个集合中,C31C_3^1C31大力分类讨论即可.判断是否可行时可以分别讨论每对类型,并通过在三维平面中绕坐标轴旋转所有矩形将问题归约为所有类型AAA(所有矩形在zzz维上没有长度)与所有BBB类型(所有矩形在yyy维上没有长度)是否满足条件.可以特判掉zzz维与yyy维不合法的情况,将问题转化为在xxx轴上有若干条线段AAA与线段BBB,对于每条线段BBB询问是否所有线段AAA都与它有交且不被包含.无交的情况特判即可.将所有线段
2020-10-18 11:15:12 525
转载 斯特林数与上升幂与下降幂
重新审视 Stirling Number转载自http://www.mamicode.com/info-detail-1982164.html原文地址http://www.cnblogs.com/Sdchr/p/7462045.html原文markdown挂掉没法看了,转载顺便修一下无标号计数, 带标号计数我们经常处理的有两种计数类型: 组合计数, 排列计数但是, 我更喜欢这样称呼:组合计数为无标号计数,排列计数为带标号计数因为它能反应我们直观看到的无标号计数有一个等价的概念:定序计数
2020-09-01 11:01:48 2251 3
原创 快速沃尔什变换
解决多项式的位运算卷积问题以及子集和参考博客or\color{00ffcc}{ \tt{or} }or卷积Ck=∑iorj=kAi×bjC_k=\sum_{i{\color{00ffcc}{\tt{or}}} j=k}A_i\times b_jCk=iorj=k∑Ai×bj设 FWT(A)[i]=∑jori=iAjFWT(A)[i]=\sum_{j{\color{00ffcc}{\tt{or}}} i=i}A_jFWT(A)[i]=∑jori=iAj,换句话说,FWTSFWT_SFW
2020-09-01 11:00:19 260
原创 拉格朗日插值
在平面上给出nnn个点的坐标{xi,yi}\{x_i,y_i\}{xi,yi},求唯一的n−1n-1n−1次多项式fff,满足∀i∈[1,n],f(xi)=yi\forall i\in[1,n],f(x_i)=y_i∀i∈[1,n],f(xi)=yi,即经过这nnn个点显然,这nnn个xxx互不相同设多项式lj=∏i=1,i≠jnx−xixj−xil_j=\prod_{i=1,i\not=j}^{n}\frac{x-x_i}{x_j-x_i}lj=∏i=1,i=jnxj−xix−
2020-09-01 10:59:46 122
原创 无标号有根树计数与无标号无根树计数
OEIS首页的数列参考博客无标号无根树计数考虑用总的无标号有根树方案数减去根不是重心的方案数,这样每个方案只会在根为重心时被统计一遍设点数为nnn,已经求出iii个点的无标号有根树方案数为fif_ifinnn为奇数时根据重心的性质,根节点不是重心,那么必然有一个子树大小≥⌈n2⌉\ge \lceil \frac{n}{2} \rceil≥⌈2n⌉枚举这棵子树大小,答案等于fn−∑k=⌈n2⌉n−1fk×fn−kf_n-\sum_{k=\lceil \frac{n}{2} \rceil}
2020-09-01 10:58:42 1217
原创 阶,原根,指标和N次剩余
阶,原根,指标和NNN次剩余参考博客阶阶的定义设aaa,ppp是互质整数,存在xxx满足ax≡1mod pa^x\equiv 1\mod pax≡1modp,最小的满足条件的正整数xxx称为aaa模ppp的阶,记为Ordp(a)Ord_p(a)Ordp(a)性质性质一设aaa,ppp是互质整数,存在x′x'x′满足ax′≡1mod pa^{x'}\equiv 1\mod pax′≡1modp,则Ordp(a)∣x′Ord_p(a)|x'Ordp(a)∣x′证明反证法设aaa,p
2020-08-31 15:03:36 431
原创 计算几何
二维空间中的计算几何点积AAA在BBB所在方向的投影的模长和BBB的模长的乘积A⋅B=∣A∣∣B∣cos(A,B)=XAXB+YAYBA\cdot B=|A||B|\cos(A,B)=X_AX_B+Y_AY_BA⋅B=∣A∣∣B∣cos(A,B)=XAXB+YAYB可用于判断两向量是否垂直有交换律标量叉积AAA转到BBB所夹平行四边形的有向面积A×B=∣A∣∣B∣sin(A,B)=XAYB−XBYAA\times B=|A||B|\sin(A,B)=X_AY_B-X_BY_
2020-08-31 15:03:14 126
原创 后缀自动机
一个字符串的后缀自动机一些定义符号意义在DAGDAGDAG上的含义CCC原字符串trans(S,c)trans(S,c)trans(S,c)状态转移函数,表示SSS状态在读入字符ccc后到达的状态一条以SSS为起点,边权为ccc的边trans(S,s)trans(S,s)trans(S,s)状态转移函数,表示SSS状态在读入字符串sss后到达的状态一条以SSS为起点,经过的所有边权依次为sss的路径rights{}right_s\{\}rights
2020-08-31 15:01:42 316
原创 二项式反演
二项式反演及其证明感觉很常用,但是证明经常忘记二项式反演的形式如果fn=∑i=0n(−1)iCnigif_n=\sum_{i=0}^{n}(-1)^iC_n^ig_ifn=∑i=0n(−1)iCnigi,那么gn=∑i=1n(−1)iCnifig_n=\sum_{i=1}^n(-1)^iC_n^if_ign=∑i=1n(−1)iCnifi也可以表达成更常用的形式如果fn=∑i=0nCnigif_n=\sum_{i=0}^{n}C_n^ig_ifn=∑i=0nCnigi
2020-08-31 15:01:07 151
原创 多项式
多项式全家桶参考总是忘记多项式板子。。。这里推一下柿子方便记忆一些规定本文中的 ×\times×\times皆为卷积,表示(A×B)i=∑j+k=iAj×Bk(A\times B)_i=\sum_{j+k=i}A_j\times B_k(A×B)i=∑j+k=iAj×Bk未特殊说明的话都在mod 998244353\mod 998244353mod998244353意义下FFT,NTT,MTT略INV多项式求逆已知函数fff,求函数ggg满足f×g≡1mod xnf\ti
2020-08-31 15:00:34 104
原创 伯努利数与自然数幂和
求伯努利数与∑i=0n−1ik\sum_{i=0}^{n-1}i^k∑i=0n−1ik伯努利数定义B0=1B_0=1B0=1∑i=0m(m+1i)×Bi=0\sum_{i=0}^{m}\tbinom{m+1}{i}\times B_i=0i=0∑m(im+1)×Bi=0指数型生成函数m>1m>1m>1时∑i=0m(m+1i)×Bi=0\sum_{i=0}^{m}\tbinom{m+1}{i}\times B_i=0i=0∑m(im+1)×Bi=0∑i=0m
2020-08-31 14:59:58 215
原创 min-max容斥及其拓展
求解集合中的最大值和最小值以及k−thk-thk−th大值和k−thk-thk−th小值证明直接证明k−thk-thk−th小值的式子吧mink{S}=∑T⊆S(−1)∣T∣−kC∣T∣−1k−1max{T}\min_k\{S\}=\sum_{T\subseteq S}(-1)^{|T|-k}C_{|T|-1}^{k-1}\max\{T\}kmin{S}=T⊆S∑(−1)∣T∣−kC∣T∣−1k−1max{T}证明设没有重复的数,如果有的话可以通过加上espespesp来解决要构造一
2020-08-31 14:59:08 204
原创 markdown语法
一些常用并且容易忘记的markdown语法,随时补充渲染效果代码∀\forall∀\forall∃\exists∃\exists⌊\lfloor⌊\lfloor⌋\rfloor⌋\rfloor⌈\lceil⌈\lceil⌉\rceil⌉\rceil≡\equiv≡\equiv⊆\subseteq⊆\subseteq{qwqqaq\left\{\begin{aligned}qwq\\qaq\end{aligned}\rig
2020-08-31 14:58:26 67
原创 Exp的组合意义与Euler变换
ExpExpExp的组合意义与EulerEulerEuler变换ExpExpExp的组合意义根据泰勒展开,exp(f(X))=∑i=0∞fi(X)i!\exp(f(X))=\sum_{i=0}^{\infty}\frac{f^i(X)}{i!}exp(f(X))=∑i=0∞i!fi(X)设F(X)=exp(f(X))F(X)=\exp(f(X))F(X)=exp(f(X))注意f0=0f_0=0f0=0组合意义fff表示集合内部的分配方案数关于集合大小的EGF,FFF表示有标号小球分
2020-08-31 14:58:02 1184
原创 Burnside引理与Polya定理
解决本质不同方案数参考博客"引理"和"定理"并没有什么区别Burnside引理∣X/G∣=∑g∈G∣Xg∣∣G∣|X/G|=\frac{\sum_{g\in G}|X^g|}{|G|}∣X/G∣=∣G∣∑g∈G∣Xg∣定义符号定义解释XXXA,BA,BA,B为两个有限集合,X=BAX=B^AX=BA表示所有从AAA到BBB的映射相当于给小球集合AAA中的每个求涂上颜色集合BBB中的颜色GGG作用在AAA上的置换群字面意思X/GX/GX/GXX
2020-08-31 14:57:21 207
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人