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 DS1 Before:最近在de STLite的最后一个数据结构map。周二用一个下午+一个晚上搓完后,开始了《漫长》的debug环节,目前来看问题出在erase上(AVL倒也合理),RE麻了…😰😰😰遂开始了算法学习呜呜呜。立个小目标,这周结束前把map过了吧求求了😢😢😢最近还是很开心的,也很轻松,希望能轻松一学期(bushi🤣🤣🤣)今天知道了一件事,让我觉得人间值得😣😉☺️Algo 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
Data-Structure15 Before: Am I noisy?I really regret.Why am I being so annoying?Why am I becoming jealous of something unnecessary?Maybe it’s because of something romantic,something secret,something I keep chasing,and 2025-03-07 Data Structure #Data Structure #C++ #Tree #Binary Tree #BST #AVL #Balanced Binary Tree
Introduction-to-Algorithms3 Before: 哎帮人debug好累啊,边改别人的代码边学AVL,也是无敌了。我到底要不要见她一面呢?感觉错过了就是一辈子😢😢😢Introduction to Algorithms 3 Balanced Binary Search Tree——AVLFirst, recall an important definition of Height of a Node: length of the 2025-03-06 Algorithms #Data Structure #C++ #Algorithm #Tree #Binary Tree #AVL #Balanced Binary Tree
Data-Structure14 Before:Long Time No See!这周前几天一直在小作业、数分作业、物理作业、物理实验(依托),到了周四也算是闲下来了,有了一大把自学的时间😋😋😋这周还是挺不错的?珍惜能天天见面的日子吧🥰Waiting always comes to an end.你是我声色张扬下欲盖弥彰的温柔理想。Data Structure 14 集合与静态查找表集合的定义首先,集合中数据元素的关系十分 2025-03-06 Data Structure #Data Structure #C++ #Set
数据结构3 数据结构 3 队列Where 队列?计算机中CPU将时间切成很多个小的时间单元,实际上是轮流在为用户服务,存在一个等待运行的过程——尽情期待《操作系统》(bushi) 银行ATM 取款机 排队的过程 循环队列难以判断是满是空时,我们一般选择牺牲一个单元(但似乎记录一下队列的长度也可以解决问题) 循环队列类同样需要由队列的抽象类派生即便是循环队列同样可能存在存储空间不够的情况,所以我们仍然需要私有成 2025-03-06 Data Structure #Data Structure #C++ #Queue
Introduction-to-Algorithms2 Before:风止于秋水,我止于你Introduction to Algorithms 2 Binary Search Tree & Binary Search SortBase on ?Runway Reservation System!!!(My favourite plane! We’re saved!) PropertiesEach node x in the binary tr 2025-03-01 Algorithms #Data Structure #Algorithm #BST
Introduction to Algorithms1 Before:去年12月从班主任口中得知了我们的主角——MIT 6.006 Introduction to Algorithms这门非常经典的课(被誉为“MIT-EECS系的瑰宝”)。室友 @three-hats-user 同学在我的推荐下(自己没学别人学了🤡)在寒假卷了这门课(虽然还没学完),对它评价也很高。于是今天入手了这门课,一句话:不愧是MIT EECS🧎♀️🧎♀️🧎♀️另外 2025-03-01 Algorithms #Data Structure #Algorithm #Heap