СЕКЦИЯ 1
Синтез, надежность и контроль управляющих систем, сложность алгоритмов

Заседания 14:30 — 18:30

21 июня

Ю. В. Бородина
(Институт прикладной математики им. М. В. Келдыша РАН, Москва)
Синтез легкотестируемых схем для систем булевых функций из некоторых классов

Е. В. Морозов, Д. С. Романов
(Московский государственный университет им. М. В. Ломоносова, ВМК)
О тестах относительно локальных линейных слипаний входов схем

Д. С. Романов
(Московский государственный университет им. М. В. Ломоносова, ВМК)
О проверяющих тестах относительно перестановок переменных в булевых функциях

Д. С. Романов
(Московский государственный университет им. М. В. Ломоносова, ВМК)
О синтезе схем, допускающих проверяющие тесты константной длины

С. Р. Беджанова
(Московский государственный университет им. М. В. Ломоносова, мехмат)
Полные проверяющие тесты для схем, реализующих дизъюнкцию

Перерыв

Ю. А. Комбаров
(Московский государственный университет им. М. В. Ломоносова, мехмат)
О минимальных реализациях линейных булевых функций схемами из функциональных элементов в некотором базисе

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

С. В. Шалагин
(Казанский государственный технический университет им. А. Н. Туполева)
Сложность обобщенной распределенной полиномиальной модели на базе системы многочленов над конечными полями

А. Р. Нурутдинова, С. В. Шалагин
(Казанский государственный технический университет им. А. Н. Туполева)
Распознавание подклассов марковских автоматов на основе последовательностей состояний конечной длины

Перерыв

А. Д. Яшунский
(Институт прикладной математики им. М. В. Келдыша РАН, Москва)
О скорости сходимости квазигрупповых свёрток распределений вероятностей

А. В. Смирнов
(Ярославский государственный университет им. П. Г. Демидова)
Потоки в кратных сетях специального вида

В. С. Рублев, А. В. Смирнов
(Ярославский государственный университет им. П. Г. Демидова)
NP-полнота задачи о наибольшем кратном потоке

В. С. Рублев, Е. А. Смирнова
(Ярославский государственный университет им. П. Г. Демидова)
Оптимизация вычислений объектных запросов системы управления данными DIM

22 июня

А. Е. Шиганов
(ООО Нангейт, Москва)
Некоторые оценки сложности двоичных решающих диаграмм

М. С. Шуплецов
(Московский государственный университет им. М. В. Ломоносова, ВМК)
О сложности реализации предикатов из некоторых классов предикатными схемами

С. А. Ложкин, Б. Р. Данилов
(Московский государственный университет им. М. В. Ломоносова, ВМК)
Поведение функции Шеннона для задержки в одной модели схем из функциональных элементов

Перерыв

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

Н. В. Власов
(Московский государственный университет им. М. В. Ломоносова, ВМК)
О сложности мультиплексорной функции в классе формул

А. Ю. Улесова
(Московский государственный университет им. М. В. Ломоносова, ВМК)
О сложности односторонних клеточных схем фиксированной высоты с кратными входами

Перерыв

О. Ю. Барсукова
(Пензенский государственный университет)
О надежности и сложности сумматора порядка n

М. А. Алехина, Д. М. Клянчина
(Пензенский государственный университет)
Об асимптотически оптимальных по надежности схемах в базисах, содержащих существенную линейную функцию и функцию вида x_1^a \mathop {\&} x_2^b

М. А. Алехина, С. М. Грабовская
(Пензенский государственный университет)
О методах повышения надежности схем и неветвящихся программ

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

24 июня

О. А. Садовников
(Московский государственный университет им. М. В. Ломоносова, ВМК)
Уточненные оценки функции Шеннона в некоторых базисах схем из функциональных элементов, вложенных в единичный куб

В. В. Слободской
(Нижегородский государственный университет им. Н. И. Лобачевского)
Моделирование работы ациклического алгоритма на многопроцессорной вычислительной системе

Я. Ю. Сафонова
(Нижегородский государственный университет им. Н. И. Лобачевского)
Использование графовых моделей при распараллеливании метода Холецкого для решения разреженных симметричных СЛАУ

Р. Г. Мубаракзянов
(Казанский (Приволжский) федеральный университет)
О сложности некоторых функций для вероятностных вычислений