摘要:
A Fenwick tree or binary indexed tree is a data structure that can efficiently update elements and calculate prefix sums in a table of numbers. It's a 阅读全文
摘要:
1.Problem Quick Union is a useful method to solve the dynamic connectivity problem, which can also be solved by depth first search or breadth first se 阅读全文
摘要:
1. Problem These two algorithm are all used to find a minimum spanning tree for a weighted undirected graph. 2.Kruskal's algorithm 2.1 Pseudocode 2.2 阅读全文
摘要:
一.规格化设计的发展历史 在微软的官网上,我找到了一篇描述规格的文章Specification and Verification of Object Oriented Software,其中说到: A system for specifying, writing, and verifying pro 阅读全文