Mestre dos grafos: uma possibilidade educacional baseada no conceito de gamificação para auxílio à aprendizagem da teoria dos grafos