Cycle bases in graphs characterization, algorithms, complexity, and applications.