В задаче необходимо организовать следующую систему. Есть некий
набор элементов, организованный в иерархию категорий на основе
ациклического орграфа (не дерева). Есть некий набор запросов к этим
элементам, при этом в запросе может использоваться категория, а не сам
элемент.
Основное задание - написать запорс, который пытается проверить, можно
ли удовлетворить все эти запросы.