reducible graph