About whether perfect matching exists for a graph：Hall_s Theorem Reference A Second Course in Algorithms
