Quantum walks on quotient graphs