ИСТИНА

Жук Дмитрий Николаевич пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем, старший научный сотрудник, с 1 октября 2009

кандидат физико-математических наук с 2010 года

Соавторы: Моисеев С.В., Присмотров Ю.Н., Vargas-García E., Behrisch M., Kerkhoff S., Catarina C., Barnaby M.

27 статей, 1 книга, 30 докладов на конференциях, 4 НИР, 1 награда, 4 дипломные работы, 4 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 19, Scopus: 31

IstinaResearcherID (IRID): 2597470

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

• Статьи в журналах

  • • 2018 The Number of Clones Determined by Disjunctions of Unary Relations
    • Behrisch Mike, Vargas-García Edith, Zhuk Dmitriy
    • в журнале Theory of Computing Systems, издательство Springer Verlag (Germany) DOI
  • 
    • 2017 Key (critical) relations preserved by a weak near-unanimity function
    • Zhuk D.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 77, № 2, с. 191-235 DOI
  • 
    • 2014 The existence of a near-unanimity function is decidable
    • Zhuk D.N.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 71, № 1, с. 31-54 DOI
  • 
    • 2014 The generation of clones with majority operations
    • Kerkhoff S., Zhuk D.N.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 72, № 1, с. 71-80 DOI
  • 
    • 2014 The lattice of the clones of self-dual functions in three-valued logic
    • Zhuk D.
    • в журнале Journal of Multiple-Valued Logic and Soft Computing, издательство Old City Publishing, Inc. (United States), том 24, № 1-4, с. 251-316
  • • 2013 Решетка замкнутых классов самодвойственных функций трехзначной логики
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 17, № 1-4, с. 302-309
  • 
    • 2012 The cardinality of the set of all clones containing a given minimal clone on three elements
    • Zhuk D.N.
    • в журнале Algebra Universalis, издательство Birkhauser Verlag (Switzerland), том 68, № 3, с. 295-320
  • 
    • 2011 The predicate method to construct the Post lattice
    • Zhuk D.N.
    • в журнале Discrete Mathematics and Applications, издательство V S P (Netherlands), том 21, № 3, с. 329-344 DOI
  • • 2011 Критерий разрешимости проблемы А-полноты для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 439, № 1, с. 18-20
  • • 2011 Предикатный метод построения решетки Поста
    • Жук Д.Н.
    • в журнале Дискретная математика, издательство Наука (М.), том 23, № 2, с. 115-128
  • • 2011 Структура замкнутых классов в предполном классе самодвойственных функций трехзначной логики
    • Жук Д.Н.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 437, № 6, с. 738-742
  • 
    • 2010 Cardinality of the set of all precomplete classes for definite automata
    • Zhuk D.N.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 169, № 4, с. 430-434
  • 
    • 2010 On the classification of Post automaton bases by the decidability of the A-completeness property for definite automata
    • Zhuk D.N.
    • в журнале Discrete Mathematics and Applications, издательство V S P (Netherlands), том 20, № 3, с. 337-355
  • • 2010 О классификации автоматных базисов Поста по разрешимости свойств A-полноты для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Дискретная математика, издательство Наука (М.), том 22, № 2, с. 80-95
  • 
    • 2009 Континуальность множества предполных классов в классе дефинитных автоматов
    • Жук Д.Н.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 15, № 4, с. 29-36
  • • 2009 Разрешимые случаи задачи об A-полноте для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 13, с. 1-4
  • • 2008 О неразрешимости проблемы полноты для дефинитных автоматов
    • Жук Д.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 12, с. 211-228
  • • 2007 О проблеме полноты в классе автоматов без обратной связи
    • Жук Д.Н., Присмотров Ю.Н.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 11, с. 439-472

