New analysis tool for graphs

The variable incidence set of a graph is defined and its usefulness demonstrated in reducing a graph by identifying specified vertices and removing self loops, testing for connectedness, and generating specified segs, cosegs and cutsets.