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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Доклады на спецсеминарах)
м (→‎Доклады на спецсеминарах)
 
(не показаны 14 промежуточные версии 3 участников)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
−
 
+
<!--
−
{{announce Seminar| 29 ноября 2019 г.
+
{{announce Seminar | 6 ноября 2020
−
|'''Нижние оценки на схемную сложность: открытые задачи'''.  
+
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
−
Аннотация доклада. Чтобы доказать, что классы сложности P и NP не совпадают, достаточно доказать суперполиномиальную нижнюю оценку на булеву сложность какой-нибудь функции из класса NP. На данный момент мы очень далеки от этой цели: мы не умеем доказывать даже нижнюю оценку 4n. Ещё более печально то, что и методов доказательства нижних оценок на схемную сложность известно мало. В докладе мы рассмотрим несколько подходов,
+
Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским
−
которые потенциально могут привести к усилению известных нижних оценок на сложность схем без ограничений (на глубину, базис или исходящую степень).
+
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
−
| Куликов А.С. (Санкт-Петербургский государственный университет)}}
+
| '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}}
−
 
+
-->
−
|-
+
−
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
+
−
 
+
−
{{announce Seminar| 27 сентября 2019 г.
+
−
|'''A survey on temporal logics for specifying and verifying real-time systems''' (S. Konur).  
+
−
Обзорная статья, посвящённая сравнению выразительных возможностей и задачам разрешимости для различных темпоральных логик. Существуют две основные семантики для моделирования времени: точечная и интервальная семантика. На семинаре будут рассмотрены выразительные возможности, разрешимость и вычислительная сложность двух задач, связанные с применением темпоральных логик в информатике - проверка выполнимости формул и задача Model Checking, - для нескольких темпоральных логик, основанных на точечной семантике.
+
−
| Винарский Е.М. (МГУ имени М.В. Ломоносова, ф-т ВМК)}}
+
  
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
−
{{announce Seminar|
+
{{announce Seminar|  
 
|  
 
|  
 
| }}
 
| }}
  
 
|-
 
|-
−
|colspan="3"|'''[[Дискретный анализ]]'''
+
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
 
{{announce Seminar|  
 
{{announce Seminar|  
−
|
 
−
| }}
 
−
 
−
|-
 
−
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
 
−
{{announce Seminar| 22 ноября 2019 г.
 
−
| Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016)
 
−
| Купраш Екатерина (418 гр.)
 
−
 
 
|  
 
|  
 
| }}
 
| }}
Строка 40: Строка 24:
 
|-
 
|-
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
−
{{announce Seminar| 18 октября 2019 г.
+
{{announce Seminar|  
−
| '''Простой алгоритм для мальцевских ограничений'''. В докладе рассматривается полиномиальный алгоритм проверки выполнимости системы ограничений, удовлетворяющих некоторой мальцевской операции. Доклад по статье: Bulatov A., Dalmau V. A simple algorithm for Mal'tsev constraints // SIAM J. Computing. 2006.
+
|  
−
| Мартынов Петр (318 гр.)
+
 
| }}
 
| }}
 
   
 
   
Строка 48: Строка 31:
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
{{announce Seminar|  
 
{{announce Seminar|  
−
|
+
|  
 
| }}
 
| }}
−
 
−
 
−
<!--
 
−
|-
 
−
|colspan="3"|'''[[Просеминар для 2-го курса]]'''
 
−
{{announce Seminar||| }}
 
−
-->
 
 
|}
 
|}

Текущая версия на 23:04, 13 апреля 2022

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Теория управляющих систем и математические модели СБИС
Сложность решения дискретных задач
Теоретические проблемы программирования
Источник — «https://mk.cs.msu.ru/index.php?title=Шаблон:Current_Seminars&oldid=9113»