- 博客(124)
- 收藏
- 关注
RSS订阅原创 Acwing二分和前缀和（一）
左端点的判断条件是mid>=x，因为是升序的，如果成立，说明左端点l只会在mid上或mid左侧。将右端点调整为mid，这样mid只会不变或变小。现在变小了，说明目前的l并非答案的左区间，中间掺杂了更小的数列，此时需要使左区间l+1。左端点是通过l查找，l从0累加，不会产生遗漏。左端点确定之后，右端点从n-1，也就是最右端开始，累减，确定答案的右端点。
2024-02-13 22:40:47
847
1
原创 离散数学考前小记
求前束范式的一般步骤：仅含有全称量词的前束范式称为SKOLEM标准形。标准形的求解算法：量词消去/引入规则空集是唯一的幂集定义是一个集合，存在一个集合，它是由的所有子集为元素构成的集合，称它为集合的幂集合，记为，也记为2A2^A2A。是一个含有个元素的集合，则幂集2A2^A2A 中的子集总数为2n2^n2n。加法公式：∣A1∪A2∣=∣A1∣+∣A2∣−∣A1∩A2∣|A_1\cup A_2|=|A_1|+|A_2|-|A_1\cap A_2|∣A1∪A2∣=∣A1∣+∣A2∣−∣A1∩
2023-11-21 23:34:15
819
OpenJDK17U-jdk-x64-windows-hotspot-17.0.6-10
JDK17社区封装版，也就是普通用户眼中的Java17，使用VSCode或Eclipse时会要求安装该文件，如果使用默认链接，会从GitHub下载安装，下载速度慢、连接不稳定。
社区版会较原版做一些优化，收社区人员维护并使用，还是Eclipse集成开发环境的指定JDK，更强更可靠
该版本更适合开发人员使用，建议直接从CSDN下载，比GitHub下载更快，并且JDK无需考虑版本问题，只要大版本相同，比如都是JDK17，后面的小版本之间几乎没有区别
2023-02-12
香橙派OrangePi Zero2镜像文件
搬运自香橙派官网的固件，文件名为：Orangepizero2_3.0.6_ubuntu_jammy_server_linux5.16.17，基于Linux5.16内核，适配香橙派Zero2开发板，官网为百度网盘，下载慢，目前搬运至CSDN，下载速度较快
2023-02-11
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人