Description LogLoader是一家专门提供日志分析产品的公司。Ikki在做毕业设计的同时，还忙于在LogLoader做实习。在他的工作里，有一项是要写一个模块来处理时间区间。这个事情一直让他感到很迷糊，所以现在他很需要你帮忙。 在离散数学里面，你已经学习了几种基本的集合运算，具体地说就 ...
分类：
其他好文 时间：
2018-08-01 12:08:30
阅读次数：
127
１.前束范式 一个公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末尾，则称为是前束范式。例如：(?x)(?y)(?z)（Q(x,y)→R(z)）?的地方是并或交。任何一个谓词公式都有一个前束范式等价。 ２.容斥原理 ｎ个集合的并集的元素的个数＝每个集合元素的个数和－两两集合交＋三三集合交 ...
分类：
其他好文 时间：
2018-07-15 11:17:40
阅读次数：
1006
第一章 基础：逻辑和证明 命题（proposition）：真或假的陈述句 否定：￢（!、not、非、补） 合取：∧（&&、and、且、交） 析取：∨（||、or、或、并） 异或：⊕（xor） 只有一个为真时为真，其余为假（相同为假，不同为真） 条件语句：→（蕴含） p→q，p真q假为假，其余全为真（ ...
分类：
其他好文 时间：
2018-07-02 01:20:25
阅读次数：
200
假设存在两个最小生成树T，T'，其边按权重升序排列分别为{e1, e2, ..., en}和{e1', e2', ..., en'}。 那么存在一个最小的k使得weight(ek)!=weight(ek')。（也即e1=e1', e2=e2', ... ek-1=ek-1'） 此时T'中没有ek。不 ...
分类：
其他好文 时间：
2018-06-23 10:33:28
阅读次数：
613
（1） 计算机有关专业（计算机应用、软件工程）的教育和学习过程是从理解计算机世界开始的，如计算机原理、离散数学、编译原理、数据结构、算法分析、程序设计、数据库等等课程都是围绕计算机科学的，也称为专业基础课。这些基础课是培养学生把给定的计算模型在计算机中得以实现的计算能力。 （2） 然而谁来给出这个模 ...
分类：
其他好文 时间：
2018-05-18 21:26:03
阅读次数：
150
1 #include 2 #include 3 #include 4 using namespace std; 5 class Graph{ 6 private: 7 int n; 8 int** graph; 9 public: 10 Graph(int n){ 11 this->n = n; 1... ...
分类：
编程语言 时间：
2018-05-08 20:57:47
阅读次数：
247
B. 非常有意思的题目，但一开始没有想出来怎么证明。有点偏向于离散数学证明题。 首先给出结论：当且仅当点的个数为奇数时可以构造出来一种删除序列。 首先考虑证明必要性，每次删除操作相当于在原先的树上咔去偶数条边，从而必然有点的个数为奇数。 考虑充分性，我们从深度较大的点到深度较小的点删除，每次对于一个 ...
分类：
其他好文 时间：
2018-04-29 19:24:07
阅读次数：
203
题目 The gray code is a binary numeral system where two successive values differ in only one bit. Given a non negative integer n representing the total ...
分类：
其他好文 时间：
2018-04-19 12:04:34
阅读次数：
125
SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简 洁、易于理解和扩展。它完全由Python写成，不依赖于外部库。SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、离散 数学、几何学、概率与统计、物理学等方面的功能 正如你看 ...
分类：
编程语言 时间：
2018-04-18 00:55:05
阅读次数：
522
