首页/论文/1501.01331

arXiv 1501.013312015-01-06math.COcs.CC

完全布尔函数的DNF复杂度

DNF complexity of complete boolean functions

Yura Maximov

备注：: 19 pages, 1 figure, in Russian

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在本文中，我们分析了布尔函数的复杂性采取的值为0的一个足够小的点。对于许多函数，这导致分析单个函数仅在从1到d的数字的无符号表示上达到0。在这里，我们得到了一个严格的界限上的DNF复杂性的完全功能的文字和合取的数量。该方法是基于一定的有效近似的超立方体覆盖问题的DNF复杂性的一个给定的布尔函数。

英文摘要：

In this paper we analyse the complexity of boolean functions takes value 0 on a sufficiently small number of points. For many functions this leads to the analysis of a single function attains 0 only on unsigned representation of numbers from 1 to d for various d. Here we obtain a tight bounds on the DNF complexity of complete functions in terms of the number of literals and conjunctions. The method is based on a certain efficient approximation of the hypercube covering problem related to DNF complexity of a given boolean function.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

布尔函数窄子类的DNF平均情况复杂度和Shannon半效应

Average case complexity of DNFs and Shannon semi-effect for narrow subclasses of boolean functions

在本文中，我们建立了布尔函数的析取范式的复杂性的一些界限，从狭窄的子类（例如，函数在有限数量的点取值为0）。通过将初始问题转化为一个简单的集合覆盖问题，得到了该问题的界。所提供的复杂性界限的性质与这类的香农效应和半效应紧密相关。

2015-01-14cs.CCmath.CO

用DNF逼近具有小总影响的有偏布尔函数

Approximation of biased Boolean functions of small total influence by DNF's

第$k$个坐标对布尔函数$f:\{0,1\}^n \rightarrow \{0,1\}$的影响是翻转$x_k$改变值$f(x)$的概率。总影响$I(f)$是坐标的影响之和。Friedgut（1998）的著名的“Junta定理”断言，如果$I(f) \leq M$，则$f$可以是$ε$ --通过依赖于$O(2^{M/ε})$坐标的函数来近似。Friedgut定理在数学和理论计算机科学中有广泛的应用。对于$E[f]=μ$的偏置函数，立方体上的边等周不等式意味着$I(f) \geq 2μ\log(1/μ)$。Kahn和Kalai（2006）在Junta定理的精神下询问，任何使得$I(f)$在最小值的恒定因子内的$f$是否可以是$εμ$ -由“小”尺寸的DNF近似（即，少量子立方体的并集）。我们通过证明以下结构定理来回答这个问题：如果是$I(f) \leq 2μ(\log(1/μ)+M)$，则$f$可以是$εμ$ -由大小为$2^{2^{O(M/ε)}}$的DNF近似。对$M$的依赖性急剧上升到双指数中的常数因子。

2017-03-29cs.DMmath.CO

有偏超立方体上的稀疏junta函数

Sparse juntas on the biased hypercube

本文证明了有偏超立方体上在L2范数下接近低次多项式的布尔函数必接近稀疏junta函数或稀疏DNF公式，并确定了最优常数及最优函数类。

2024-07-30cs.CCmath.CO

从DNF压缩到正则性的向日葵定理

From DNF compression to sunflower theorems via regularity

向日葵猜想是组合数学中最著名的公开问题之一。它在理论计算机科学中有几个应用，其中之一是DNF压缩，由于Gopalan，Meka和Reingold [计算复杂性2013]。在本文中，我们证明了DNF压缩的改进边界意味着向日葵猜想的改进边界，这是[计算复杂性2013]的相反方向。主要方法是基于集系统的正则性和向日葵猜想的结构与伪随机性方法。

2019-06-06cs.DMmath.CO

关于布尔矩阵秩的复杂性

On the complexity of Boolean matrix ranks

我们构造了一个约简，证明了布尔矩阵的愚弄集数和行列式秩是NP-难计算的。

2013-05-25cs.CCmath.CO

