H <_P H_d. Po prostu dla każdej nieskierowanej krawędzi \{v_1, v_2\} z grafu H, do grafu H_d dodajemy dwie skierowane krawędzie <v_1, v_2> i <v_2, v_1>.
H_d <_P H. Dla każdego wierzchołka v z H_d, do H dodajemy wierzchołki v, v_{in} i v_{out}.
Dla każdej skierowanej krawędzi <w, v> z H_d dodajemy do H nieskierowane krawędzie \{w_{out}, v_{in}\}.
Dlaczego jeden wierzchołek reprezentujemy trzema, a nie dwoma? Bo inaczej nie moglibyśmy pamiętać pętelek <v, v>.
