def of mixing times, solutions to problems