其他
该书主要讲到了三方面的知识点： （1）第一个知识点叫真值函数。真值说的就是真与假这两个值。一个命题的真值为真，就是说这个命题符合事实。一个命题的真值为假，那它就不符合事实。而函数就像是机器，输入一些值后，就会输出一些值。文中也提高了三个真值函数： 否定：是指把输入的值变成相反的值。输入真就输出假，输 ...
"洛谷" 题意： 给出两个最大团的补图，现在要求增加一条边，使得最大最大团个数增加至少$1$。 思路： 我们求出团的补图，问题可以转换为：对于一个二分图，选择删掉一条边，能够增大其最大独立集的点集数。 然后做法就是考虑在最大流的残余网络上，对容量为$1$的边求强连通分量（包含源点、汇点）。 若存在一 ...
公司部门同事有个需求，就是需要把当前另一个部门a中存储的数据全部导出来，自己当前业务b的数据全部导出来，两个要取一下差集，把a中存在，b中不存在的记下来，要去调用某接口把对应的文件删除。这个我感觉可以使用redis的集合来进行操作，但是考虑到数据量特别大，文件有200G，内存估计不够用，暂时还不知道 ...
PerfMon Metrics Collector：服务器性能监控数据采集器。在性能测试过程中，还需要监控服务器的资源使用情况，如CPU、memory、I/O等。该插件可以在性能测试中实时监控服务器的各项资源使用。 JMeter 无法提取除 Tomcat 之外的其他服务器的默认指标，为了克服这一状况 ...
属于CentOS 5 新建虚拟机，开机回车即可 next，然后选择yes，进入磁盘修改分区 进行自定义磁盘分区： 新建磁盘挂载点： 然后next， 点击edit，输入IP与子网掩码： 完成配置： 进行时区时间配置： 设置密码开始安装： 安装完成开机界面如下： 浏览器访问这个地址（注意加上https， ...
生产环境上遇到这个问题，控制台不停打印 “OOM command not allowed when used memory > 'maxmemory' ”; 起初不知道是什么，经过一番搜索： 1.登陆redis客户端：./redis-cli -h IP -p port -a passwd 2.执行命 ...
发现 $K$ 很小，不妨设置一个 $O(NK)$ 的 $DP$。 首先建反向图跑 $Dijkstra$，求出 $dis[i]$ 表示从 $i$ 到 $n$ 的最短路距离。 发现可行的最短路必须满足是 $d include include include include include using n ...
1、File类的概念： File类，是一个静态类，主要是来提供一些函数库用的。静态实用类，提供了很多静态的方法，支持对文件的基本操作，包括创建，拷贝，移动，删除和 打开一个文件。 File类方法的参量很多时候都是路径path。File的一些方法可以返回FileStream和StreamWriter的 ...