Заглавная страница
Приветствуем вас на страницах «Wiki GRAPP».
«Wiki GRAPP» --- это электронный вики словарь
по теории графов и ее применениям в информатике и программировании.
«Wiki GRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН при частичной финансовой поддержке Российского фонда фундаментальных исследований (грант РФФИ 09-07-00012).
«Wiki GRAPP» базируется на словаре «В.А. Евстигнеев, В.Н. Касьянов. Толковый словарь по теории графов в информатике и программировании. --- Новосибирск: Наука. Сиб.предприятие РАН, 1999. --- 291 с.», и для его реализации используется вики-движок «MediaWiki».
От авторов «Толкового словаря по теории графов в информатике и программировании»
Современное состояние информатики и программирования нельзя представить себе без применения теоретико-графовых методов. Анализ программ, оптимизация, автоматическое распараллеливание, сложные структуры данных, отладка и тестирование, оценка сложности программ, повышение уровня параллелизма в программе --- вот далеко не полный перечень областей применения теоретико-графовых методов в программировании. Сюда же можно добавить такие интенсивно развиваемые в последнее время направления, как проектирование сетей ЭВМ, сетей межпроцессорных связей, маршрутизация при пересылке данных в параллельных компьютерах с распределенной памятью, повышение эффективности работы с памятью, организация больших массивов информации. В теоретическом программировании важную роль играют различные теоретико-графовые модели программ и систем, включая системы переписывания графов и графовые грамматики. Активно используются методы теории графов в САПР при проектировании СБИС, а также в искусственном интеллекте.
Основной проблемой в применении теоретико-графовых методов является проблема терминологии. Выход в свет книг "Применение теории графов в программировании" В.А.Евстигнеева, "Оптимизирующие преобразования программ" В.Н.Касьянова и "Теория графов: алгоритмы обработки деревьев" В.А.Евстигнеева и В.Н.Касьянова высветил эту проблему для авторов достаточно остро. Терминология в теории графов далеко не устоялась, при написании статей требуется терминологическая привязка к одной из существующих на русском языке монографий, что становится все более трудным делом из-за сокращения числа издающихся книг, в том числе переводных, и резкого сокращения их тиража.
При отборе терминов авторы исходили из следующих соображений. В качестве основного было выбрано множество понятий, представленных в монографии "Лекции по теории графов", как наиболее полного и доступного для отечественного читателя издания по теории графов. Затем оно пополнялось терминами из переводных и других отечественных книг по теории графов, а также монографий по информатике и программированию, существенно использующих методы теории графов. Чтобы как-то уменьшить разрыв между терминологией монографий и терминологией, используемой в статьях и не успевшей попасть в монографии, мы включили в словарь термины, встречающиеся в докладах на ежегодной конференции "Graph Theory Concepts in Computer Science" и в статьях, опубликованных в ведущих по данной те матике журналах "Discrete Mathematics", "J. Graph Theory" и др. В последнем случае мы указывали только название журнала при статье, не включая журнал в список литературы в конце словаря.
Литературные ссылки, приводимые в статьях словаря, указывают лишь на источники, где можно более глубоко познакомиться с соответствующими понятиями, и никоим образом не устанавливают приоритетов в создании того или иного термина. Мы ограничивались небольшим набором ссылок, особенно это касалось основополагающих терминов, определяемых практически во всех монографиях.
Авторы отдают себе отчет в постоянно развивающемся теоретико-графовом лексиконе в информатике и программировании и вытекающих отсюда неполноте словаря и возможных расхождениях с терминологией отдельных научных направлений, близких к информатике, например, с терминологией теории сетей связи, исследования операций и ряда других.
Словарь предназначен для широкого круга специалистов, использующих методы теории графов при решении своих задач, и в первую очередь для системных и прикладных программистов, а также для специалистов по САПР, конструкторов СБИС и просто для всех тех, кто переводит современную техническую литературу или готовится стать квалифицированным специалистом, проходя вузовский курс обучения...
