Получить точный ответ # P-hard (считая аналог NP, то есть, по крайней мере, как сложный), поскольку эта проблема обобщает монотон 2-CNF-SAT, который известен как # P-hard (валлийский, Доминик;Гейл, Эми (2001), «Сложность подсчета проблем», Аспекты сложности: миникурсы по алгоритмике, сложности и вычислительной алгебре: математический семинар, Каикоура, 7–15 января 2000 г., с. 115ff, теорема 57.).Сокращение состоит в том, чтобы установить U в набор идентификаторов предложений и позволить каждому подмножеству в S быть набором предложений, в которых появляется некоторая переменная.РЕДАКТИРОВАТЬ: установить p = 1/2 для каждого набора, естественно.