入门参考文献 1.Gong L, Wang Z, Chu C, Yuan Y, Wang T. bfSAT: An Incremental SAT Solver Based On Prioritizing Binary Clauses. 2019 IEEE International Confere ...
分类：
其他好文 时间：
2020-06-09 10:10:30
阅读次数：
95
@ Java 的 IO 通过 java.io 包下的类和接口来支持， 在 java.io 包下主要包括输入、 输出两种 10 流， 每种输入、 输出流又可分为字节流和字符流两大类。 其中字节流以字节为单位来处理输入、 输出操作， 而字符流则以字符来处理输入、 输出操作。 File 类 Java的标准 ...
分类：
编程语言 时间：
2020-06-06 01:02:50
阅读次数：
70
1、性能优化简介 1.1、性能： 完成 某个任务 需要的时间度量 或者 性能即响应时间； 1.2、吞吐量： 单位时间内 的 查询数量； 1.3、通过性能剖析进行优化： a,性能剖析的步骤： 测量任务话费的时间； -> 对结果进行统计、排序（重要任务排到前面）； b,性能剖析的类型： 基于执行时间的分 ...
分类：
数据库 时间：
2020-05-29 15:06:25
阅读次数：
74
https://blog.csdn.net/BigData_Mining/article/details/88529157 API Server作为Kubernetes网关，是访问和管理资源对象的唯一入口，其各种集群组件访问资源都需要经过网关才能进行正常访问和管理。每一次的访问请求都需要进行合法性的 ...
分类：
Web程序 时间：
2020-05-27 20:33:51
阅读次数：
98
1 Java序列化和反序列化简介 Java序列化是指把对象转换为字节序列的过程，而Java反序列化是指把字节序列恢复为java对象的过程。 我们把对象序列化成有序字节流，保存到本地磁盘或者Redis等媒介中，或者直接通过网络传输进行远程方法调用（RMI）来使用，在使用的时候再进行反序列化来得到该对象 ...
分类：
其他好文 时间：
2020-05-26 12:31:52
阅读次数：
51
这题思路上不是很难，但是写起来贼复杂(知道为什么没啥人过了) 其实这题难的不是A的面积有多大，而是确定A后怎么填充剩下的矩形 自己写的代码复制粘贴三百多行，贴上题解的得了 题解用拉伸的填充法把代码化简了好多。。 如果不需要最大化矩形A的面积，则可以用如下算法解决该问题。垂直拉伸每个字母，直到碰到另一 ...
分类：
其他好文 时间：
2020-05-26 00:59:34
阅读次数：
99
C程序设计实验报告 姓名：熊毅 实验地点：家 实验时间：2020.5.19 实验项目： 7.3.1练习1 冒泡排序法的运用 7.3.1练习2 选择排序法的运用 7.3.2练习1 输出指定行数的杨辉三角 7.3.2练习1 输出指定行数的杨辉三角（等腰） 7.3.2练习2 输入年月日计算是该年的第几天 ...
分类：
编程语言 时间：
2020-05-24 11:47:57
阅读次数：
46
A - Candies 1.题意 给定一个正整数n，求一个正整数x使得x + 2 * x + 4 * x + ······ + 2 ^ (k - 1) * x = n（k > 1）。 2.题解 用等比数列的求和公式化简为 （2 ^ k - 1）* x = n，乘方可以用快速幂，再从2开始枚举k即可。 ...
分类：
其他好文 时间：
2020-05-23 18:45:00
阅读次数：
53
[toc] JDK9的新特性:JPMS模块化 简介 JDK9引入了一个新的特性叫做JPMS（Java Platform Module System），也可以叫做Project Jigsaw。模块化的本质就是将一个大型的项目拆分成为一个一个的模块，每个模块都是独立的单元，并且不同的模块之间可以互相引用 ...
分类：
其他好文 时间：
2020-05-22 09:46:55
阅读次数：
97
在主函数main.cc中 在化简求解代码段之后： vec<Lit> dummy; lbool ret = S.solveLimited(dummy); 在Solver.h文件中 inline lbool Solver::solveLimited (const vec<Lit>& assumps){ ...
分类：
其他好文 时间：
2020-05-12 11:58:45
阅读次数：
65
