以上我們談了一些 邏輯的基礎，接下來我們會談一些 數學的基礎，也就是整數與實數系統。其實我們已經用了很多，非正式地，接下來我們會正式地討論他們。要 建構 實數系統的一個方法就是利用公理跟集合論來建構。首先我們需要從集合論出發，定義在 set $A$ 上的 二元運算子（binary operator）... ...
分类：
其他好文 时间：
2020-02-05 10:13:59
阅读次数：
62
Flink中的时间类型和窗口是非常重要概念，是学习Flink必须要掌握的两个知识点。Flink中的时间类型时间类型介绍Flink流式处理中支持不同类型的时间。分为以下几种：处理时间Flink程序执行对应操作的系统时间。所有基于时间的操作（例如：时间窗口）都将使用运行相应operator的系统时间。例... ...
分类：
其他好文 时间：
2020-02-05 09:16:30
阅读次数：
136
源程序： #include<iostream>using namespace std; class CBase{public: CBase() {} CBase(CBase &c) { cout << "CBase::复制构造函数" << endl; } CBase & operator=(cons ...
分类：
其他好文 时间：
2020-02-04 18:44:53
阅读次数：
78
nil 标识符是不能比较的 package main import "fmt" func main() { fmt.Println(nil == nil) } .\nil.go:6:18: invalid operation: nil == nil (operator == not defined ...
分类：
编程语言 时间：
2020-02-04 18:41:08
阅读次数：
87
import numpy as npimport operatorfrom os import listdirdef CerateDataSet(): group = np.array([[1.0,1.1],[1.0,1.0],[0,0],[0,0.1]]) labels = ['A','A','B ...
分类：
编程语言 时间：
2020-02-04 15:40:01
阅读次数：
74
poj 2100 尺取法（尺度法） 题意 给你一个数 ，然后找到一个连续的序列，使得这个序列中的数的平方和等于 。 输出需要注意的是第一行为解的个数，剩下的每行先输出序列的长度，然后输出序列。按照序列的长度进行降序输出。 解题思路 没啥好说的，使用尺度法，进行枚举各个区间上的数。 需要注意的是数字 ...
分类：
其他好文 时间：
2020-02-04 14:17:34
阅读次数：
66
源程序： #include<iostream>using namespace std; class CDemo{private: int n;public: CDemo(int i=0):n(i){} CDemo & operator++(); //用于前置形式 CDemo operator++(i ...
分类：
其他好文 时间：
2020-02-04 14:10:56
阅读次数：
61
源程序： #include<iostream>using namespace std; class myComplex{ double real,imag;public: myComplex(double r=0,double i=0):real(r),imag(i){}; operator dou ...
分类：
其他好文 时间：
2020-02-04 14:09:33
阅读次数：
64
一、题目说明 这个题目是23. Merge k Sorted Lists，归并k个有序列表生成一个列表。难度为Hard，实际上并不难，我一次提交就对了。 二、我的解答 就是k路归并，思路很简单，实现也不难。 不过，性能一般： 三、优化措施 上面的实现，之所以性能不足，在于一次归并一个队列，用的是插入 ...
分类：
其他好文 时间：
2020-02-04 10:38:51
阅读次数：
75
「AHOI2014/JSOI2014」骑士游戏 "传送门" 考虑 $\text{DP}$。 设 $dp_i$ 表示灭种（雾）一只编号为 $i$ 的怪物的代价。 那么转移显然是： $$dp_i = \min(K_i, S_i + \sum_{j = 1}^{R_i} dp_{v_j})$$ 但是我们会 ...
分类：
Web程序 时间：
2020-02-02 23:18:50
阅读次数：
95
