properties function

Graph properties summary and graph decomposition