Exam Conclusion Before:This is my conclusion of the Exams.I will upd it any time to improve myself. Score & Rank Exam 1 : 130/300 4/39 Exam 2 : 30/300 26/39 Exam 3 :100/300 17/39 You will see that I didn’t do a 2025-03-24 Algorithms #Data Structure #C++ #Algorithm
Data-Structure18 Before:最近在看电影😋打算慢慢把一些经典的但是一直没抽空看的好片子看一遍。刚看完了Avatar,怎么说呢,票房不能说明一切吧(感觉全球票房前10可能只有Titanic和Avenger4确实高质量,个人观点勿喷)今天开始看了一部14年的经典奥斯卡获奖电影——《布达佩斯大饭店》,一直有朋友推荐我看,才看了一点,美学上极致的对称是我非常欣赏的,色调也很喜欢。 Data Structure 18 2025-03-23 Data Structure #Data Structure #C++
Mathematical-Logic5 Before:Raytracing ing!Build my first ppm file!I ❤️ Computer Graphics! Mathematical Logic 5 Left Proof of Substitution Lemma 替换引理 & Sequent Calculus (I) 序列演算 Left Proof of Substitution Lemma 替换引理 2025-03-22 Mathematical Logic #Mathematical Logic
Data-Structure17 Before:感觉红黑树的实现好困难啊,即便是学完了一遍有些删除操作的细节都没有特别搞懂,感觉是一个实现和理解上都相当有难度的数据结构。今天要讲的是红黑树的一种特殊情况——AA树,希望会简单一点?(毕竟是B班写的呜呜呜)Data Structure 17 AA树AA树的定义开幕雷击:《一种简单但却很有竞争力的平衡查找树》好好好! AA树是一类特殊的红黑树,它对红黑树增加了一个限制条件:左儿子不能为 2025-03-20 Data Structure #Data Structure #C++ #Tree #Binary Tree #Balanced Binary Tree #Red Black Tree #AA Tree
数据结构5 数据结构 5 优先级队列优先级队列结点间的关系由结点的优先级决定,而不是入队的先后顺序。 我们最先想到的是使用线性结构进行优先级队列的实现 如果按优先级排序但是入队操作复杂度达到了O(N) 如果按到达时间排序但是出队操作复杂度达到了O(N) 于是我们考虑… 二叉堆堆是一棵完全二叉树(结构性),且满足下列2个条件之一:父结点小于等于子结点(小根堆)or 父结点大于等于子结点(大根堆)(有序性) 2025-03-17 Data Structure #Data Structure #C++ #Priority Queue #Heap
Data-Structure16 Before:2023.12.31——2025.03.15,440天后,又在影院与LaLaLand重逢。2023.12.31,上完了最后一节课,惆怅,迷茫,又适逢LaLaLand重映,第一次在影院看了(以前在家看过不少遍)。我承认,就连23年的年终总结有近一半也与这个我未曾谋面的人有关。在那个时间点看LaLaLand真的让我很久都没有释怀,也曾有过很多冲动的想法,不想高考,想飞去Melbourne 2025-03-15 Data Structure #Data Structure #JaneZ's Wonderland #C++ #Tree #Binary Tree #AVL #Balanced Binary Tree #Red Black Tree #Map
Mathematical-Logic4 Before:昨天立的flag要在这周结束前finish map,经过昨天一下午+一晚上和今天一上午+一下午艰难地debug(快被leak卡死了呜呜呜),终于过啦!至此,STLite-2025这个轻量级STL库的大作业全部完成🥳🥳🥳比ddl提前了一整个月,本学期只剩下最后一个大作业——Ticket System了,所以:现在可以美美开始BPT啦(bushi)but,数理逻辑还是好抽象啊😣� 2025-03-14 Mathematical Logic #Mathematical Logic
Algorithm Of DS——Monotonic Stack & Queue Before:最近在de STLite的最后一个数据结构map。周二用一个下午+一个晚上搓完后,开始了《漫长》的debug环节,目前来看问题出在erase上(AVL倒也合理),RE麻了…😰😰😰遂开始了算法学习呜呜呜。立个小目标,这周结束前把map过了吧求求了😢😢😢最近还是很开心的,也很轻松,希望能轻松一学期(bushi🤣🤣🤣)今天知道了一件事,让我觉得人间值得😣😉☺️ Alg 2025-03-13 Algorithms #Data Structure #C++ #Algorithm #Monotonic Stack #Monotonic Queue
数据结构4 数据结构 4 字符串 树状结构 字符串实现方式 当然也有顺序实现和链接实现。顺序存储使用字符数组存储字符串。C语言中使用普通数组进行处理,将每个操作由一个函数实现,这些函数实现在ctring库中,但无法用运算符操纵字符串,还存在内存溢出的问题。而C++采用动态数组进行存储,实现了一个string类,根据字符串长度重新分配空间,解决了C语言存在的缺陷,但在时间性能上有所下降。 链接存储我们自然而然想 2025-03-10 Data Structure #Data Structure #C++ #String #Tree #Binary Tree
Mathematical-Logic3 Before:下课就去捞!3周没捞了😋😋😋上大学后捞的频率大幅增长🤣🤣🤣🐖🐖🐖 Mathematical Logic 3 重合引理 同构引理概念回顾项是由变量、常量符号和函数符号通过递归方式构造的表达式。公式(formula)是由项通过谓词符号、逻辑连接词和量词构造的表达式。结构由域和解释函数组成。解释由结构和赋值函数(将自由变量映射到域中的元素)组成。 原子公式:包括等式公式 2025-03-08 Mathematical Logic #Mathematical Logic