平均情况重言式/矛盾，超出了随机k-CNF模型

众所周知，对于具有足够大的常数，具有子句的变量的随机 -CNF公式极不可能满足（即它们是矛盾的）。因此，随机的 -CNF公式（对于足够大）构成了无法满足的布尔公式的自然分布（或者双重构成了重言式，即矛盾的否定）。已经对该分布进行了广泛的研究。 $k$ $n$ $cn$ $c$ $k$ $c$

我的问题是：在命题重言式或矛盾方面是否还有其他既定分布，可以认为是捕获了重言式或公式不满足的“平均情况”？是否对这些分布进行了深入研究？

cc.complexity-theory reference-request lo.logic sat random-k-sat

— Iddo Tzameret
source

@Iddo重言式在“真正的” CNF模型中不存在，因为否则您将需要在同一子句中包含文字及其补语。...在CNF中学习重言式并不有趣。

— Tayfun Pay

@Pay，对不满足要求的公式的否定显然是重言式。因此，我们可以将随机k-CNF视为重言式上的分布（当从句与变量之比足够大，且k-CNF有o（1）概率可满足时）。

— Iddo Tzameret

我认为Tayfun是正确的。您应该说CNF公式不令人满意或DNF公式是重言式。在当前问题中，您将两者混在一起。

— 伊藤刚（Tsuyoshi Ito）

这是我对此事的最后评论：我不知道您为什么坚持要保留“重言”一词，正如Tayfun解释的那样，这显然是错误的。但是，如果您不想采纳其他人的意见来改善问题的措辞，我很好。

— 伊藤刚（Tsuyoshi Ito）

我宁愿在标题中保留“重言式”一词，因为我要询问有关重言式或矛盾的分布，并且这个问题也相应地用语表达。

— Iddo Tzameret