Teorie algoritmů - Úkol č.5

Úloha č. 2 Redukce Ham. kružnice na Ham. cestu

Úloha č. 3 Redukce k-color na SAT, - stačí redukovat 3 barevnost na k barevnost, zde je trochu popsán postup: http://cs.stackexchange.com/questions/7671/how-to-understand-the-reduction-from-3-coloring-problem-to-general-k-coloring