Логический подход к комбинаторным вычислениям

На основе предлагаемого языка описания структур данных формализуются основные понятия комбинаторных вычислений, такие, как «задача», «алгоритм решения задачи». Получено условие на совокупность операций, которые должен выполнить алгоритм, решающий задачу. Для демонстрации применимости этого условия доказана оптимальность алгоритма Дейкстры поиска кратчайших путей между двумя вершинами на графе.