摘要：形式化 待完成： 完成： 《具有程序静态结构和动态行为语义的时序逻辑》 (完成) 《Performace Evaluation》 java 《大话设计模式》 《Java核心API（下）》 机器学习 《统计学习方法》 算法 初学蚁群算法（ACO） 《数据结构与算法分析》 第四章 树（上） 第四章 树（ 阅读全文

摘要：目录： 第一部分：Java网络编程知识 （一）简单的Http请求 一般浏览网页时，使用的时Ip地址，而IP（Internet Protocol，互联网协议）目前主要是IPv4和IPv6. IP地址是一个32位整数，一般分成4个八位二进制，为了方便记忆一般将八位整数换算为一个0-255的十进制整数。 阅读全文

摘要：4.2 二叉树 前面学过了树的基本概念，和树的先序与后序遍历。现在要学二叉树。二叉树是一种受限制的树，也是一种非常有应用价值的数据结构。 （1）二叉树的基本概念 二叉树（binary tree）：一棵树，其中每个节点的子节点不超过2. 二叉树的平均深度为：O（根号N），而二叉查找树的平均深度只有O（ 阅读全文

摘要：4.1 预备知识 定义： 树的递归定义：一棵树是一些节点的集合，这个集合若为空集；否则由一个根结点以及该节点的0个或者若干个非空子树组成，这些子树都与该根节点有边连接。 树叶：没有子节点的节点。 兄弟（Siblings）：有相同父亲节点的节点。 节点n1到nj的路径：一个节点 序列：n1，n2... 阅读全文

摘要：1 协变数组类型（covariant array type） 数组的协变性： if A IS-A B then A[] IS-A B[] 也就是说，java中的数组兼容，一个类型的数组兼容他的子类类型数组。 协变数组好处：使得代码的灵活性更强。 协变数组的坏处：过于灵活导致类型混乱，比如： Pero 阅读全文