Демонстрация результатов решения задач на структурах в «СТРИН»

«СТРИН» предоставляет ряд стандартных средств, позволяющий наглядно продемонстрировать следующие типовые результаты решения задач:

отображения множества вершин одного графа в другой:
- изоморфные отображения;
- отображения изоморфного вложения;
- отображения, определяющие максимальное изоморфное пересечение;
отображения множества вершин одного графа в себя (автоморфизмы);
альтернативные варианты прорисовки;
выделение фрагментов (заданных наборами вершин или рёбер).

Использование стандартных средств показа результата удобно как пользователю (не требуется изучать различные варианты интерфейса), так и программисту, создающему решатель (можно сосредоточить внимание на содержательной части работы – алгоритме).

Демонстрация отображения вершин одного графа в другой
В этом примере показывается одно из 240 изоморфных вложений для пары структур. «СТРИН» самостоятельно определяет тип выданного решателем отображения и его характеристики.

Диалог выбора варианта прорисовки.
В этом окне можно выбрать прорисовку и применить её к исходному графу, либо добавить все полученные варианты прорисовок а базу.

Возможности системы не ограничиваются перечисленными выше средствами. Множество результатов можно показать непосредственно на диаграмме исходного графа – переместить вершины, изменить веса и т.д. Результатом работы многих решателей являются графы, добавляемые в базу (исходную, или новую). Кроме того, решатель может создать новый граф, не связанный с базой.

Решатель создал граф, не добавляя его в базу графов
Решатель, демонстрирующий группу автоморфизмов вершин графа, создал граф Кэли.
Окно журнала работы решателей.

Ещё один способ выдачи информации, который следует упомянуть – «журнал». Это специальное окно, куда заносится информация о работе решателей.
Часть информации заносится в журнал автоматически (какая база открыта, какой решатель запущен и когда, с какими параметрами, сколько времени потребовалось для решения). Остальную информацию записывают в журнал сами решатели. При этом результаты могут быть выданы не только в виде простого текста, но и содержать таблицы и рисунки.
Журнал может быть сохранён в текстовом формате, RTF, HTML.

Помимо журнала, некоторые решатели выдают информацию в описание исходных структур или базы. Такая информация будет храниться в базе графов и не потеряется при завершении сеанса работы с программой.

← Назад | Оглавление | Дальше →