Главная страница Конференции

СЕДЬМОЙ МЕЖДУНАРОДНЫЙ СЕМИНАР
ДИСКРЕТНАЯ МАТЕМАТИКА И ЕЕ ПРИЛОЖЕНИЯ

С 29 января по 2 февраля 2001 г. на механико-математическом факультете МГУ проходил VII Международный семинар "Дискретная математика и ее приложения". Семинар собрал более 220 участников. Было сделано 12 пленарных и 162 секционных доклада. На семинаре работало семь секций:
Синтез, сложность и надежность управляющих систем, руководитель - О. Б. Лупанов,
Теория функциональных систем руководитель - В. Б. Алексеев,
Математическая теория интеллектуальных систем, руководитель - В. Б. Кудрявцев,
Теория графов, руководитель - А. А. Сапоженко,
Теория кодирования и математические вопросы криптографии, руководитель - В. М. Сидельников,
Дискретная геометрия, руководитель - С. С. Рышков,
Комбинаторный анализ, руководитель - К. А. Рыбников.

Материалы семинара опубликованы в трех книгах, вышедших в издательстве центра прикладных исследований при механико-математическом факультете МГУ (Содержание).

ПЛЕНАРНЫЕ ДОКЛАДЫ

1. В. Б. Алексеев (Москва)
Некоторые результаты в теории дискретных функций

2. Д. Н. Бабин (Москва)
Классификация автоматных базисов Поста по разрешимости свойства полноты

3. Н. П. Варновский (Москва)
Псевдослучайные генераторы для класса LOGSPASE

4. Э. Э. Гасанов (Москва)
Информационно-графовая модель данных

5. Н. П. Долбилин (Москва)
Локальные методы в теории правильных разбиений

6. С. А. Малюгин (Новосибирск)
О несистематических совершенных кодах

7. А. А. Махнев (Екатеринбург)
Конечные геометрии и их графы

8. М. Ю. Мошков (Нижний Новгород)
О преобразовании систем решающих правил в деревья решений

9. А. Я. Петренюк (Кировоград, Украина)
Древесные факторизации полных графов: существование, построение, перечисление

10. А. А. Сапоженко (Москва)
Независимые множества в графах и множества, свободные от сумм, в абелевых группах

11. С. В. Севастьянов (Новосибирск)
Многопараметрический анализ сложности дискретных задач

12. А. В. Чашкин (Москва)
О локальной сложности булевых функций

Синтез, сложность и надежность управляющих систем
Руководитель - О. Б. Лупанов

1. Ф. М. Аблаев, А. Ф. Гайнутдинова (Казань)
О представлении функций в квантовых бинарных программах

2. В. Б. Алексеев (Москва)
О нижних оценках в методе полилинейных форм

3. М. А. Алехина (Пенза)
Верхние оценки ненадежности схем при однотипных константных неисправностях на входах элементов

4. Т. Бергер (Итака, США), В. И. Левенштейн (Москва)
Восстановление двоичных векторов с помощью двухэтапного дизъюнктивного тестирования

5. И. А. Бугаков (Серпухов)
Концепция построения сложных технических систем, функционирующих в условиях экстремальных воздействий

6. О. О. Варламов (Москва)
Проблема создания системы адаптивного синтеза информационно-вычислительных конфигураций

7. А. А. Гришкевич (Челябинск)
Формирование трехэлементных сечений из элементов с тремя состояниями

8. В. М. Захаров, Ш. Р. Нурутдинов, С. В. Шалагин (Казань)
Построение модели умножителя в поле Галуа на базе программируемых матриц логических элементов

9. Н. К. Косовский, М. А. Опара (Санкт-Петербург)
Сложность разрешения многоагентных логик с ограниченным числом ранжированных объектов.

10. В. В. Кочергин (Москва)
Об одном обобщении задачи об аддитивных цепочках

11. Р. Х. Латыпов (Казань)
Задача минимизации потребления энергии при тестировании схем

12. С. А. Ложкин (Москва)
Оценки высокой степени точности для сложности реализации функций алгебры логики некоторыми видами бинарных программ

13. А. М. Мошкова (Нижний Новгород)
О диагностике расширений класса константных неисправностей схем из функциональных элементов

14. В. А. Мощенский (Минск)
Алгоритм учета в методе нитей

15 Н. Н. Нурмеев (Казань)
О сложности рациональных алгебр Бернулли

