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

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

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

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

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

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

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

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

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

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


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

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