Added file with invariants for graph theory