Nearly All k-SAT Functions Are Unate

József Balogh; Dingding Dong; Bernard Lidický; Nitya Mani; Yufei Zhao

doi:10.1145/3564246.3585123

STOC2023顶会

Nearly All k-SAT Functions Are Unate

József Balogh, Dingding Dong, Bernard Lidický, Nitya Mani, Yufei Zhao

arXiv DOI 出版方

2023年份

4被引次数

摘要

We prove that 1−o(1) fraction of all k-SAT functions on n Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer k and as n → ∞. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003.

问问这篇 Paper

智能体会读完全文。

Lune 把这篇 Paper 索引到了每一个公式，引用它的顶会 Paper 也一样。你提问，回答直接引用原文。

核心论断
横向对比
局限

你的问题

智能体调用

Luneget_paper_fulltext

在 Lune 里问

免费开始，无需绑卡

摘要

问问这篇 Paper

智能体会读完全文。

相关 Paper