Dominófedések és Hamilton-utak darabszámának pontos kiszámítására vonatkozó optimalizálások