• Статьи в сборниках

  • • 2017 A Proof of CSP Dichotomy Conjecture
    • Zhuk D.
    • в сборнике Proceedings of the IEEE Annual Symposium on Foundations of Computer Science (FOCS), издательство IEEE (Piscataway, NJ, United States)
  • • 2017 An algorithm for constraint satisfaction problem
    • Zhuk D.
    • в сборнике In Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017) DOI
  • 
    • 2017 The Complexity of Quantified Constraints Using the Algebraic Formulation
    • Catarina Carvalho, Barnaby Martin, Dmitriy Zhuk
    • в сборнике 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, серия Leibniz International Proceedings in Informatics (LIPIcs), место издания Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik Dagstuhl, Germany, том 83, с. 27:1-27:14 DOI
  • • 2015 О ключевых предикатах k-значной логики
    • Жук Д.Н.
    • в сборнике Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г, серия ISBN 978-5-317-04970-6, место издания МАКС Пресс Москва
    • редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
  • 
    • 2014 On key relations preserved by a weak near-unanimity function
    • Zhuk D.N.
    • в сборнике IEEE 44th International Symposium on Multiple-Valued Logic, издательство IEEE (Piscataway, NJ, United States), с. 61-66 DOI
  • • 2014 О замкнутых классах функций, содержащих функцию почти единогласия
    • Жук Д.Н.
    • в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 89-92
  • 
    • 2013 On the Clones Containing a Near-Unanimity Function
    • Zhuk D.N., Moiseev S.V.
    • в сборнике Proceedings of the 2013 IEEE 43rd International Symposium on Multiple-Valued Logiс, издательство IEEE (Piscataway, NJ, United States), с. 129-134 DOI
  • 
    • 2012 The Cardinality of the Set of All Clones Containing a Given Minimal Clone
    • Zhuk D.
    • в сборнике Proceedings of the IEEE 42nd International Symposium on Multiple-Valued Logic, место издания IEEE, с. 281-286 DOI
  • 
    • 2011 The lattice of the clones of self-dual functions in three-valued logic
    • Zhuk D.
    • в сборнике Proceedings of the IEEE 41nd International Symposium on Multiple-Valued Logic, издательство IEEE (Piscataway, NJ, United States), с. 193-197 DOI

• Книги

  • • 2011 Решетка замкнутых классов самодвойственных функций трехзначной логики
    • Жук Д.Н.
    • место издания Издательство МГУ Москва, ISBN 978-5-211-05969-6, 109 с.

