摘要：
Verilog HDL是一种硬件描述语言（HDL:Hardware Description Language），以文本形式来描述数字系统硬件的结构和行为的语言，用它可以表示逻辑电路图、逻辑表达式，还可以表示数字逻辑系统所完成的逻辑功能。Verilog由Gateway Design Automatio 阅读全文
摘要：
有限状态自动机是拥有有限数量的状态，并且每个状态可以变换其他状态的数学模型。 A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a s 阅读全文
摘要：
基本语法 | 元素 | Markdown 语法 | | | | | 标题 | # H1 ## H2 ### H3 | | 粗体 | ** bold text ** | | 斜体 | * italicized text * | | 引用块 | > blockquote | | 有序列表 | 1. Fi 阅读全文
摘要：
蒙特卡洛方法（Monte Carlo method），也称统计模拟方法，它是一种思想或者方法的统称，而不是严格意义上的算法。 蒙特卡洛方法的起源是1777年由法国数学家布丰（Comte de Buffon）提出的用投针实验方法求圆周率（具体算法见文末的好文推荐），在20世纪40年代中期，由于计算机的 阅读全文
摘要：
基本思想 分支限界法常以广度优先或以最小耗费（最大效益）优先的方式搜索问题的解空间树。 在分支限界法中，每一个活结点只有一次机会成为扩展结点。活结点一旦成为扩展结点，就一次性产生其所有儿子结点。在这些儿子结点中，导致不可行解或导致非最优解的儿子结点被舍弃，其余儿子结点被加入活结点表中。此后，从活结点 阅读全文
摘要：
回溯法（探索与回溯法，Backtracking Method）是一种选优搜索法，又称为试探法，按选优条件向前搜索，以达到目标。但当探索到某一步时，发现原先选择并不优或达不到目标，就退回一步重新选择，这种走不通就退回再走的技术为回溯法，而满足回溯条件的某个状态的点称为“回溯点”。基本做法就是搜索，或是 阅读全文
摘要：
定义 无回路的无向图称为树图。 最小生成树（Minimum Spanning Tree，MST），一个有n个结点的连通图的生成树是原图的极小连通子图，且包含原图中的所有n个结点，并且有保持图连通的最少的边。 最小生成树可以用Kruskal（克鲁斯卡尔）算法或Prim（普里姆）算法求出。 思路 Pri 阅读全文
摘要：
定义 无回路的无向图称为树图。 最小生成树（Minimum Spanning Tree，MST），一个有n个结点的连通图的生成树是原图的极小连通子图，且包含原图中的所有n个结点，并且有保持图连通的最少的边。 最小生成树可以用Kruskal（克鲁斯卡尔）算法或Prim（普里姆）算法求出。 思路 Kru 阅读全文
摘要：
问题 给定带权有向图G =(V,E)，其中每条边的权是非负实数。另外，还给定V中的一个顶点，称为源。现在要计算从源到所有其他各顶点的最短路长度。这里路的长度是指路上各边权之和。这个问题通常称为单源最短路径问题。 例如，Patrick教授希望找到一条从菲尼克斯(Phoenix)到印第安纳波利斯(Ind 阅读全文
摘要：
问题 给定带权有向图G =(V,E)，其中每条边的权是非负实数。另外，还给定V中的一个顶点，称为源。现在要计算从源到所有其他各顶点的最短路长度。这里路的长度是指路上各边权之和。这个问题通常称为单源最短路径问题。 例如，Patrick教授希望找到一条从菲尼克斯(Phoenix)到印第安纳波利斯(Ind 阅读全文