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