Задача 44. Пусть задан логический фрагмент Ф, в котором нет циклов. Пару вершин а, b в Ф назовем близнецами, если их пометки совпадают и (в случае, когда а и 6 - невисячие вершины, а а+, а- и b+, b- - вершины, к которым ведут плюс- и минус-стрелки от а к b соответственно) вершины а+, а-, а также b+ , b- - близнецы. Определить, есть ли в Ф хотя бы одна пара близнецов.
|