SHIELD-SKY

Think Different

数学演绎的方法论

《古今数学思想》笔记

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

关于自定义比较的问题

仿函数(functor)

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

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...

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....

几种最短路算法

图算法小记

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

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...

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...

UNIX学习笔记

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

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

UNIX学习笔记

编译c程序

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

UNIX学习笔记

Bourne shell编程

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