palavras-chave Conjctura de Aharoni-Hartman-Hoffman Conjectura de Linial coloração em grafos decomposição em caminhos teoria dos grafos