graph invariant