16 В. А. Орлов (Москва)
О сложности схем в многозначных базисах

17 М. А. Федоткин (Нижний Новгород)
Профилактика и надежность управляющей системы

18. И. Ф. Чебурахин (Москва)
О некоторых классах булевых функций одной глубины.

19. О. В. Черемисин (Москва)
О мощности схем из клеточных элементов, реализующих систему всех конъюнкций

20. Д. Ю. Черухин (Москва)
Нижние оценки сложности коммутационных сетей

21. Я. А. Шарифов (Баку)
Оптимальное управление нелинейными импульсными системами

22. В. И. Шевченко (Нижний Новгород)
О сложности поиска элементарных немонотонных замыканий в схемах из функциональных элементов

23. Л. А. Шоломов (Москва)
Разделительная декомпозиция порядковых отношений в задачах выбора.

Теория функциональных систем
Руководитель - В. Б. Алексеев

1. С. Ф. Винокуров (Иркутск)
Некоторые полиномиальные представления булевых функций

2. В. А. Захаров (Москва)
О проблеме эквивалентности операторных программ на одном классе уравновешенных шкал

3. Т. М. Косовская (Санкт-Петербург)
Двумерная геометрия на экране дисплея

4. А. В. Макаров (Москва)
Алгоритм распознавания гомоморфности функциональных систем

5. Д. Г. Мещанинов (Москва)
О бесконечных цепях замкнутых классов в Pk, содержащих все линейные функции

6. Е. А. Михеева (Ульяновск)
К вопросу функциональной полноты в P3

7. Н. Г. Парватов (Томск)
О полноте в классе квазимонотонных функций на конечных полурешетках

8. И. Г. Перфильева (Острава)
Нечеткая логика и теория аппроксимации

9. А. Г. Пинус (Новосибирск)
Программно-вычислимые функции на универсальных алгебрах

10. С. В. Попов (Москва)
Операционная семантика логических формул

11. С. Н. Селезнева (Москва)
О некоторых свойствах многочленов над конечными полями

12. В. Д. Соловьев (Казань)
Автоморфизмы структуры замкнутых классов k-значной логики

13. В. В. Тарасов (Рязань)
О расширениях в вероятностной алгебре логики некоторых классов Поста

14. В. П. Тарасова (Москва)
Оптимальный поиск для специальных расширений классов функций

15. Р. В. Хелемендик (Москва)
О синтезе игровых программ

16. А. В. Черемушкин (Москва)
Декомпозиция сильнозависимых функций

17. А. Н. Черепов (Смоленск)
Предполные классы в Pk как классы сохранения оснований

18. А. Н. Черепов (Смоленск), И. А. Черепов (Москва)
Классы сохранения оснований и соответствие Галуа в многозначных логиках

19. И. А. Черепов (Москва)
Один способ описания замкнутых классов в P2

Математическая теория интеллектуальных систем
Руководитель - В. Б. Кудрявцев

1. А. К. Бакиров, А. И. Белоусов, А. А. Кирильченко, М. А. Колганов (Москва)
Теоретические основы и численное моделирование алгоритмов управления распределенными мобильными системами

2. Д. Б. Буй (Киев)
Теорема о неподвижной точке: решение систем уравнений в индуктивных множествах

3. А. В. Будин (Санкт-Петербург)
Применение теории автоматов для анализа нейронных сетей

4. С. И. Веселов, Н. Ю. Золотых (Нижний Новгород)
Идентификация геметрических образов на целочисленной решетке

5. А. В. Голованов (Москва)
Об обходе лабиринтов "красящими" автоматами

6. Н. В. Евтушенко (Томск)
Решение автоматных уравнений

7. Я. В. Калинин (Москва)
О порядке группового автомата

8. И. Б. Куфарева (Томск)
Исследование отношений в алгебре конечных автоматов

9. Е. Е. Лазарева (Москва)
Алгоритмы поиска ответов на вопросы о временных соотношениях, базирующиеся на подходе Аллена-Плесневича

10. К. В. Ларин (Москва)
Об одном алгоритме сжатия данных

11. И. Л. Мазуренко (Москва)
Метрика на множестве вероятностных автоматов

12. М. М. Мельников (Пенза)
Проблемы проектирования систем инвариантного распознавания изображений

13. А. А. Мельникова (Димитровград)
Базисные конечные автоматы Рабина-Скотта

