Graph
Graph is finite
3 types
Simple graph
Edge
Subgraph
Full/Induced subgraph
Proper Subgraph
- E’ != E
Complete Graph
- (Kn) (K choose n) n(n-1)/2 edges
Null Graph
Bipartite
Complete Bipartite
Isomorphism
Bijecton
- Surjective Ay in Y, E x in X st f(x) = y
Complement
Degree
- loops counting twice
Isolated vertext
Degree d(v) = 0
Degree sequences
- allowing repetitions
Regular
Degree sum Formula
- graphic if degree sum formula is even
Graphic sequence
Vertex transitive
- for any u and v in V there is an automorphism a of G with a(u) = v
If Graph is vert transitive then also
1) Graph G is regular
2) G simple, Comp Gc is vertex transitive
Walk/Edge sequence