Дискретная математика: Булева алгебра, Логика и Отношения

Исчисление высказываний, нормальные формы (КНФ, ДНФ), 2-SAT за линейное время, бинарные отношения эквивалентности и частичного порядка.

Исходная заготовка: полнота объяснения и примеров ожидает редакторской проверки.

Булевы формулы и 2-SAT

Задача 2-SAT сводится к поиску компонент сильной связности (SCC) в графе импликаций за

O(V + E)

Вернитесь к обучению и выберите следующий материал.

Отметка сохранится в этом браузере. Её можно отменить или снять кнопкой «Изучено».