切片上布尔函数的查询复杂性

Query complexity of Boolean functions on slices

研究了超立方体切片上布尔函数的确定性查询复杂度。超立方体$\{0,1\}^n$的$k^{th}$片$\binom{[n]}{k}$是具有汉明权重$k$的所有$n$位串的集合。我们发现，存在一个功能的平衡片$\binom{[n]}{n/2}$需要$n - O(\log \log n)$查询。我们给出了一个明确的功能平衡片需要$n - O(\log n)$查询的基础上独立集的约翰逊图。在权-2切片上，我们证明了硬函数与Ramsey图密切相关。此外，我们描述了一个简单的方法转换功能的超立方体上的功能平衡切片，同时保持几个复杂的措施。

2022-11-29cs.CCmath.CO

更多相关论文收起更多论文

立方体中间层上布尔函数的查询复杂度

Query complexity of Boolean functions on the middle slice of the cube

本文研究布尔函数在中间层切片上的查询复杂度，证明存在一个函数即使已知输入中0和1数量相同，仍需查询除7位外的所有输入位，回答了Byramji的问题，并给出候选函数及与差异类型问题的联系。

2024-06-06cs.CCmath.CO

加权布尔型CSP的复杂性

The Complexity of Weighted Boolean #CSP

本文给出了加权布尔约束满足问题实例的配分函数计算复杂性的一个二分法。该问题由非负函数的有限集合F参数化，该非负函数可以用于将权重分配给问题实例的配置（可行解）。经典的约束满足问题对应于0，1值函数的特殊情况。我们证明了配分函数，即所有配置的权重之和，可以在多项式时间内计算，如果（1）F中的每个函数都是"乘积型“，或（2）F中的每个函数都是"纯仿射”。对于每一个其他的固定集合F，计算配分函数是FP^{#P}-完全的。

2008-06-19cs.CCmath.CO

再论熵影响猜想

The Entropy Influence Conjecture Revisited

本文证明了大多数布尔函数$f : \{-1,1\}^n \rightarrow \{-1,1\}$满足Friedgut和Kalai（Proc.AMS '96）提出的Fourier熵影响（FEI）猜想。这个猜想说布尔函数的熵最多是一个常数乘以函数的影响。该猜想已被证明为家庭的功能较小的大小。O'donnell，Wright和Zhou（ICALP'11）验证了对称函数族的猜想，其大小为$2^{n+1}$ .他们实际上能够证明猜想的家庭$d$部分对称函数的恒定$d$，其大小是$2^{O(n^d)}$。此外，已知该猜想对于多项式大小的DNF的大部分是正确的（COLT'10）。本文用初等方法证明了对于任意常数$δ> 0$，一个高概率随机函数满足猜想，常数为$(2 + δ)$.

2011-10-20cs.CCcs.DMmath.CO

鲁棒可满足性的间隙定理：布尔CSP及其他

Gap theorems for robust satisfiability: Boolean CSPs and beyond

当两个不相交的实例集之间没有易处理的边界时，计算问题表现出“间隙性质”。我们建立了一个缺口三分定理的家庭的约束问题的变种，完全分类的复杂性可能的${\bf NP}$ -硬缺口的情况下，布尔域。因此，我们得到了一些二分法的约束满足问题的特定变体的复杂性：所有的多项式时间易处理或$\mathbf{NP}$完成。Schaefer最初对$\textsf{SAT}$变体的二分法是一个值得注意的特例。通用代数方法已中央最近的努力，在分类的复杂性约束满足问题。第二个贡献的文章是发展方面的代数方法的上下文中的一些变种的约束满足问题。特别是，这使我们能够将我们在布尔域上的结果提升到非布尔域上的许多模板。

2017-03-26cs.CCmath.COmath.LO

CNF-可满足性问题的复杂性

Complexity of the CNF-satisfiability problem

本文研究布尔可满足性问题的复杂性。我们考虑这个问题的一个版本，其中的布尔公式指定的合取范式。我们证明了一个意想不到的结果，CNF-可满足性问题可以解决的确定性图灵机在多项式时间。

2018-07-20cs.CCmath.COmath.LO

结合布尔运算的连接状态复杂性：一种统一的方法

State complexity of catenation combined with a boolean operation: a unified approach

本文研究了结合对称差分的连接的状态复杂性。首先，使用一些组合工具计算上界。然后，这个界限是紧的，给出了它的一个witness.此外，我们将这项工作与其他两个组合的状态复杂性的研究：连接与并集和连接与交集。我们提取一个统一的方法，允许获得任何组合的状态复杂性，涉及连锁和一个二元布尔运算。

2015-05-13cs.FLmath.CO

布尔函数的输入数与其它复杂性测度的关系

Relationships between the number of inputs and other complexity measures of Boolean functions

我们推广和扩展的想法在最近的一份文件中的Chiarelli，哈塔米和萨克斯证明新的界限的数量有关的变量的布尔函数的各种复杂性措施。我们的方法统一和细化所有以前已知的这种类型的界限。我们还改进了Nisan和Szegedy著名的块灵敏度与度不等式的常数因子，从而改进了黄的最近证明的灵敏度猜想相同的常数。

2022-12-22cs.DMmath.CO

布尔函数的拓扑性质

Topological aspects of Boolean functions

我们讨论的方法，从拓扑学的工具可以用来推导出布尔函数的电路复杂性的下界。

2022-11-13math.CO

均匀随机树生成的布尔函数的树大小复杂度与概率的关系

The relation between tree size complexity and probability for Boolean functions generated by uniform random trees

本文考虑由随机布尔表达式导出的n元布尔函数集上的一个概率分布。这样的表达式是一个随机根平面树，其中内部顶点用连接词And和OR标记，叶子用变量或否定变量标记。本文研究了树的大小趋于无穷大时的极限分布，导出了树的大小复杂度与函数概率之间的关系。这是通过首先将表示特定函数的树表示为表示该函数的最小树的扩展，然后通过依赖于生成函数和奇异性分析的组合计数参数来计算概率来完成的。

2015-09-25math.COmath.PR

嵌套渠化函数的证书复杂性和对称性

Certificate complexity and symmetry of nested canalizing functions

布尔嵌套渠化函数在分子调控网络、工程和计算机科学中有着重要的应用。在本文中，我们研究他们的证书复杂性。对于这两个布尔值$b\in\{0,1\}$，我们得到了一个公式的$b$ -证书的复杂性，因此，我们开发了一个直接证明的证书复杂性公式的NCF。对称性是布尔函数的另一个有趣的性质，我们显着简化了最近的一些定理的证明NCF的部分对称性。我们还描述了$s$ -对称NCF的代数正规形。得到了$s=1,\dots,n$的$n$ -变量$s$ -对称布尔NCF集的基数的一般公式.特别是，我们列举了强非对称布尔NCF。

2021-02-12cs.DMmath.CO

嵌套信道函数的证书复杂度与对称性

Certificate complexity and symmetry of nested canalizing functions

本文研究布尔嵌套信道函数的证书复杂度与对称性，给出了证书复杂度公式、简化了部分对称性证明，并枚举了强不对称NCF。

2021-11-23cs.DMmath.CO

布尔函数的最近邻表示

Nearest neighbor representations of Boolean functions

布尔函数的最近邻表示是$R^n$中的一组正原型和负原型，使得该函数在输入上具有值1，当且仅当最近原型为正。对于$k$ -最近邻表示，考虑$k$最接近原型的多数分类。布尔函数的最近邻复杂度是表示该函数所需的原型的最小数量。我们给出了这一措施的几个界限。当原型可以是真实的或需要是布尔的情况之间的分离。奇偶校验的复杂性是精确确定的。给出了模2内积的指数下界和$k$ -最近邻复杂度的线性下界.结果证明使用连接到其他模型，如多项式门限函数在$\{1, 2\}$。我们还讨论了一些出现的许多开放的问题。

2020-04-03cs.ITmath.COmath.IT