Профессор С.О. Кузнецов принял участие в меж­ду­на­род­ной комиссии по защите докторской диссертации в Уни­вер­си­те­те Оверни в г. Клермон-Ферран, Франция.

2 сентября 2020 года в Университете Оверни состоялась защита докторской диссертации Оскара Дефрейна (Oscar Defrain) на тему «О задачах дуализации в графах, гиперграфах и решетках» (On the dualization problem in graphs, hypergraphs, and lattices).
Abstract: This thesis deals with enumeration problems and algorithms.We are interested in the complexity of the dualization of monotone Boolean functionsthrough the different shapes it takes in graphs, hypergraphs, and lattices.
In particular in this talk, we will consider the enumeration of minimal dominating sets in graphs, and will present new output-polynomial time algorithms to solve the problemin graphs without large cliques, as well as in some other related graph classes.
In a second part, we will consider a natural generalization of this problem in lattices,and will review the recent progress on the problem.
The presentation will end with different perspectives on the dualization problemin these structures.
Научный руководитель - Lhouari Nourine.

В состав комиссии вошли Виктор Чепой (Victor Chepoi), Надя Крейну (Nadia Creignou), Арно Дюран (Arnaud Durand), Сергей Кузнецов (Sergei Kuznetsov), Орели Лагут (Aurélie Lagoutte), Казухиса Макино (Kazuhisa Makino).