Niech
bedzie multigrafem rzedu n dekomponowalnym na
k
, krawedziowo roz
acznych cykli
Hamiltona. Mówimy wtedy, ze
ma
k-zbiór hamiltonowski
(jesli k=2, to mówimy, ze
ma pare
hamiltonowska). Niech
oznacza liczbe róznych
k-zbiorów hamiltonowskich multigrafu
. Thomasson
udowodnił,
że jesli
, to
. W
referacie zajmiemy sie ograniczeniem górnym na
.
Wykazemy m.in., ze jesli
jest multigrafem rzedu n
to
,
przy czym wartosc maksymalna przyjmowana jest jedynie dla
.
Bedzie tez niespodzianka - pewien dowód z
Ksiegi.