• Доклады на конференциях

  • • 2019 An exponential lower bound on the size of primitive positive definition (Устный)
    • Автор: Zhuk D.
    • AAA 97 — 97. Arbeitstagung Allgemeine Algebra — 97th Workshop on General Algebra, Technische Universität Wien, Австрия, 1-3 марта 2019
  • • 2018 A Proof of CSP Dichotomy Conjecture (Приглашенный)
    • Автор: Zhuk D.
    • The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Shloss, Германия, 3-8 июня 2018
  • • 2018 Center and ternary absorption (Устный)
    • Автор: Zhuk D.
    • AAA96. Arbeitstagung Allgemeine Algebra - 96th Workshop on General Algebra., Darmstadt, Germany, Германия, 1-3 июня 2018
  • • 2018 Классификация сложности задачи удовлетворения ограничениям (Приглашенный)
    • Автор: Жук Д.Н.
    • X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
  • • 2017 A proof of CSP dichotomy conjecture (Пленарный)
    • Автор: Zhuk D.
    • 58th Annual IEEE Symposium on Foundations of Computer Science, Berkeley, США, 15-17 октября 2017
  • • 2017 Properties of Crucial CSP Instances (Устный)
    • Автор: Zhuk D.
    • BLAST: Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology, & Point-free Topology, Nashville, TN, USA., США, 14-18 августа 2017
  • • 2017 The proof of CSP dichotomy conjecture (Приглашенный)
    • Автор: Zhuk D.
    • The 94th Workshop on General Algebra, in conjunction with the 5th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 15-18, 2017, Novi Sad, Serbia, Сербия, 15-18 июня 2017
  • • 2017 An Algorithm for Constraint Satisfaction Problem (Приглашенный)
    • Автор: Zhuk D.
    • IEEE 47th International Symposium on Multiple-Valued Logic, May 22-24, 2017, Novi Sad, Serbia, Novi Sad, Serbia, Сербия, 22-24 мая 2017
  • • 2016 The proof of CSP Dichotomy Conjecture (Пленарный)
    • Автор: Zhuk D.
    • Workshop on Structure and Complexity in Universal Algebra, Nashville, TN, США, 19-30 сентября 2016
  • • 2016 On CSP dichotomy conjecture (Устный)
    • Автор: Zhuk D.N.
    • AAA 92, Arbeitstagung Allgemeine Algebra | 92th Workshop on General Algebra, Prague, Czech Republic, May 27-29, 2016 , Прага, Чехия, 27-29 мая 2016
  • • 2016 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, Brno, Чехия, 5-7 февраля 2016
  • • 2015 The structure of relations invariant under near unanimity operations (Пленарный)
    • Автор: Zhuk D.
    • The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Seminar 15301, Dagstuhl Shloss, Германия, 19-24 июля 2015
  • • 2015 On the minimal arity of near unanimity term operations for finite algebras (Устный)
    • Автор: Zhuk D., Alexandr Kazda
    • AAA90 90th Workshop on General Algebra Novi Sad, Serbia, June 5-7, 2015, Novi Sad, Сербия, 5-7 июня 2015
  • • 2015 The size of generating sets of powers (Устный)
    • Автор: Zhuk D.
    • AAA90 90th Workshop on General Algebra Novi Sad, Serbia, June 5-7, 2015, Novi Sad, Сербия, 5-7 июня 2015
  • • 2015 Open problems in Clone Theory (Приглашенный)
    • Автор: Zhuk D.
    • Open Problems in Universal Algebra a Shanks workshop at Vanderbilt University May 28 – June 1, 2015 , Nashville, США, 28 мая - 1 июня 2015
  • • 2015 On key relations with full pattern
    • Автор: Zhuk D.
    • Arbeitstagung Allgemeine Algebra | Workshop on General Algebra February 26 - March 1, 2015, Dresden University of Technology, Dresden, Германия, 26 февраля - 1 марта 2015
  • • 2015 On the cardinality of the lattice of C-clones
    • Авторы: Mike Behrisch, Edith Vargas-García, Zhuk D.
    • Arbeitstagung Allgemeine Algebra | Workshop on General Algebra February 26 - March 1, 2015, Dresden University of Technology, Dresden, Германия, 26 февраля - 1 марта 2015
  • • 2014 On key relations preserved by a weak near unanimity operation (Приглашенный)
    • Автор: Zhuk D.
    • Algebras & Clones fest, Prague, Чехия, 30 июня - 3 июля 2014
  • • 2014 On the minimal arity of a near unanimity operation in a clone (Пленарный)
    • Автор: Zhuk D.
    • AAA88 Workshop on General Algebra, Warsaw, Польша, 19-22 июня 2014
  • • 2014 On relations preserved by a weak near-unanimity function
    • Автор: Zhuk D.
    • IEEE 44th International Symposium on Multiple-Valued Logic, Bremen, Germany, 2014, Bremen, Германия, 19-21 мая 2014
  • • 2014 Порядок замкнутых классов, содержащих функцию голосования
    • Автор: Жук Д.Н.
    • Ломоносовские чтения - 2014. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 14-23 апреля 2014
  • • 2014 On relations preserved by a weak near-unanimity function (Приглашенный)
    • Автор: Zhuk D.
    • AAA87 & CYA28 - 87th Workshop on General Algebra and 28th Conference of Young Algebraists - 87. Arbeitstagung , Linz, Австрия, 6-9 февраля 2014
  • • 2013 On the Clones Containing a Near-Unanimity Function (Устный)
    • Авторы: Moiseev S., Zhuk D.
    • IEEE 43rd International Symposium on Multiple-Valued Logiс, Toyama, Япония, 21-25 мая 2013
  • • 2013 О расслоении континуальной решетки одного класса 3-значной логики
    • Автор: Жук Д.Н.
    • Ломоносовские чтения - 2013. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 15-26 апреля 2013
  • • 2012 The cardinality of the set of all clones containing a given minimal clone on three elements. (Устный)
    • Автор: Жук Д.Н.
    • IEEE 42st International Symposium on Multiple-Valued Logic., Canada, Канада, 2012
  • • 2012 On the lattice of clones on three elements (Приглашенный)
    • Автор: Жук Д.Н.
    • Conference on UNIVERSAL ALGEBRA AND LATTICE THEORY, Szeged, Венгрия, 21-25 июня 2012
  • • 2011 The lattice of the clones of self-dual functions in three-valued logic. (Устный)
    • Автор: Жук Д.Н.
    • IEEE 41st International Symposium on Multiple-Valued Logic , Finland, Финляндия, 2011
  • • 2009 Классификация классов Поста по их способности гарантировать разрешимость проблемы A-полноты для дефинитных автоматов
    • Автор: Жук Д.Н.
    • Международная конференция студентов, аспирантов и молодых ученых “Ломоносов 2009", 2009
  • • 2008 О проблеме полноты в классе автоматов без обратной связи.
    • Авторы: Жук Д.Н., Присмотров Ю.Н.
    • Ломоносов, 2008
  • • 2007 О проблеме полноты в классе автоматов без обратной связи.
    • Автор: Жук Д.Н.
    • IX Международного семинара «Дискретная математика и ее приложения», Москва, механико-математический факультет МГУ, Россия, 2007

