Prendo due copie di $ \displaystyle \mathbb{Z}_n $, in ciascuna copia collego ciascun elemento con il successivo e con il precedente, inoltre collego ciascun elemento della prima copia con il corrispondente e con il successivo della prima copia.
Ottengo un grafo 4-regolare connesso, arbitrariamente grande.
Mettiamo che ho una partizione (A,B) come dici tu. Un triangolo deve stare completamente dentro A o B, altrimenti trovo un vertice che ha due archi che scappano dall'altra parte, e quindi gli restano al massimo due dalla sua, troppo pochi. Ma se ogni triangolo sta completamente in A o in B, da come è fatto il grafo esibito prima si vede subito che uno tra A e B è vuoto.
Ora, se Catraga è ancora vivo (speriamo!) e si ricorda cosa aveva in mente quel lontano sabato sera potrebbe aggiungere qualche altra ipotesi
