ГлавнаяНовостиПрограммные продуктыИнформацияПубликацииДля контактов

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

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

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

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

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

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

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

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

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

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


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

© 1998-2005 В.А. Кохов, С.В. Ткаченко, А.А. Незнанов. Все права защищены.