Решение задач на структурах в «СТРИН»

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

Все задачи сгруппированы следующим образом:

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

Решатели задач реализованы в дополнительных модулях (программных библиотеках). Гибкая система подключения позволяет при необходимости добавлять новые решатели, или создавать инсталляции с ограниченным набором решателей (например, необходимых для проведения курса лабораторных работ).

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

Все решатели можно разделить на три основных вида по типу входных данных:

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

Один и тот же решатель может быть использован для разных целей в разных режимах. Например, решатель для определения изоморфизма графов может:

выдать все изоморфные отображения вершин одной структуры в другую, которые будут показаны «СТРИН» специальным образом;
использоваться для поиска структур, эквивалентных заданному шаблону;
в «Полигоне», выдать информацию о наличии/отсутствии изоморфизма (или о числе изоморфных отображений) различных пар структур для записи в базу данных.

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