14. А. А. Морозов, Ю. В. Обухов (Москва)
О проблеме логического программирования интеллектуальных агентов Интернет

15. В. А. Носов (Москва)
Построение классов латинских квадратов в векторной базе данных

16. М. В. Носов (Москва)
Нижняя оценка числа полиномиально отделимых функций

17. А. Е. Панкратьев (Москва)
О свойствах графа гиперболического произведения групп

18. С. А. Прокопенко (Томск)
Минимизация проверяющих тестов для компоненты автоматной сети

19. С. Б. Родин (Москва)
Переходная система с максимальной вариантностью относительно кодирования состояний

20. М. И. Рожков (Москва)
К задаче оптимального выбора

21. В. С. Рублев (Ярославль)
Потоковый алгоритм целочисленного сбалансирования матрицы

22. С. И. Сергеев (Москва)
Новые нижние границы для трипланарной задачи назначения

23. Д. А. Силаев, А. Л. Васнев, Г. Я. Лоpан (Москва)
Численные методы для неклассической системы уравнений пограничного слоя

24. А. К. Смирнов (Саратов)
Методы управления жизненными циклами сложных систем

25. А. А. Сытник, Т. Э. Шульга (Саратов)
Задачи анализа и синтеза универсального автомата-перечислителя

26. В. А. Твердохлебов (Саратов)
Универсальные тесты для дискретных систем с памятью.

27. В. А. Фомичев (Москва)
Теория K-исчислений как универсальная формальная метаграмматика для описания содержания посланий компьютерных интеллектуальных агентов

28. А. Б. Холоденко (Москва)
Об обработке текстов естественного языка

29. А. А. Часовских (Москва)
Об A-выразимости в классе линейных автоматов

30. И. А. Чижова (Москва)
Принцип функционирования блоков в программной среде SPRING

31. С. В. Шалагин (Казань)
Классификация стохастических эргодических матриц методами многомерного анализа

32. С. Ю. Шацких (Серпухов)
Разработка средств защиты от программных закладок на основе идентификации клавиатурного почерка

Теория графов
Руководитель - А. А. Сапоженко

1. В. А. Воблый (Москва)
О перечислении помеченных (2,4)-бирегулярных графов

2. А. А. Вороненко (Москва)
Раскраски и нижние оценки числа функций, сохраняющих близость

3. И. И. Иванчик (Москва)
Параметризация корневых помеченных деревьеви связных графов Калмыкова

4. М. А. Иорданский (Нижний Новгород)
Структура и способы порождения замкнутых классов графов

5. В. В. Кабанов (Екатеринбург)
Характеризация одного класса реберных графов

6. Г. И. Калмыков (Москва)
Каркасная классификация помеченных блоков

7. Д. В. Карпов (Санкт-Петербург)
Оценки количества висячих вершин в остовном дереве связного графа

8. В. П. Козырев (Москва)
Нахождение остовных деревьев с ограниченной стоимостью

9. В. П. Коржик (Черновцы)
О числе неизоморфных треугольных ориентируемых вложений полных графов

10. А. Д. Коршунов (Новосибирск)
При каких k в почти всех n-вершинных графах содержатся все k-вершинные подграфы

11. К. В. Малиновский (Челябинск)
Целочисленность оптимального решения релаксированной задачи Вебера для дерева

12. В. Л. Миронов (Москва)
Хроматическая единственность графов

13. Т. А. Панюкова (Челябинск)
Построение эйлеровых циклов специального вида в планарном графе

14. А. В. Пастор (Санкт-Петербург)
Об удалении ребер из k-связного графа без потери k-связности

15. А. Л. Пережогин, В. Н. Потапов (Новосибирск)
О числе гамильтоновых циклов в гиперкубе

16. Л. П. Петренюк (Кировоград)
Перечисления циклических разложений графа на барвинки

17. В. К. Присакару (Кишинев)
К вопросу о ко-совершенстве гиперграфов

18. А. Н. Тимашев (Москва)
Случайные отображения конечных множеств с известным числом компонент

19. В. К. Титов (Москва)
Аксиоматический подход в теории графов

20. А. В. Угланов (Ярославль)
Об асимтотической длине одного случайного графа

Теория кодирования и математические вопросы криптографии
Руководитель - В. М. Сидельников

