一个4X7的方格形棋盘，要给它的每个方格涂色：颜色或黑或白。试证明:对于任何一种涂色方式，总有一个矩形，其顶点所在的四格同色。 A B 不妨让图A为所述棋盘，从上到下为第1 - 4 行，从左到右为第1 - 7列。易知：任意一行至少有4个方格的颜色相同；至少存在两行满足：这两行占多数的颜色相同。 不妨 ...
分类：
其他好文 时间：
2020-04-09 21:44:19
阅读次数：
94
从事组合优化或信息安全方向的研究人员，基于SMT研究，需要快速学习SAT求解器的基本原理和方法。以下是快速入门的几点体会： 1.理清需要——是完备求解器还是不完备求解器 完备求解器 能给出SAT、UNSAT、unknow三种确定的答案，尤其是UNSAT结论能给出证明推导过程，指出导致矛盾的关键路径。 ...
分类：
其他好文 时间：
2020-04-07 12:46:45
阅读次数：
528
首先: 无向图的dfs树无横边 这很显然，因为若有u v 为横边，那么v早就从这条边过来找u了...矛盾 设 $k = ceil( \sqrt{n} )$ 接下来跑dfs树，如果有回边使得环大于等于k，就输出环。 否则，说明一个问题：所有点的回边的数量都小于k（不然一定能找到环了，鸽巢原理～） 于是 ...
分类：
其他好文 时间：
2020-04-03 09:15:46
阅读次数：
116
1.几种常见的编码格式 1.为什么需要编码？ (1)在计算机存储信息的最小单位是1个字节(byte)，即8个bit，所以能表示的字符范围是0-255个。 (2)人类要表示的符号太多，无法用1个字节来完全表示。 要解决这个矛盾必须要有一个新的数据结构char，而从char到byte必须编码。 2.如何 ...
分类：
编程语言 时间：
2020-04-01 19:22:52
阅读次数：
74
（一）电子自旋 电子自旋 最早由 乌伦贝克 （ Uhlenbeck )和 哥德斯密托 （ Goudsmit ）提出，他们认为电子具有 自旋角动量 ，在任意一个方向上的投影都为： $$ S_z=\pm\frac{\hbar}{2} $$ 对于电子来说，其 旋磁比 和 磁矩 为： $$ M_s= \fr ...
分类：
其他好文 时间：
2020-03-31 19:09:47
阅读次数：
113
唯女子与小人难养也 唯女子与小人难养也，是一则谚语。完整表述见于《论语·第十七章·阳货篇》：“唯女子与小人为难养也，近之则不逊，远之则怨。” 要理解孔子的意图，必须回到历史的语境，准确把握孔子的说话对象。“唯女子与小人为难养也”的说话对象是“君子”中的“人主”，“女子与小人”不是泛指所有的女性和“小 ...
分类：
其他好文 时间：
2020-03-29 10:52:55
阅读次数：
88
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1829 并查集的一个应用，就是检测是否存在矛盾，就是两个不该相交的集合有了交集。本题就是这样，一种虫子有两种性别，每次m次操作，每次给出(a,b)，如果a和b是同性别就出现了错误，也就是说出现了判断它有两 ...
分类：
其他好文 时间：
2020-03-25 13:29:23
阅读次数：
69
23:00 不管我们面对什么处境，不管我们内心多么矛盾，我们总有选择。我们是什么样的人，取决于我们选择做什么样的人。 ——蜘蛛侠 忙碌一天下来了， 真的很累，中午并没有休息，几乎每天都是这么扛下来。其实灵活上班的工作时间更长，加上戴着口罩，几度有点窒息感 。但还好，看着那些刚从生死线拉回来的感染病人 ...
分类：
其他好文 时间：
2020-03-21 16:24:23
阅读次数：
50
JNI(JavaNativeInterface)是一组API和标准，作用是实现Java和其他语言（主要是C/C++）的通信。出于运算速度等方面的考虑，一些对运算性能要求较高的算法往往是基于C/C++语言（与硬件关联性更强）实现的。如果应用程序需要基于JAVA编程实现时，这就会有一些矛盾。此时，通过JNI技术，Java开发者可以在不了解算法内容的情况下，方便快捷的使用C/C++加密算法的动态库，实现
分类：
编程语言 时间：
2020-03-20 13:11:02
阅读次数：
96
超详细，多图文使用galeracluster搭建mysql集群并介绍wsrep相关参数介绍galeracluster原理的文章已经有一大堆了，百度几篇看一看就能有相关了解，这里就不赘述了。本文主要侧重实操，因为跟着百度前几页的搭建教程或多或少都有坑，前后配置逻辑矛盾的也有。终于，经过几个通宵的bug修复，反复验证，力求以最简洁的代码，最少的操作量，最直白的逻辑来完成集群的搭建。因为操作过程中，网上
分类：
数据库 时间：
2020-03-12 20:26:35
阅读次数：
70
