反证法

将所有点之间的距离遍历一遍。n 个点就需要遍历 $C_n^2$ 次。 时间复杂度： 空间复杂度： 暴力法显然时间复杂度过高，数据量较大的时候就不适合了

IEEE Transactions on Automatic Control (IEEETAC)是IEEE控制系统学会的旗舰汇刊，致力于发表控制理论、设计与应用方面的高水平论文，对理论水平要求极其高。IEEE TAC和IFAC会刊Automatica被公认为国际控制与自动化领域的两大顶级期刊，创刊于1956年，属于中科院Top期刊，是衡量各高校控制领域学术水准的标志性期刊。2019年IEEE TAC的SCI影响因子为 6.200 (2020年最新数据)

Overload是重载的意思，Override是覆盖的意思，也就是重写。 重载Overload：在同一个类中，允许存在一个以上的同名函数，只要他们的参数个数或者参数类型不同即可。 重载的特点：与返回值类型无关，只看参数列表

IEEE Transactions on Automatic Control (IEEETAC)是IEEE控制系统学会的旗舰汇刊，致力于发表控制理论、设计与应用方面的高水平论文，对理论水平要求极其高。IEEE TAC和IFAC会刊Automatica被公认为国际控制与自动化领域的两大顶级期刊，创刊于1956年，属于中科院Top期刊，是衡量各高校控制领域学术水准的标志性期刊。2019年IEEE TAC的SCI影响因子为 6.200 (2020年最新数据)

算术基本定理，又称为正整数的唯一分解定理，即：每个大于1的自然数，要么本身就是质数，要么可以写为2个或以上的质数的积，而且这些质因子按大小排列之后，写法仅有一种方式。 分解的唯一性，即若不考虑排列的顺序，正整数分解为素数乘积的方式是唯一的。 算术基本定理是初等数论中一个基本的定理，也是许多其他定理的逻辑支撑点和出发点

在数不尽的论战之中，尤其是政策的讨论，总不时会出现 “人都是安份守法的，于是…”、”人都是投机自私剥削他人的，于是…”、等等等的说法，并不时举出真实案例与故事来加强自己的论述。而同一时间，另一方，也往往总是能提出对应的反例来驳斥(打脸)这一方，众人无不拍手叫好。这样的场景，已经不知道反复重演了多少次，仍不断的重复中

给出两个长度为 n 的整数序列，求它们的最长公共子序列（LCS）的长度，保证第一个序列中所有元素都不重复。 一个序列中的某些元素可能不在另一个序列中出现。 接下来两行，每行包含 n 个整数，表示一个整数序列

有一个关于时间的“祖父悖论”，同理，谁也无法判断未来：反证法，如果你能够判断未来，那你去干扰，导致未来没有按照你的判断发生，那你的判断就是错误的。这大概也是人生另一个有趣的地方吧，你永远也不知道未来会怎样。你不知道你的未来会怎样，你不知道你工作的未来会怎样，你不知道你十年之后会怎样，你也不知道你所公司的未来会怎样…… 对于未来，我们甚至没有一点是可以确定的