1. В. М. Амербаев, Ю. И. Кожухова (Москва)
Китайская теорема об остатках и ранцевая система элементов

2. И. М. Арбеков (Москва)
Применение кодов, корректирующих ошибки, в квантовых криптографических схемах

3. В. С. Бельский, А. А. Сальников (Москва)
Построение кубических бент-функций

4. А. Н. Велигура (Москва)
Системы линейных неравенств, задающих выпуклые оболочки двоичных кодов.

5. М. М. Глухов-мл. (Москва)
О кодах Гоппы на кривой

6. А. Я. Дорофеев (Москва)
Оценка количества целых чисел без больших простых и примарных делителей

7. Л. П. Жильцова (Нижний Новгород)
Об обобщении результатов Шеннона на стохастические контекстно-свободные языки

8. Д. О. Киселев (Москва)
Факторизация и дискретное логарифмирование

9. О. А. Логачев, А. А. Сальников, В. В. Ященко (Москва)
Нормальная форма отображений конечных абелевых групп

10. О. А. Логачев, А. А. Сальников, В. В. Ященко (Москва)
Оценки некоторых параметров отображений конечных абелевых групп

11. О. А. Логачев, А. А. Сальников, В. В. Ященко (Москва)
Эквивалентности многочленов и оценки тригонометрических сумм

12. М. А. Пудовкина (Москва)
Метод восстановления начального состояния обобщенной криптосистемы ISAAC

13. М. И. Рожков (Москва)
Об одном подходе к оценке длины периода нелинейной рекуррентной последовательности над конечным полем

14. А. Ю. Серебряков (Москва)
О теореме МакВильямс для орбитных кодов

15. В. М. Сидельников (Москва)
Об одном классе ортогональных многочленов, связанных с символами Лежандра

16. Ю. В. Таранников (Москва)
Об автокорреляционных свойствах корреляционно-иммунных функций

17. Н. А. Филиппов (Киров)
Мультипликативные системы счисления и технические целочисленные логарифмы, аналоговая криптография

Дискретная геометрия
Руководитель - С. С. Рышков

1. М. М. Анзин (Москва), Каишев А. И. (Переславль-Залесский)
Вычисление окрестности Вороного второй совершенной формы

2. М. Б. Банару (Смоленск)
О спектрах некоторых тензоров 6-мерных уплощающихся эрмитовых подмногообразий алгебры Кэли

3. Р. Г. Барыкинский (Москва)
W-разбиение, его связь с совершенным полиэдром Рышкова и образованием совершенных форм

4. Н. М. Глазунов (Киев)
Об алгебраических кривых над конечными полями, простарнствах модулей и дзета-функциях

5. П. А. Гордиенко (Нижний Новгород)
Быстрые алгоритмы вычисления групп гомологий и их базисов

6. В. П. Гришухин (Москва)
Описание L-разбиений некоторых решеток

7. Д. В. Груздев (Нижний Новгород)
Описание множеств f-векторов триангуляций 4-мерного куба, распределений объема 4-мерного куба по симплексам его триангуляций и их взаимосвязи

8. Ф. Л. Дамиан (Молдова)
Подмногообразия и симметрия гиперболических многообразий (n=3,4,5)

9. Г. А. Карпунин (Москва)
Минимальные сети на правильном n-мерном симплексе

10. О. М. Касим-Заде (Москва)
О минимальных разбиениях плоских прямоугольников на квадраты

11. В. А. Касимов (Баку)
Эффективные асимптотические действия и главные расслоения

12. М. Д. Ковалев (Москва)
Некоторые свойства рычажных отображений

13. Я. В. Кучериненко (Москва)
О взаимной ориентации двух фигур в 3-мерном евклидовом пространстве

14. В. С. Макаров (Москва)
О линзовых многогранниках

15. П. В. Макаров (Москва)
Об одной счетной серии кристаллографических разбиений 5-мерного пространства Лобачевского.

16. А. А. Ордин (Москва)
Обобщенное барицентрическое разбиение треугольника и полугруппы мебиусовых преобразований.

17. В. Н. Шевченко (Нижний Новгород)
Жорданова форма матрицы инциденций булеана

18. С. C. Рышков (Москва)
Коренные (базисные) параллелоэдры и граничные лучи второго разбиения Вороного

19. Р. М. Эрдал (Канада)
Дайсинги и параллелоэдры

