SHIELD-SKY

Think Different

数学演绎的方法论

《古今数学思想》笔记

Proclus和Diogenes Laertius(3世纪)把两类方法论归功于Plato学派。 第一类是分析方法，用这方法时，我们把待证的事项作为已知，然后由此推导出一些结论，知道得出一个已知的真理或得到矛盾。若得出矛盾，则待证的结论谬误。若得出一个已知真理，则（如若可能）便把推理步骤倒过来，于是就做出证明。 第二类是归谬法或间接法。

Posted by SHIELD-SKY on August 19, 2016

关于自定义比较的问题

仿函数(functor)

崔学弟言： 第二版的359页那一小节可以解答你今晚的所有困惑…… 然而假期没带紫书啊，幸好大半夜学弟临睡觉之前拍了几张紫书的照片，这里做点笔记 STL的优先队列也定义在头文件里，用“priority_queue”来声明。这个pq是一个”越小的整数优先级越低的优先队列“。 自定义类型也可以组成优先队列，但必须为每个元素定义一个优先级。 例如，要想实现一个“个位数越大的整数优先级...

Posted by SHIELD-SKY on August 18, 2016

poj3159

Dijkstra算法

Candies(Dijkstra算法+优先队列) Description During the kindergarten days, flymouse was the monitor of his class. Occasionally the head-teacher brought the kids of flymouse’s class a large bag of candies...

Posted by SHIELD-SKY on August 18, 2016

A water problem

网络赛整理

A water problem Problem Description Two planets named Haha and Xixi in the universe and they were created with the universe beginning. There is 73 days in Xixi a year and 137 days in Haha a year....

Posted by SHIELD-SKY on August 15, 2016

几种最短路算法

图算法小记

适用范围： 广度优先算法：输入图的每条边的权重都是单位权重 Dijkstra算法：输入图的所有边权重为非负值 Bellman-Ford算法：允许输入图中包含负权边，但不能有可以从源结点到达的权重为负值的环路。通常情况下，如果存在一条权重为负权值得环路，Bellman-Ford算法可以侦测并报告其存在。 松弛操作 Dijk...

Posted by SHIELD-SKY on August 13, 2016

poj1182

《挑战程序设计竞赛》练习

食物链（并查集经典题目） Description 动物王国中有三类动物A,B,C，这三类动物的食物链构成了有趣的环形。A吃B， B吃C，C吃A。 现有N个动物，以1－N编号。每个动物都是A,B,C中的一种，但是我们并不知道它到底是哪一种。 有人用两种说法对这N个动物所构成的食物链关系进行描述： 第一种说法是”1 X Y”，表示X和Y是同类。 第二种说法是”2 X Y”，表示X吃Y...

Posted by SHIELD-SKY on August 10, 2016

poj3253

《挑战程序设计竞赛》练习

Fence Repair Farmer John wants to repair a small length of the fence around the pasture. He measures the fence and finds that he needs N (1 ≤ N ≤ 20,000) planks of wood, each having some integer le...

Posted by SHIELD-SKY on August 10, 2016

UNIX学习笔记

处理基于模块的C软件-make的使用

make [-f makefile] makefile基本语法格式 target-list: dependency-list <TAB> command-list makefile的宏定义 建立库中的目标文件 简单的说就是把.o目标文件用ar命令打包成.a库文件 使用库 文档排序 - ranlib命令 ...

Posted by SHIELD-SKY on August 6, 2016

UNIX学习笔记

编译c程序

源代码->编译程序->汇编代码->汇编程序->目标代码->连接程序->可执行代码 cc [options] filr-list Command Description -c 不进行连接阶段，保留目标文件（扩展名为.o） -...

Posted by SHIELD-SKY on August 6, 2016

UNIX学习笔记

Bourne shell编程

数值型数据的处理 expr args here 文档 command << [-] input_marker ... input data ... input_marker 中断（信号）处理 trap ['command-list'][signal-list] exec命令与文件输入输出 exec command Bourne...

Posted by SHIELD-SKY on August 6, 2016

FEATURED TAGS
Life pbc library caffe deep learning UNIX Compile STL POJ ACM 图算法 Latex 情怀 Linux QT C++ OpenCV
ABOUT ME

看看算法，写写代码，搞点安全，学点ML。世界那么大，我想去看看。

FRIENDS