首页/论文/1302.3723

arXiv 1302.37232013-02-15cs.ITmath.IT

布尔网络原像的计算

Computing preimages of Boolean Networks

Johannes Georg Klotz, Martin Bossert, Steffen Schober

备注：: Submitted to WCSB 2013

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在本文中，我们提出了一个算法来解决前馈布尔网络的前趋问题。我们提出了一种概率算法，该算法在相对于网络中节点数量的线性时间内解决了这个问题。最后，我们评估我们的算法随机布尔网络和大肠杆菌的监管网络。

英文摘要：

In this paper we present an algorithm to address the predecessor problem of feed-forward Boolean networks. We propose an probabilistic algorithm, which solves this problem in linear time with respect to the number of nodes in the network. Finally, we evaluate our algorithm for random Boolean networks and the regulatory network of Escherichia coli.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

同位网络中计算对称布尔函数的最优策略

Optimal strategies for computing symmetric Boolean functions in collocated networks

我们解决的问题，找到最佳的战略计算布尔对称函数。我们考虑一个并置网络，其中每个节点的传输可以被每个其他节点听到。每个节点都有一个布尔测量，我们希望计算这些测量的给定布尔函数，误差为零。我们允许块计算，以提高数据融合的效率，并确定最小的最坏情况下的总比特进行通信，以执行所需的计算。我们将注意力限制在对称布尔函数类上，它只依赖于n个测量值中1的个数。我们定义了三类函数，即阈值函数，δ函数和区间函数。对于前两类，我们给出了精确的最优策略;对于区间函数，我们给出了具有最优前常数的阶最优策略。利用这些结果，我们可以描述计算百分位型函数的复杂性，这是非常感兴趣的。在我们的分析中，我们使用的下限从通信复杂性理论，并提供了一个可实现的计划，使用信息理论的工具。

2009-11-17cs.ITmath.IT

布尔函数分布式计算中放置策略对传输的影响

The Influence of Placement on Transmission in Distributed Computing of Boolean Functions

本文针对 N 个缓存大小为 M 的服务器分布式计算度为 M 的线性可分布尔函数问题，利用敏感度与影响力概念刻画数据放置与传输的关系，并证明最小平均联合敏感度可作为通信代价度量。

2024-06-11cs.ITmath.IT

超越识别：通过信道计算布尔函数

Beyond Identification: Computing Boolean Functions via Channels

The University of Melbourne（墨尔本大学）

研究通过信道可靠恢复未知布尔函数的问题，提出计算容量概念，分析不同函数类的渐进行为。

2026-08-13cs.ITmath.IT

安全布尔计算的编码计算

Coded Computing for Secure Boolean Computations

现代数据集的规模不断增长，需要将大规模计算拆分为较小的计算，并以分布式方式进行操作。分布式系统中的攻击者故意发送错误数据，以影响计算。布尔函数是许多应用的关键组件，例如，区块链系统中的验证功能和加密算法的设计。我们考虑在分布式计算系统中计算布尔函数的问题，特别关注\emph{security against Byzantine workers}。任何布尔函数一般都可以建模为一个高次的多元多项式。然而，安全阈值（即，可以容忍最大数量的对抗工作者，使得可以获得正确的结果），如果多项式的次数高，则由最近提出的拉格朗日编码计算（LCC）提供的计算可能非常低。我们提出了三种不同的方案，称为\emph{coded Algebraic normal form (ANF)}，\emph{coded Disjunctive normal form (DNF)}和\emph{coded polynomial threshold function (PTF)}。所提出的方案的核心思想是将其建模为一些低次多项式和阈值函数的级联。在安全阈值方面，我们表明，建议的编码ANF和编码DNF是最佳的，通过提供一个匹配的外边界。

2021-03-04cs.DCcs.ITmath.IT

计算布尔阈值函数的最优传输顺序

Optimal ordering of transmissions for computing Boolean threhold functions

我们解决了一个顺序决策问题，出现在分布式数据的对称布尔函数的计算。我们考虑一个并置网络，其中每个节点的传输可以被每个其他节点听到。每个节点都有一个布尔测量，我们希望计算这些测量的给定布尔函数。我们假设测量是独立的，伯努利分布。因此，最优计算的问题变成了最优排序节点的传输的问题，以便最小化总的期望比特数。我们解决了布尔阈值函数类的排序问题。最优排序是动态的，即，它可能潜在地取决于先前发送的比特的值。此外，它只取决于边际概率的排序，而不是它们的确切值。这为最优策略提供了一个优雅的结构。对于每个节点都有一个测量块的情况下，这个问题是非常困难的，我们推测的最佳策略。

2010-04-30cs.ITcs.NImath.IT

另一种计算布尔函数非线性的算法

Yet another algorithm to compute the nonlinearity of a Boolean function

