集合论 课堂笔记 命题 逻辑

前置知识：分块 莫队是非常好的数据结构，可以离线解决很多序列问题 当对于一个查询\([l,r]\)可以\(O(1)\)转移到\([l-1,r],[l+1,r],[l,r-1],[l,r+1]\)时可以考虑用(普通)莫队 莫队先读入所有的询问,接着离线对于所有询问区间 \([l,r]\) , 用 \( ......

1. 模型算法 1.1. 一种模型算法，不管是饮食方面的还是税法方面的，其在理论上也许是无害的 1.2. 如果将该模型算法推行为全美或者全球标准，其结果就是产生一个扭曲的、极为糟糕的经济体系 1.3. 规模化是主要的原因 2. 排名模型 2.1. 优秀大学 2.1.1. 新生SAT成绩都很高，而且绝 ......

整个书籍分为三个主要部分：基础篇、结构篇和设计篇。这一结构合理而紧密，形成了一个有机的体系。基础篇从基本的编程原则入手，强调代码的可读性和可维护性。结构篇深入探讨了代码的组织结构和模块化，为开发者提供了构建大型系统的实践经验。设计篇则引领读者进入系统设计的复杂世界，强调了良好的架构和设计决策对项目成 ......

IDEA执行maven命令时忽略证书检查的的方法 问题：Could not transfer artifact org.springframework.boot:spring-boot-starter-parent:pom:2.3.4.RELEASE from/to spring-milestone ......

目录链表数组归并排序std::variantstd::anystd::functionstd:: 很有意思但不知道实际有啥用的东西 链表 #include <iostream> #include <type_traits> /* 功能： - 获取 size - 将 List 从指定位置拆分成两个 - ......

相较于一般的技术类书籍，这本书的厚度属于偏薄的。而其内容所涵盖的又比较多，从技艺，思想和以COLA作为范例的实践，三个角度去分享自己的经验。这就势必使得这本书不会纠结于技术细节。 技艺篇中，作者从最基础的命名开始，延伸到规范、函数、设计原则、设计规范以及模型和DDD，从细部到大局都有涉猎，从这里面就 ......

\(Tarjan\)的学习笔记 一，\(tarjan\)概述： （1）定义： $~~~~~~~~$$tarjan$是基于深度优先搜索的一种算法，求解图的连通性等问题，巧妙地利用了对图进行深搜时产生的搜索树上的边。 （2）\(tarjan\)中的几种边： \(~~~~~~~~\)树边：父亲与孩子的边。 ......

组件构建原则 设计原则指导我们如何用砖块砌成房间，组件构建原则指导我们如何将房间组合成房子。 组件 组件是软件的部署单元，是完成部署的最小实体。 我本来以为这一章讲的是划分软件设计层面的抽象组件，结果真的是编译器层面的部署单元。 组件是一组二进制文件的集合，多个组件可以链接成一个独立可执行文件。可以 ......

数据库操作（创建和增删查） 使用Navicat快速创建myblog数据库 创建表 使用navicat快速建表 使用sql语句进行简单的查询 -- show tables; -- 显示该数据库中的所有表 INSERT INTO users(username,`password`,realname) V ......

第2章《注重实效的途径》是《程序员的修炼之道》中的重要章节，它介绍了一些实践性的方法和技巧，帮助程序员在软件开发中提高效率和质量。在这一章中，作者首先强调了重复的危害。重复的代码和流程可能导致维护难度和出现错误的概率增加。因此，我们需要通过技术手段和工具来减少重复，如自动化脚本和模板。接着，作者讲解 ......

前言 我们大部分人为了追求舒适，都会刻意与他人保持相应的距离（除非是与我们很亲近的人）。与他人相距太近，我们会认为不舒服，而太远，我们又觉得不够友善。 这里讲述了一个送礼的故事，送礼的人跟接受礼物的人。如果接受礼物的人表达不满情绪（愤怒、猜忌）。送礼的人就会很难受。结局送的鲜花被丢进垃圾桶 作者人为 ......

读《需求工程——软件建模与分析》有感 今天大致的看了一下这本书，对软件需求分析有了初步的了解，我认为学习软件需求分析需要掌握的内容主要包括五个方面：需求基础与过程、需求获取、需求分析、需求的文档化和验证、需求管理与工程管理。 一、需求的基础与过程 这一部分主要是对软件需求有一个大致的了解，例如需求的 ......

TIP：最近想先整一整数据结构，之后再整算法。 来搞ST表，它是基于倍增思想的。 首先知道它维护的是可重复贡献的区间问题。 考虑一些可以维护的问题： 区间最大值、区间最小值、区间GCD、区间按位或…… 我们用区间最大值来讲解。 考虑定义f(i,j)代表区间[i,i+2j-1]的最大值。 显然有f(i ......

一、数组 1、Array 固定数组 优点： 1). 快速访问：数组通过索引来访问元素，访问速度非常快，因为可以通过索引进行直接定位。 2). 内存连续存储：数组在内存中以连续的方式存储元素，这样有助于提高数据的读取和写入效率。 3). 多维支持：C#中的数组支持多维（二维、三维等）数据结构，可以用于 ......

