摘要:一、下载、解压或安装等命令: 目前自己用过的三个下载及安装命令:curl、wget、yum。 yum用法: yum 参考手册 curl 官方文档 wget 参考手册 tar命令是用于解压文件的命令,选择的参数有zxvf、xzvf等。如: tar 参考手册 ps:还有rpm、make命令,rpm可以下 阅读全文
posted @ 2018-05-08 18:04 onimiko 阅读(346) 评论(0) 推荐(0) 编辑
摘要:这篇作为前篇证明乘法左右幺元交换律的补充。在那里我将乘法交换律等作为公理直接使用,但其实很有必要从更基础的角度来证明他们是符合逻辑的,为了简单进入主题,所以这篇直接从皮亚诺公设来定义出自然数集,然后在自然数集中定义二元运算。这样会避免探讨过多更基础的东西。 自然数的 Peano 公理: 首先定义 $ 阅读全文
posted @ 2020-10-28 21:02 onimiko 阅读(62) 评论(0) 推荐(0) 编辑
摘要:先定义三条公理(其实公理 2 对于这里证明幺元交换律不重要): $ \forall a, b \in N $,$ e $ 是单位元,满足下面三条运算法则: 1. $ a b = b a $(交换律). 2. $ (a b) c = a (b c) $(结合律). 3. $ e a = a $(幺元) 阅读全文
posted @ 2020-10-10 11:33 onimiko 阅读(49) 评论(0) 推荐(0) 编辑
摘要:分三个部分,只有一个数的情况,比较两个数的情况,其它情况。其它情况为入口,模板递归到两个的情况,比较出值之后一层一层返回,然后计算出结果。 #include <iostream> using std::cout; template<bool expr, int then_expr, int else 阅读全文
posted @ 2020-10-04 22:11 onimiko 阅读(39) 评论(0) 推荐(0) 编辑
摘要:我们知道一元二次方程有求根公式可以轻松的求根,一元三次方程也有,但稍微有些复杂,一元四次方程也有一个复杂的求根公式,但到了一元五次方程开始,除了特殊构造的方程外,大部分没有求根公式可以求出根,这时候就需要一些数值方法来逼近根,这些方法大多用于高于2次的方程中,这里我要介绍的就是一种名为 bairst 阅读全文
posted @ 2020-09-25 21:02 onimiko 阅读(57) 评论(0) 推荐(0) 编辑
摘要:原理基于 gaussian jordan elimination 方法,考虑求解如下线性方程组: $$ \begin{aligned} \mathbf{A}\mathbf{x} &= \mathbf{b} \end{aligned} $$ 我们设 $ L $、$ U $、$ P $ 满足: $$ \ 阅读全文
posted @ 2020-09-21 17:25 onimiko 阅读(168) 评论(0) 推荐(0) 编辑
摘要:一开始 [[]] 没过,我还以为是编译器错误 (/捂脸 class Solution { public: bool searchMatrix(vector<vector<int>> matrix, int target) { int min = -1, max = matrix.size(); if 阅读全文
posted @ 2020-08-30 16:27 onimiko 阅读(43) 评论(0) 推荐(0) 编辑
摘要:数列肯定是有规律的,然后查阅到卡特兰数的前25个当打表题做: class Solution { public: int numTrees(int n) { long long table[] = {1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862, 16796, 58 阅读全文
posted @ 2020-08-30 13:16 onimiko 阅读(62) 评论(0) 推荐(0) 编辑
摘要:需要注意如果频率相同则按字典序排序: class Solution { public: vector<string> topKFrequent(vector<string>& words, int k) { unordered_map<string, int> f; for (auto w: wor 阅读全文
posted @ 2020-08-28 21:47 onimiko 阅读(51) 评论(0) 推荐(0) 编辑
摘要:无语的是,不知道为啥我的广搜最后一个测试点会TLE。。。 class Solution { public: int numIslands(vector<vector<char>>& grid) { int nums = 0; for (int i = 0; i < grid.size(); i++) 阅读全文
posted @ 2020-08-28 16:05 onimiko 阅读(24) 评论(0) 推荐(0) 编辑
摘要:仔细一想,其实还可以再优化时间复杂度,不过要考虑很多边界情况,懒得考虑了: class Solution { public: ListNode* rotateRight(ListNode* head, int k) { int size = 0; ListNode* p = head; if (!p 阅读全文
posted @ 2020-08-26 18:48 onimiko 阅读(31) 评论(0) 推荐(0) 编辑