Статья: О МАШИННОМ РЕШЕНИИ ЗАДАЧ В АЛГЕБРЕ ГРАФОВ

В статье обсуждается методика использования пакета математических символьных вычислений Maple при изучении вузовского курса «Теория графов». Рассматриваются особенности применения подпакета with (GraphTheory). Показана методика компьютерного исследования и нахождения основных параметров графа. Отмечено, что при машинном решении задачи об изоморфизме двух графов можно использовать, кроме команд подпакета with (GraphTheory), команды подпакета with (LinearAlgebra). При проверке, изоморфны два графа или нет, естественным образом возникают вопросы об устройстве графа, его параметров, сохраняющихся при изоморфизме. Окончательная проверка связи матриц сопряженности проверяемых графов проводится лишь после удачно прошедших проверку неполных инвариантов графов.