裁切素材制作受伤动画 略 制作死亡动画 由于没有死亡动画素材，所以直接调整Alpha通道数值，使其逐渐消失 在Animations中复制野猪受伤动画，命名为boarDead Animator中拖入boarDead动画 点击Add Property，选择Color 将最后一帧的Alpha值改为0 An ......

逻辑复用-组合式函数 src/views/ad/User.vue <script setup> import { useMouse } from "../../js/mouse.js"; import { useFetch } from "../../js/fetch.js"; import { r ......

在Verilog中always@(*)语句的意思是always模块中的任何一个输入信号或电平发生变化时，该语句下方的模块将被执行。 1、always语句有两种触发方式。第一种是电平触发，例如always @(a or b or c)，a、b、c均为变量，当其中一个发生变化时，下方的语句将被执行。 2 ......

JavaWeb笔记 Servlet 什么Servlet？ servlet 是运行在 Web 服务器中的小型 Java 程序（即：服务器端的小应用程序）。servlet 通常通过 HTTP（超文本传输协议）接收和响应来自 Web 客户端的请求。 编写一个servlet程序： a、写一个java类，实现 ......

使用mybatis整合spring的想法 本来想采用mybatis整合spring然后结合然后结合之前的web技术(因为springmvc没有学)， 当所有都配置好了，但是这个配置类的加载就成了一个问题。在servlet中就需要使用ioc注入service,所以是在servlet中记载配置类(1.s ......

/// <summary> /// /// </summary> /// <typeparam name="T"></typeparam> /// <param name="sources"></param> /// <param name="details"></param> /// <param ......

1、没有什么随便能成功，充分的准备 2、从1分到79分谁能知道，他付出了多少？ 3、专科分线能被本科录取，是找有准备，并非偶然(13岁开始学英语） 4、请教前辈，组织(建立规矩） 5、敢于走出小圈子，去帮助别人获得成长。 6、主动出击(传播思想、传播事实、传播观点，要比传播产品更重要）宣传 7、中国 ......

《Code Reading: The Open Source Perspective》是一本由Diomidis Spinellis编写的书，强调通过阅读源代码来理解软件系统。 1. 目的和动机 作者的目的是强调通过阅读源代码来深入理解软件系统。这是因为代码是软件设计的最终体现，阅读源代码可以帮助开发 ......

前言 Stop learning useless algorithms, go and solve some problems, learn how to use binary search. 以下内容大多是作者看完《如何在任意代数结构上做多项式乘法》[1] 后口胡的，所以可能和原文章不太一样。如果 ......

一、我的思路 - 创建窗体、设定窗体大小 - 在窗体中添加画布，并将画布添加至线程 - 线程run()方法持续执行，坐标不断变化，画布随之重绘，形成小球下落的效果，并随时判断小球X轴、Y轴坐标，触底后，通过flag值调整坐标加减方向 代码一 1 import java.awt.*; 2 public ......

页表： 虚拟内存的概念。操作系统虚拟内存到物理内存的映射，被称为页表。 不可能每一个虚拟内存的Byte都对应到物理内存的地址，因为这样的页表非常大，于是引入 页（Page）概念，进行分页，减小虚拟内存页对应物理内存页映射表的大小。 缺页异常：malloc和mmap函数分配内存是仅建立了 进程虚拟地址 ......

Table - 双键Map BiMap - 双向Map Multimap - 多值Map RangeMap - 范围Map ClassToInstanceMap - 实例Map 总结 Guava是google公司开发的一款Java类库扩展工具包，内含了丰富的API，涵盖了集合、缓存、并发、I/O等多 ......

后缀排序 倍增+基数排序 code bool cmp(int x,int y,int k){ // 常数优化，使访问连续 if(oldrk[x]==oldrk[y] && oldrk[x+k]==oldrk[y+k]) return 1; else return 0; } void get_sa() ......

1.先来先服务 First-come First-serverd（FCFS） 按照请求顺序进行调度，利于长作业，不利短作业，短作业等待前面长作业执行完毕才可执行，造成短作业等待时间长。 2.短作业优先 shortest job first（SJF） 按估计运行时间最短的作业顺序进行调度，长作业可能会 ......

1. 基本信息 程序员的README [美] 克里斯·里科米尼(Chris Riccomini) (美) 德米特里·里 人民邮电出版社,2023年7月出版 1.1. 读薄率 书籍总字数203千字，笔记总字数40984字。 读薄率40984÷203000≈20.19% 1.2. 读厚方向 演进式架构 ......

动物故事 1、在草原上，有两只牛在吃草．其中一头牛对另一头说：＂最近流行疯牛病，你说我们会不会得？＂另一头牛答道：＂我们怕什么，我们不是袋鼠么？＂＂呃~~~你~~疯~~~了?~~~ ＂ 2、两头牛还在一起吃草，一头牛问另一头：“喂！你的草是什么味道？” 牛答道：“草莓味！” 那牛高兴地也过来吃一口， ......