几乎所有$k$-SAT函数都是单态的
Nearly all $k$-SAT functions are unate
AI总结：
本研究证明当变量数趋于无穷时，几乎所有$k$-SAT函数都是单态的，解决了2003年由Bollobás、Brightwell和Leader提出的相关猜想。
摘要：
我们证明，对于任意固定正整数$k$，当$n \to \infty$时，$n$个布尔变量上的所有$k$-SAT函数中，有$1-o(1)$比例是单态的（即先对部分变量取反后具有单调性）。该结果解决了Bollobás、Brightwell与Leader于2003年提出的一个猜想。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
