Об устранении топологических вырождений в системах эволюционных дифференциальных уравйений

Рассматривается задача об устранении топологических вырождений в системах эволюционных дифференциальных уравнений, не разрешенных относительно производных по времени. Она состоит в определении минимального набора дифференцирований уравнений системы, достаточных для устранения ее топологической вырожденности. Задача формулируется в терминах теории графов. Предлагается эффективный алгоритм ее решения с оценкой $O(pm\log m)$, где $p$ – число ребер, $m$ – число вершин в терм-графе системы уравнений.