Chrysomallos
The world has kissed my soul with its pain, asking for its return in codes. -Rabindranath Tagore
Web学习笔记 Web学习笔记
尚在施工中,只完成了web server部分 : ) Web ServerWeb Server 基本原理当我们在浏览器浏览网页的时候,浏览器会先请求DNS Server,获得请求站点的IP Address,然后发送一个HTTP Reques
2019-07-16
Domain Name System(Authorized Reproduction) Domain Name System(Authorized Reproduction)
对于 DNS(Domain Name System) 大家肯定不陌生,不就是用来将一个网站的域名转换为对应的IP吗。当我们发现可以上QQ但不能浏览网页时,我们会想到可能是域名服务器挂掉了;当我们用别人提供的hosts文件浏览到一个“不存在”
2019-07-16
循环不变式(Loop Invariant)与算法正确性 循环不变式(Loop Invariant)与算法正确性
循环不变式是让循环成立的一个statement,其必须具备三个性质: 初始(Initialization):在循环开始(第一次迭代)之前,它为真 保持(Maintenance):如果循环的某次迭代之前它为真,那么下次迭代之前它仍为真。 终
2019-07-16
Priority Queue Priority Queue
Heap(Priority Queue)优先队列(Priority Queue)是一种非常重要的数据结构,本文将讨论对于优先队列的有效实现以及优先队列的使用。一般来说,优先队列一定具有两个基本操作:插入Insert和删除最小DeleteMi
2019-06-11
Stack and Queue Stack and Queue
Stack and Queue抽象数据类型(Abstract Data Type): 带有一组操作的一些对象的集合 Stack ADT栈本质是个表 from infix to postfix 遇见操作数,放到输出队列中,遇见操作符,push
2019-06-11
CodingStyle(Updated Java Google Coding Style) CodingStyle(Updated Java Google Coding Style)
Java Coding StyleBased on Google Java Coding Style, I took some notes about these hard and fast rules. Class Declaratio
2019-06-05
Tree Tree
TreeVolcabularyTree: A connected, acycinc, undirected graph. Degree of node: The number of children of a node External
2019-06-04
Bread-First-Search and Depth-First-Search Bread-First-Search and Depth-First-Search
Graph一般图算法的输入:|V| 和 |E| (G = (V, E))图的表示: 链表:多用于稀疏图,即|E|远小于|V|^2。对于有向图来说,所有链表长度和为|E|;对于无向图来说,所有链表长度和为2|E|。链表占用空间O(V+E)。
2019-04-30
Basic OCmal Basic OCmal
Basic OCaml NotesCompilation xxx.ml -> ocamlbuild xxx.native -> ./xxx.native FunctionCalling functions No brackets
2019-04-11