No sé si estoy entendiendo algo mal, pero yo diría que el número mínimo de aristas que puede tener un grafo de \[ 12 \] vértices con un ciclo Hamiltoniano es \[ 12 \]. Piensa en el grafo que forma un polígono de \[ 12 \] lados (y \[ 12 \] vértices). Este grafo tiene claramente un ciclo Hamiltoniano.
Tampoco tengo claro de dónde has sacado esa fórmula ni qué representa.