Describir: Algoritmické a aplikačné aspekty riešenia úloh o invariantoch grafu