2-sat 1.算法分析 有 n 个变量x[1...n]，每个变量的可能取值为1或0（或称i和~i必取到其中1个）。 给定 m 个约束条件，每个约束条件形如： 若 x[i] 取 i（或者~i），则 x[j] 必取 j（或者~j） 判定是否存在对每个变量的合法赋值，使所有约束都被满足 判定方法： 建立 ...
分类：
其他好文 时间：
2020-06-15 19:25:35
阅读次数：
49
仅以博客形式记录linux所学，不足之处继续优化 linux系统的常用命令格式基本上是以 cmd(command) 选项 参数 的形式书写 例如screen、date、ifconfig等命令 1 Usage: date [OPTION]... [+FORMAT] 2 or: date [-u|--u ...
分类：
系统相关 时间：
2020-06-14 23:48:01
阅读次数：
69
During my time with Zotero, I've really enjoyed its various features and the 300MB of file sync space is able to be extended by modifying the path to ...
是什么 leveldb内部实现的缓存 为什么要用 性能高于内嵌哈希表 学到什么 与（&）操作进行模运算 减少cache锁操作，可以分为多组cache 源码分析 LRUHandle 缓存中代表键值对的数据结构 // An entry is a variable length heap-allocate ...
分类：
数据库 时间：
2020-06-14 10:30:28
阅读次数：
63
一、基本源码分析 1.寻找入口 Spring 的 AOP 是通过接入 BeanPostProcessor 后置处理器开始的 2.BeanPostProcessor BeanPostProcessor的体现在IOC源码分析的doCreateBean中，populateBean的后一句 Object e ...
分类：
编程语言 时间：
2020-06-13 13:23:29
阅读次数：
75
概述文本讲述通过C#和VB.NET程序代码给Word中的表格设置边框的方法，可分为给Table表格设置边框、给表格中的指定Cell设置边框，设置边框时，可设置边框颜色、边框类型、边框线条样式、边框线条粗细等等。工具导入编辑代码前，先下载需要的Word类库工具，本文中使用的是Spire的免费版库FreeSpire.Docfor.NET。下载后，需要解压安装。在VS程序中将安装路径下Bin文件下的Sp
地址 https://www.acwing.com/file_system/file/content/whole/index/content/583673/ 你一个包含 n 个整数的数组 nums，判断 nums 中是否存在三个元素 a，b，c ， 使得 a + b + c = 0 ？请你找出所有满 ...
分类：
其他好文 时间：
2020-06-12 14:22:48
阅读次数：
47
问题背景： oracle表空间不足报错是比较常见的故障，尤其是没有对剩余表空间做定期巡检的系统； 报错代码如下： oracle表空间不足错误代码：ORA-01653: unable to extend table ； 解决方式： 1、查看表空间使用率： 1 set linesize 220; 2 s ...
分类：
数据库 时间：
2020-06-11 21:24:36
阅读次数：
61
题目 Zhejiang University has 40000 students and provides 2500 courses. Now given the student name lists of all the courses, you are supposed to output t ...
分类：
其他好文 时间：
2020-06-10 23:00:04
阅读次数：
85
一、前言 文章：https://www.cnblogs.com/runnable/p/12905401.html中介绍了Tomcat处理一次请求的大致过程，其中包括请求接收、请求数据处理以及请求响应。接下来用两篇文章详细分析请求数据解析：请求行和请求头的读取、请求体的读取。 在分析请求数据处理之前， ...
分类：
其他好文 时间：
2020-06-09 20:53:34
阅读次数：
170
