Синтез оптимальных структур данных для решения задач на графах