a digraph representation, extreme points in digraphs and their applications in cycle detection and connectivity checking