杂文
文章平均质量分 58
cervoliu
这个作者很懒,什么都没留下…
展开
-
【个人向】计算建模 补充材料
计算建模是HIT大三秋季计院计算机科学方向的专业核心课,内容cover了随机过程、优化、信号处理等topic这里是笔者对课余参考的一些补充材料的collection,主要是一些概念如果不求甚解(不追求严格的数学证明)地看下来会发现其实随机过程挺自然的,没什么和intuition相悖的地方,基本上都能make sense。原创 2022-10-24 23:22:33 · 1155 阅读 · 5 评论 -
Summary of Signal and System
Chapter 1冲激信号δ(t)\delta(t)δ(t)Dirac定义:∫−∞+∞δ(t)=1\int_{-\infty}^{+\infty}\delta(t)=1∫−∞+∞δ(t)=1, δ(t)=0(t≠0)\delta(t)=0(t\neq 0)δ(t)=0(t=0)性质:f(t)δ(t−t0)=f(t0)δ(t−t0)f(t)\delta(t-t_0)=f(t_0)\delta(t-t_0)f(t)δ(t−t0)=f(t0)δ(t−t0)δ(at)=1∣a∣δ(t)\del原创 2022-05-24 11:30:54 · 183 阅读 · 0 评论 -
Dyson Sphere Program 戴森球计划 个人心得
基本概况一倍资源平平无奇种子,母星系无珍奇无潮汐锁定,母星(第三行星)为第二行星冰巨星的卫星,此外母星系第一行星为熔岩星,第四行星猩红冰湖(感觉算是最没用的星种了)母星系资源情况,铜矿石矿钛矿严重过剩,铁矿不足,硅矿奇缺(全星系只有三处硅矿脉,储量都不大)中期电力问题大概指从黄糖阶段起直到白糖期间过渡的这段时期这个时候发电有很多种思路,比如拉太阳能腰带,扩展火电,发展核电,射电接受站+戴森云,地热发电等等。风电由于量太小且太占地方,所以直接pass。某些神种有潮汐锁定星,直接无脑选太阳能,向阳面原创 2022-04-27 22:38:11 · 1401 阅读 · 1 评论 -
Fourier series, Fourier transform, Laplace transform etc.
Today I watched lots of learning materials related to Fourier series, Fourier transform, Laplace transform etc. To sum up, I post the links here.3Blue1Brown : A visual intro to Fourier transformHeinrich : Intro to Fourier Analysis马同学 : How to understand原创 2022-03-05 22:33:43 · 138 阅读 · 0 评论 -
Notes for Formal Languages and Automata Theory
AlphabetNon-empty finite set of symbolsΣ\SigmaΣStringsfinite sequence of symbols of Σ\SigmaΣempty string : ϵ\epsilonϵΣ∗\Sigma^*Σ∗ : the set of all strings over alphabet Σ\SigmaΣ (including ϵ\epsilonϵ)Σ∗\Sigma^*Σ∗ is monoid with respect to concatenat原创 2022-02-23 11:34:16 · 331 阅读 · 2 评论 -
Notes for Abstract Algebra
Some notation\circ for ∘\circ∘\bull for ∙\bull∙\cdot for ⋅\cdot⋅\odot for ⊙\odot⊙\oplus for ⊕\oplus⊕对称性几何图形的对称性、根的对称性群SSS是一个非空集合,∘\circ∘ 为封闭二元运算 i.e. ∘:S×S→S\circ : S \times S \rightarrow S∘:S×S→S若 ∘\circ∘ 满足结合律,则称(S,∘)(S, \circ)(S,∘)为半群幺元含幺原创 2022-02-22 20:49:30 · 85 阅读 · 0 评论 -
Git Low Level Logic
Pseudocode from " MIT missing semester of CS education "// a *file* is a bunch of bytestype blob = array<byte>// a *directory* contains named files and directoriestype tree = map<string, tree | blob>// a *commit* has parents, metadata, a原创 2022-02-21 10:53:36 · 74 阅读 · 0 评论 -
CSAPP datalab
/* * CS:APP Data Lab * * Cervoliu HIT * * bits.c - Source file with your solutions to the Lab. * This is the file you will hand in to your instructor. * * WARNING: Do not include the <stdio.h> header; it confuses the dlc * comp.原创 2022-01-23 17:51:44 · 129 阅读 · 0 评论 -
折腾日记(补档)
本人在Surface Pro 7上使用ubuntu接近一年,这个寒假终于把linux-surface内核成功安装,修复了surface在默认内核下的不少bug和失效feature,心情大好。近日发现一年前换的源出现了种种问题,一查才发现版本不对,于是乎心血来潮想把踩过的坑记录下来。换源指南首先执行如下命令查看版本名,我的是ubuntu20.04,所以是focal>lsb_release -c备份原来的源sudo cp -v /etc/apt/sources.list /etc/apt/s原创 2022-01-18 12:09:21 · 645 阅读 · 0 评论 -
《survivesjtumanual》 读书笔记
神书!后悔没有更早读到它应把《manual》当作葵花宝典,不时翻看一下金句如果一个人把政策评分作为自己的至高追求,那么他就是这个政策的牺牲品。大学四年留给你的是你的人生,在你毕业之时,那一串苍白的分数其实就已经作废了。为什么要上课?学习最需要的,不是悲壮的毅力,而是对无限未知的渴求。最终来说,学习知识的目的是为后继的知识铺垫,以及培养创造性的思维。所谓有效率的学习,应当是以最高的效率获取知识,服务这两个目标。从现状来看,我们想要把什么都搞扎实的学习习惯,其效率是极端低下的,而在我们通过原创 2021-12-04 22:27:57 · 681 阅读 · 0 评论 -
【HIT数据结构复习】外部排序
IntroQ:为什么需要外部排序?A:因为数据规模太大,光读入都会爆内存…“需要将待排序的记录存储在外存上,排序时再把数据一部分一部分的调入内存进行排序,在排序过程中需要多次进行内存和外存(磁盘)之间的交换。这种排序方法就称为外部排序。”由于磁盘IO比内存IO慢得多(大概慢5个数量级),所以瓶颈完全在于前者,故为了方便时间开销主要考虑前者的次数Merge sort外部排序通常采用归并排序法,分为两个阶段:一,形成初始归并段;二,多路归并形成初始归并段:将待排文件根据内存大小合理切片,分别读入内原创 2021-11-22 22:04:45 · 978 阅读 · 0 评论 -
AFO
AFO原创 2019-05-04 22:34:16 · 590 阅读 · 0 评论 -
多项式exp,ln,求逆板子
题目是jzoj 5923#include&lt;cstdio&gt;#include&lt;cstring&gt;#include&lt;algorithm&gt;#define fo(i,a,b) for(int i=a;i&lt;=b;++i)#define fd(i,b,a) for(int i=b;i&gt;=a;--i)#define max(x,y) ((x原创 2019-02-16 20:56:49 · 241 阅读 · 0 评论 -
新·自我剖析
基于上一年写的update思维能力对于数学论相关的反应迟钝 对于特别抽象的会有畏难心理 对于繁琐讨论会有逃避心理(不一定是坏事,可能换个脑子会想到更简单的做法) 比较喜欢在普通模型上深入思考训练方面: **计数**,树上问题(包括dp,数据结构等),多项式 泛做“中国式”题目:从近年NOI-&gt;THU/PKU-WC/SC-&gt;CTSC-&gt;各省省选 每日一题,限...原创 2018-09-05 21:33:52 · 502 阅读 · 0 评论 -
关于一只开车的HowarLi
找亮点!原创 2016-06-16 12:26:33 · 638 阅读 · 1 评论 -
模板库
各种算法、数据结构、杂项模板库。原创 2016-03-12 17:46:29 · 1207 阅读 · 1 评论 -
注意事项·思路·好东西·黑科技
注意事项实现技巧斜率优化dp,数论,数学题 开long long只要涉及乘法就应该警惕,考虑是否会爆intLCT各种操作前先无脑写上个makeroot,保证不错(人生哲理)。FFT空间一定要开4倍!!!回溯(比如分治)如果要用到数组开static!如果要使用全局变量一定要谨慎,考虑是否已经被修改priority_queue是大根堆!当使用set,priority_queu...原创 2016-04-21 21:22:37 · 1747 阅读 · 0 评论 -
FFT&NTT模板
一开始抄了jiry_2的板子,直到有一天,我被卡精度了 下定决心弄一个永久的板子,四处借鉴写法 单位复数根还是预处理的好 尽量避免乘法,伤精度FFT UOJ#34#include#include#include#include#define fo(i,a,b) for(int i=a;i#define fd(i,b,a) for(int i=b;i>=a;i--)#d原创 2017-12-29 22:00:17 · 362 阅读 · 2 评论 -
【个人向】ProblemList
“会一题写一题的模式”在时间成本不定的情况下可能并非最优? 不妨新开一个题坑以屯题,题目是会口胡但暂时没能写掉的题,以后练码力/时间充裕/心情好的时候来填掉?可能永远也填不掉了妙【bzoj 3711】【jzoj 5521】Tag:灵活地对值分治 题解【jzoj 4331】树Tag: dsu on a tree/线段树优化DPjzoj 5641 林克卡...原创 2018-01-14 22:03:22 · 384 阅读 · 0 评论 -
关于Guilty Crown(罪恶王冠) 的一些随想
//以下内容可能涉及剧透,酌情食用 //初次观看这部番剧时建议关闭弹幕 最近放假在家颓废,几天时间二周目了Guilty Crown,感触挺深的 第一次看是去年暑假,而且是我看的第二部番剧,说实话看了第一集无感,但是从第二集开始就被吸引住了。特别是到了后期换op之后剧情更是吊人胃口。看完就被深深治愈致郁了。 不管别人怎么说,我先上我个人的结论:这是我心目中的神作,而且暂时是我排行榜的rank...原创 2018-02-17 23:58:19 · 928 阅读 · 0 评论 -
阶段性自我剖析
思维能力对于数学相关的反应迟钝 对于特别抽象的会有畏难心理 对于繁琐讨论会有逃避心理(不一定是坏事,可能换个脑子会想到更简单的做法) 比较喜欢在普通模型上深入思考训练方面主要从计数,树上问题(包括dp,数据结构等),多项式,Atcoder入手训练思维代码能力模板除某些冷门字符串/数论算法以外都还算熟练 但是对于恶心题(GDOI系列比赛特别喜欢出恶心题)代码能力极差,写这种题经常意识流,以调试原创 2018-03-04 11:20:04 · 300 阅读 · 0 评论 -
子树合并背包类型的dp的复杂度证明
状态形如f[x][j]f[x][j]f[x][j]表示xxx子树内选了jjj个,转移形如f[x][j+k]=∑f[x][j]∗f[y][k]f[x][j+k]=∑f[x][j]∗f[y][k]f[x][j+k]=\sum f[x][j]*f[y][k] 假设树上有n个点,第二维限制为k(最多选k个) 我们熟知,这样dp复杂度上界是n^2的。因为合并大小为a,b的子树复杂度是a*b,可以看成a子...原创 2018-04-08 16:48:51 · 6037 阅读 · 4 评论 -
3.27~3.31训练阶段性小结
3/27拉格朗日乘数法 解决:多元函数在一定条件下的极值问题设多元函数f(xi),满足条件g(xi)=0 则乘数函数F(xi,lamda)=f(xi)+lamda*g(xi) 当将xi看成未知数时,+号后面一项为0 对每个xi求偏导,都满足偏导为0 对lamda求偏导,也满足偏导为0(因为lamda偏导等于g(xi),g(xi)=0) 因此可以列出若干方程,解方程得到lamda...原创 2018-03-31 22:25:09 · 343 阅读 · 0 评论 -
CTSC/APIO 2018 咕咕记
Preface省选结束后还能继续逃几天文化课的学习,还是很资瓷的 日期从5.6一直到5.14号,时间很长就不用Day x的形式了 本文大概是记录每天日程的流水账5.5坐车到广州机场附近住了一晚,一个人一间房体验极佳(除了经常有飞机飞过) 由于忘带电脑晚上基本上是看番度过的5.6早上的飞机,5.75.85.95.105.115...原创 2018-05-15 12:35:24 · 511 阅读 · 0 评论 -
Another Me
囿于CSDN各种坑,开了博客园原创 2018-06-24 17:24:55 · 534 阅读 · 0 评论 -
lower_bound & upper_bound
这两个二分函数用法及含义写在这里(要不然总是忘): lower_bound:pos=lower_bound(a+l,a+r+1,k)-a,返回第一个>=k的位置。 upper_bound:pos=upper_bound(a+l,a+r+1,k)-a,返回第一个>k的位置。原创 2016-04-26 22:01:51 · 397 阅读 · 0 评论