Laboratory of Mathematical Logic at PDMI

Пятница, 11 мая, комната 106. Начало в 17:00.

Докладчик: Г. В. Давыдов, И. М. Давыдова.

ПОДСЧЕТ МЕРЫ ПРОПОЗИЦИОНАЛЬНЫХ ФОРМУЛ
Формуле F в КНФ сопоставляется мера m(F) так, что условие m(F) = 1 эквивалентно невыполнимости . Для подсчета меры предлагается последовательное ипользование принципа "включения-исключения". Классы формул, для которых предложенный метод полиномиален, характеризуются в терминах структуры графа совместности, соответствующего формуле .