Изменения

=== Дополнение к задаче о сумме подмножеств Язык графов, не являющихся гамильтоновыми ===Языком этой задачи являются такие множества целых чисел, что сумма любого их непустого подмножества ненулевая. Этот язык является дополнением языка таких кортежей целых чисел, что какое-то их непустое подмножество имеет сумму ноль, разрешаемого за полиномиальное время следующей программой: принадлежит <tex>r(S)\colon</tex> <tex>Z \gets? \{ 0, 1 \}^mathrm{|S|coNP}</tex> '''if''' <tex>Z = 0^{|S|}</tex> '''or''' , так как является дополнением к языку гамильтоновых графов, принадлежащему <tex>\sum_{i=0}^mathrm{|S|NP} S[i] \cdot Z[i] \ne 0</tex> '''return''' ''false'' '''else''' '''return''' ''true'', как показано выше.

Требуется определитьЯзык булевых формул, является ли заданная булева формула тавтологиейявляющихся тавтологиями. К этой задаче этому языку тривиально сводится дополнение к <tex>\mathrm{SAT}</tex>: если отрицание формулы невыполнимо, то она является тавтологией, и наоборот.