Nearly all $k$-SAT functions are unate

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

Published: 2022-09-11 | Updated: 2023-10-03

Comments: 43 pages. v2 merges arXiv:2107.09233 (SODA22) and arXiv:2209.04894v1 (STOC23) along with expository improvements. This combined version is intended for journal submission

Note:

DOI: 10.1145/3564246.3585123

# BIB PDF ARXIV

Abstract

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 \to \infty$. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003.

arXiv++ Combinatorics

Nearly all $k$-SAT functions are unate

Abstract

BibTeX