|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
The proof of CSP Dichotomy Conjecture for 5-element domainдоклад на конференции
- Автор: Zhuk D.
- Международная Конференция : AAA91 91th Workshop on General Algebra, Brno, Czech Republic, Feb 5, 2016 - Feb 7, 2016
- Даты проведения конференции: 5-7 февраля 2016
- Дата доклада: 6 февраля 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Brno, Czech Republic
-
Аннотация доклада:
We present the proof of Constraint Satisfaction Problem (CSP) Dichotomy Conjecture for 5-element domain. Precisely, we prove the remaining part of this conjecture showing that a CSP instance can be solved in polynomial time if all constraints are preserved by a Weak Near-Unanimity operation.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Жук Дмитрий Николаевич