Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 35: Строка 35:
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
{{announce Seminar| 1 марта 2019 г.
 
{{announce Seminar| 1 марта 2019 г.
| '''Оптимальный алгоритм для k-согласованности системы предикатов'''. В докладе рассматривается оптимальный алгоритм приведения произвольной системы предикатов к k-согласованной с сохранением множества решений. Доклад по статье: Cooper M.C. An optimal k-consistency algorithm // Artificial Intelligence. 1989. V. 41. P. 89-95.
+
| '''Оптимальный алгоритм для k-согласованности системы предикатов'''. В докладе рассматривается оптимальный алгоритм приведения произвольной системы предикатов к k-согласованной с сохранением множества решений. Доклад по статье: Cooper M.C. An optimal k-consistency algorithm // Artificial Intelligence. 1989.  
 
| Лобанов Алексей (418 гр.)
 
| Лобанов Алексей (418 гр.)
 
|}}
 
|}}

Версия 13:09, 1 марта 2019

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
12 октября Нижняя оценка энергопотребления для одного класса объёмных схем Ефимов А.А.
28 сентября Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».Аннотация доклада Мальцев А.Н.
21 сентября Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада Хзмалян Д.Э.


Сложность решения дискретных задач
1 марта 2019 г. Оптимальный алгоритм для k-согласованности системы предикатов. В докладе рассматривается оптимальный алгоритм приведения произвольной системы предикатов к k-согласованной с сохранением множества решений. Доклад по статье: Cooper M.C. An optimal k-consistency algorithm // Artificial Intelligence. 1989. Лобанов Алексей (418 гр.)


Теоретические проблемы программирования
30 ноября 2018 г.


Доклад по статье

A method for proving observational equivalence

(V. Cortier, S. Delaune)

В статье рассматривается прикладное pi-исчисление и показано, что для определенных процессов эквивалентность по наблюдениям (observational equivalence) фактически совпадает с трассовой эквивалентностью (trace equivalence). Выделен обширный класс детерминированных процессов, называемых простыми процессами, которые охватывают большинство существующих протоколов и криптографические примитивы. Показано, что для простых процессов без репликации или ветвления разрешимость эквивалентности трассировки сводится к разрешимости отношения эквивалентности, введенного М. Боде. В совокупности это дает первый результат о разрешимости эквивалентности по наблюдениям для общего класса эквациональных теорий.

Аббас Марат (518 гр.)