Proving breath first traversal on graphs
126499
Proofing a Reachable Node Algorithm for Graphs
145718
Proving that A connected graph on $n$ vertices is a tree iff it has $n-1$ edges
49193
Constructing a graph from a degree sequence
131132
Proofs using vector properties
113680
Finding intersection of two graphs
123626
Prove that even $n$ can be partitioned to $\frac n2$ edges
118189
Proving the pairing axiom from the rest of ZF
127965
Graph theory (Graph Connectivity)
99781
Proof that any simple connected graph has at least 2 non-cut vertices.
33822
Is there a monoid structure on the set of paths of a graph?
141529
Proving existence of a minimum
152921
Proving that Unit Intersection is NP-complete
89255
Last vertex visited by the symmetric random walk on a discrete circle
27661
The closed graph theorem in topology
91253
Proving that every graph that each vertex at degree 2 must contain a cycle
41726
Musical and combinatorial proof
123103
Prove recursive formula for number of spanning trees in complete graph.