Data Stucture
Igraph
Model Checking Lecture 4. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking.
CSE 373 Data Structures and Algorithms Lecture 20: Graphs II.
Implementing a Graph Implement a graph in three ways: –Adjacency List –Adjacency-Matrix –Pointers/memory for each node (actually a form of adjacency list)
Map-Reduce Graph Processing Adapted from UMD Jimmy Lin’s slides, which is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United.
lecture 17
Structural trend analysis for online social networks
Graphs
Testing Forest-Isomorphismin the Adjacency List Model
08. graph traversal
Lecture19