Sia un grafico non orientato. Una decomposizione di in sottoinsiemi disgiunti è chiamata decomposizione di Hamilton di se il sottografo indotto da ciascun insieme è o un grafico di Hamilton o è costituito da un singolo bordo con .
Esempio : il grafico bipartito completo possiede una decomposizione di Hamilton se e solo se .
Sto cercando un algoritmo che decida se un determinato grafico possiede una decomposizione di Hamilton. Questo problema decisionale è NP-completo? In caso contrario, come possiamo trovare una tale decomposizione?
Nota : in letteratura una decomposizione di Hamilton indica spesso una decomposizione dei bordi di tale che i sottografi indotti sono Hamilton. Al contrario, sono interessato a una decomposizione dei vertici.