Комбинаторный анализ
Руководитель - К. А. Рыбников

1. С. Л. Берлов (Санкт-Петербург), В. Л. Дольников (Ярославль), Д. В. Карпов (Санкт-Петербург)
Некоторые обобщения теоремы Кенига и Вильфа-Секереш

2. Л. Н. Бондаренко (Пенза)
Перманенты и "аддитивные" задачи перечисления перестановок

3. Т. А. Бурдюк (Днепропетровск)
Упорядочение транспортных потоков

4. А. О. Воробьев, О. Ю. Воробьев (Красноярск)
Генерация случайного конечного множества

5. Н. С. Григорьева (С.-Петербург)
Алгоритм построения расписаний для многопроцессорной системы

6. М. Е. Деза (Париж, Франция)
Гране-регулярные полиэдры и тайлинги

7. С. И. Дзюбко (Москва)
Обобщенные конструкции разбиения и некоторые их приложения

8. В. А. Емеличев, А. М. Леонович (Минск)
Мера чувствительности множества Парето в векторной -экстремальной задаче

9. В. А. Емеличев, В. Г. Похилько (Минск)
О сильной квазиустойчивости векторной линейной задачи на множестве подстановок

10. В. А. Емеличев, Ю. В. Степанишина (Минск)
Об устойчивости векторных комбинаторных задач с мажоритарным принципом оптимальности

11. А. В. Ефимов (Ярославль) О решении полудискретных экстремальных задач

12. И. Д. Кан (Москва)
Проблема Фробениуса и функциональная оптимизация

13. Д. И. Коган (Нижний Новгород)
Синтез экстремальных коалиционно устойчивых решений в задаче простого обмена групповой структуры

14. Д. И. Коган, Ю. С. Федосенко (Нижний Новгород)
Экстремальные задачи однофазного обслуживания детерминированного потока заявок

15. Н. А. Колокольникова (Иркутск)
Цепи Маркова с двумя состояниями и комбинаторные числа

16. Л. М. Коганов (Москва)
Об одном вопросе Р.И. Григорчука и связанных с ним задачах

17. В. М. Котов (Минск)
Semi-on-line алгоритм для задачи разбиения

18. М. К. Кравцов, Е. В. Лукшин, В. М. Кравцов (Минск)
Характеризация нецелочисленных вершин многогранника трехиндексной аксиальной задачи о назначениях

19. А. С. Кузичев (Москва)
Дискретно-комбинаторные методы в основаниях математики

20 О. В. Кузьмин (Иркутск)
Полиномы разбиений в обобщенной пирамиде Паскаля

21. О. В. Кузьмин, О. В. Леонова (Иркутск)
Некоторые свойства полиномов Тушара

22. А. А. Лазарев, А. Г. Кварацхелия (Казань)
Стохастическое исследование методов ветвей и границ для NP-трудной задачи теории расписаний минимизации суммарного запаздывания для одного прибора

23. А. А. Лазарев, Р. Р. Садыков (Казань)
Эффективность полиномиального алгоритма O(n3log n) для решения NP-трудной проблемы теории расписаний минимизации максимального временного смещения

24. И. И. Меламед (Москва)
Бикритериальные задачи комбинаторной оптимизации MINSUM-MINSUM критериями

25. В. Е. Маренич (Мурманск)
Свойства отношения сопряжения функций инцидентности

26. Е. Е. Маренич (Мурманск)
Максимальные R-антицепи в дистрибутивных решетках

27. Ю. В. Никулин (Минск)
Анализ чувствительности векторных лексикографических задач квадратичного булева программирования

28. Р. А. Оганян (Москва)
Линейные диофантовы уравнения с двухсторонними ограничениями

29. А. В. Пашкевич (Минск)
Векторные дискретные задачи: параметризация принципа оптимальности и условия разрешимости в классе алгоритмов линейной свертки критериев

30. А. М. Ревякин (Москва)
Характеризация геометрических (матроидных) решеток с помощью функций Мебиуса

31. Б. И. Селиванов (Москва)
Об одном классе условных распределений для случайных размещений частиц в двухмерной таблице

32. Б. С. Стечкин (Москва)
Некоторые элементарные свойства простых чисел (геометрические наблюдения)

Открытие семинара. Вступительное слово О.Б. Лупанова Открытие семинара Доклад Алексеева

Информационное письмо


Главная страница Конференции