• НИРы

  • • 1 января 2019 - 31 декабря 2021 Структурные и сложностные вопросы в теории k- значных функций
    • Кафедра математической кибернетики
    • Руководитель: Селезнева С.Н. Участники НИР: Жук Д.Н., Марченков С.С.
  • • 1 января 2016 - 31 декабря 2020 Теория интеллектуальных систем и автоматов 2016-2020
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 1 января 2013 - 31 декабря 2015 Алгоритмические, оптимизационнные и структурные вопросы в теории дискретных функций
    • Кафедра математической кибернетики
    • Руководитель: Селезнева С.Н. Участники НИР: Бухман А.В., Жук Д.Н., Мазуров А.А.
  • • 1 января 2011 - 31 декабря 2015 Теория интеллектуальных систем и автоматов
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Мазуренко И.Л., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.

• Награды и премии

  • • 2006 Ветеран труда
    • Лауреат: Жук Д.

• Руководство дипломными работами

  • • 2015 Точные оценки сложности восстановления некоторых частичных порядков
    • Научный руководитель: Жук Дмитрий
    • Автор: Ворончагина Ольга (Специалист)
  • • 2015 О сложности реализации предикатов положительными примитивными формулами
    • Научный руководитель: Жук Дмитрий
    • Автор: Баширов Руслан Халилович (Специалист)
  • • 2014 О сложности восстановления частичного порядка
    • Научный руководитель: Жук Д.Н.
    • Автор: Абдель Маджид Али Амир (Бакалавр)
  • • 2014 О нижней части решётки замкнутых классов функций k-значной логики
    • Научный руководитель: Жук Д.Н.
    • Автор: Глюз Ольга (Специалист)

• Авторство учебных курсов

  • • 2012 Основы теории логических функций
    • Автор: Жук Дмитрий Николаевич
  • • 2011 Теория функций k-значной логики
    • Автор: Жук Д.Н.

• Преподавание учебных курсов

  • • 21 сентября 2017 - 21 декабря 2017 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, вариативной части, лекции, 32 часов
  • • 9 февраля 2017 - 18 мая 2017 Теория Дискретных Функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2016 - 20 декабря 2016 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2016 - 20 июня 2016 Теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 16 ноября 2015 - 30 ноября 2015 Основы теории логических функций
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, лекции, 32 часов
  • • 16 ноября 2015 - 30 ноября 2015 Основы теории логических функций
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, базовой части, лекции, 32 часов
  • • 7 сентября 2015 - 20 декабря 2015 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 9 февраля 2015 - 22 июня 2015 Теория дискретных функций
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2012 - 20 декабря 2012 Теория функций k-значной логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • факультативная, лекции, 32 часов