Algebraic graph theory in the analysis of frequency assignment problems