redukcja z grafem (sigReduce)