Report: add two definition for k-connected graph