我们将每个布尔函数与一个多项式相关联，该多项式的求值表示与所有可能的布尔仿射函数的距离。从布尔函数的真值表确定该多项式的系数和计算其求值向量两者都需要$O(n2^n)$整数运算的最坏情况复杂度。这样，通过不同的方法，我们可以达到与现有算法相同的复杂度，例如基于快速沃尔什变换的算法。

2014-04-10cs.ITmath.IT

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

计算$\mathcal{R}(s,n)/\mathcal{R}(k,n)$上等价类的个数

Computing the Number of Equivalent Classes on $\mathcal{R}(s,n)/\mathcal{R}(k,n)$

布尔函数的仿射等价类在现代密码学和电路设计中有许多应用。以前的出版物已经表明，仿射等价的整个空间的布尔函数可以计算到10个变量，但不是在商布尔函数空间模函数的不同程度。计算Reed-Muller码$\mathcal{R}(1,n)$陪集的等价类数等价于对布尔函数模线性函数进行分类，只有当$n\leq 7$ .基于仿射群$\mathcal{AGL}(n,2)$在$\mathcal{R}(s,n)/\mathcal{R}(k,n)$上的线性表示，我们得到了一个计算等价类数的有用的计数公式。在$\mathcal{AGL}(n,2)$中直接计算共轭类和共轭代表，通过引入同构置换群$P_n$并在$P_n$中进行计算，降低了计算复杂度.利用该算法，可以计算$R(1,n)$的陪集的等价类的数目多达10个变量。此外，在$-1\leq k< s\leq n\leq 10$中还可以计算出$\mathcal{R}(s,n)/\mathcal{R}(k,n)$上等价类的个数，这是对以往方法的一个重大改进和进步。

2020-08-08cs.ITmath.IT

关于平衡布尔函数零化子存在概率的观察

Observations Concerning the probability of the existence of annihilators for balanced boolean functions

具有非线性滤波器或组合器的基于LFSR的流密码容易受到使用线性化方法求解超定非线性方程组的代数攻击。如果滤波或组合函数具有低阶零化子，则该过程大大增强。为了防止这样的攻击，人们会选择该函数的参数，使其零化子的次数变得足够大。随着计算能力的不断提高，今天看起来安全的选择明天就会变得不安全。因此，需要一种工具来估计参数超出当前计算能力的平衡布尔函数的零化子存在的概率。基于实验和计算的观察，我们在本文中给出了一个几乎精确的估计，这是一个很大的改进，以前已知的上限。

2014-12-23cs.ITmath.IT

稀疏布尔函数的非线性计算

Nonlinearity Computation for Sparse Boolean Functions

提出了一种由布尔函数的代数范式（ANF）计算布尔函数非线性度的算法。通过推广布尔函数权的ANF系数表达式，得到了布尔函数到线性函数的距离公式。这些距离的特殊结构可以被利用，以减少非线性计算的任务，以解决相关的二进制整数规划问题。所提出的算法可以用于应用快速沃尔什变换是不可行的情况下，通常当输入变量的数量超过40。

2013-05-03cs.ITmath.IT

计算二元 Reed-Muller 码 ${\mathcal R} (4,9)$ 的重量分布

Computing the Weight Distribution of the Binary Reed-Muller Code ${\mathcal R} (4,9)$

本文结合 Sarwate 的方法与布尔函数仿射等价分类，利用四次型及商空间分类结果，计算了二元 Reed-Muller 码 R(4,9) 的重量分布。

2023-11-14cs.ITmath.IT

同位网络中对称布尔函数的优化计算

Optimal Computation of Symmetric Boolean Functions in Collocated Networks

We consider collocated wireless sensor networks, where each node has a Boolean measurement and the goal is to compute a given Boolean function of these measurements. We first consider the worst case setting and study optimal block computation strategies for computing symmetric Boolean functions. We study three classes of functions: threshold functions, delta functions and interval functions. We provide exactly optimal strategies for the first two classes, and a scaling law order-optimal strategy with optimal preconstant for interval functions. We also extend the results to the case of integer …

2011-05-06cs.DCcs.ITcs.NI

基于连续局部BDD搜索的混合SAT求解

On Continuous Local BDD-Based Search for Hybrid SAT Solving

Rice University（莱斯大学）

我们探讨了连续局部搜索（CLS）在SAT求解的潜力，提出了一种新的方法来寻找一个混合系统的布尔约束的解决方案。该算法是基于CLS结合置信传播二叉决策图（BDD）。我们的框架接受所有的布尔约束，承认紧凑的BDD，包括对称布尔约束和小系数伪布尔约束作为有趣的家庭。我们提出了一种新的算法，有效地计算CLS所需的梯度。我们研究我们的多功能CLS求解器，GradSAT的能力和局限性，通过将其应用于许多基准测试实例。实验结果表明，GradSAT可以是一个有用的除了现有的SAT和MaxSAT求解器解决布尔可满足性和优化问题的投资组合。

2021-06-12cs.AIcs.ITcs.LG