arXiv cs/05090382005-09-14cs.DS

最大汉明精确可满足性算法

Algorithms for Max Hamming Exact Satisfiability

Vilhelm Dahllof

摘要：

我们在这里研究最大汉明XSAT，即，在最大汉明距离找到两个XSAT模型的问题。通过使用最近的XSAT求解器作为辅助函数，可以构造O（1.911^n）时间算法，其中n是变量的数量。这个时间上限可以通过引入一种新的分支来进一步改进为O（1.8348^n），更直接地适合于在最大汉明距离下找到模型。这里提出的技术可能是实际使用以及理论价值，证明有最大汉明距离问题的非平凡算法。

英文摘要：

We here study Max Hamming XSAT, ie, the problem of finding two XSAT models at maximum Hamming distance. By using a recent XSAT solver as an auxiliary function, an O(1.911^n) time algorithm can be constructed, where n is the number of variables. This upper time bound can be further improved to O(1.8348^n) by introducing a new kind of branching, more directly suited for finding models at maximum Hamming distance. The techniques presented here are likely to be of practical use as well as of theoretical value, proving that there are non-trivial algorithms for maximum Hamming distance problems.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

求最大汉明距离的快速指数时间算法X3SAT

A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT

X3 SAT是一个问题，是否可以满足一组给定的子句，其中最多有三个文字，使得在每个子句中，只有一个文字为真，其他文字为假。一个相关的问题是确定实例的两个解之间的最大汉明距离。Dahllöf提供了一个最大汉明距离XSAT的算法，它比X3 SAT的相同问题更复杂，运行时间为$O(1.8348^n)$ ; Fu，Zhou和Yin考虑了X3 SAT的最大汉明距离，并为这个问题找到了一个运行时间为$O(1.6760^n)$的算法。本文提出了一种在$O(1.3298^n)$时间内求解最大汉明距离X3 SAT问题的算法，该算法实际上是对每个$k$计算具有汉明距离$k$的解对的个数.

2019-10-03cs.CCcs.DS

利用不可满足性求最大可满足性

On Using Unsatisfiability for Solving Maximum Satisfiability

University of Southampton（南安普顿大学）

最大可满足性（MaxSAT）是一个众所周知的优化问题，具有多种实际应用。最广为人知的MAXSAT算法在解决实际应用领域的困难问题时是无效的。最近的工作提出了使用高效的布尔可满足性（SAT）求解器解决MaxSAT问题，识别和消除不可满足的子公式的基础上。然而，这些算法在实践中不能扩展。分析了现有的基于不可满足子式识别的MaxSAT算法。此外，本文提出了一些关键优化这些MaxSAT算法和一个新的替代算法。从实际应用来看，所提出的优化方法和新算法在MaxSAT实例上提供了显着的性能改进。此外，新一代的基于不可满足性的MaxSAT求解器的效率成为有效的索引现代SAT求解器证明不可满足性和识别不可满足子公式的能力。

2007-12-07cs.AIcs.DS

数据流中最大可满足性及相关问题的再认识

Revisiting Maximum Satisfiability and Related Problems in Data Streams

我们重新审视数据流模型中的MaxSAT问题。在这个问题中，流由$m$子句组成，这些子句是从$n$布尔变量中提取的文字的析取。我们的目标是找到一个分配的变量，最大限度地满足条款的数量。Chou等人（FOCS 2020）表明，$Ω(\sqrt{n})$空间对于产生最佳值的$\sqrt{2}/2+ε$近似是必要的;他们还提出了一种算法，该算法使用$O(\log n/ε^2)$空间产生最佳值的$\sqrt{2}/2-ε$近似。在本文中，我们不仅专注于逼近最优值，而且还获得相应的布尔分配使用次线性$o(mn)$空间。我们提出了随机单通道算法，w. h. p.产量：1）$1-ε$近似使用$\tilde{O}(n/ε^3)$空间和指数后处理时间和2）$3/4-ε$近似使用$\tilde{O}(n/ε)$空间和多项式后处理时间。我们的想法也扩展到动态流。另一方面，我们表明，流kSAT问题，要求决定是否可以满足所有大小$k$输入子句必须使用$Ω(n^k)$空间。我们还考虑在这种情况下的其他相关问题。

2022-08-19cs.DS

存在公平性、拟阵和全局约束时从可满足性到覆盖性的研究

Satisfiability to Coverage in Presence of Fairness, Matroid, and Global Constraints

该研究证明带基数约束的最大可满足性问题与最大覆盖问题在以k为参数的FPT近似下等价，给出随机归约，且设计出适用于带多类约束的最大覆盖问题的FPT近似方案，推广了已有相关结果。

2024-03-12cs.DS

布尔可满足性的多项式时间有界误差量子算法

A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability

本文的目的是回答一个长期存在的开放问题NP和BQP之间的关系。本文通过对MAX-E3-SAT问题这一基本NP难问题的BQP量子算法的提出，证明了BQP包含NP。给定一个E3-CNF布尔公式，MAX-E3-SAT问题的目标是找到最大化满足子句数量的变量分配。对于带有$m$子句的E3-CNF布尔公式，该算法在$O(m^2)$中运行，而对于带有$n$输入的E3-CNF布尔公式，在最坏情况下，该算法在$O(n^6)$中运行。该算法使用一种新的迭代部分否定和部分测量技术最大化满足条款的集合。该算法实现了任意高概率的成功$1-ε$小$ε>0$使用多项式资源。该算法除了求解MAX-E3-SAT问题外，还可以根据满足子句的最大数目来判定E3-CNF布尔公式是否可满足，这是一个NP完全问题。

2015-07-27cs.CCcs.DS

在（近）中位字符串选择中最大化多样性

Maximizing Diversity in (near-)Median String Selection

National University of Singapore（新加坡国立大学）；Indian Statistical Institute Kolkata（印度统计学院加尔各答分部）；Institute of Mathematical Sciences, Chennai, India（印度金奈数学研究所）；Nanyang Technological University（南洋理工大学）

本文提出两种算法，通过最大化多样性生成多个近似最优的汉明中位字符串，提升决策灵活性和鲁棒性。

2026-02-10cs.DS

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

具有线性结构的可满足性问题

On Satisfiability Problems with a Linear Structure

\cite{STV}最近证明了当关联图是区间二部图（通过省略每个部集中的所有边而将区间图变为二部图）时，可满足性是多项式可解的.在这里，我们放松这个条件在几个方向：首先，我们表明，它适用于$k$ -区间二分图，二分图，可以转换为区间二分图添加到每一个节点的一侧最多$k$边缘;相同的结果适用于计数和加权最大化版本的可满足性。其次，给定两个线性订单，一个变量和一个条款，我们展示了如何找到，在多项式时间，最小的$k$，使有一个$k$ -区间偶图兼容这两个订单。在消极的一面，我们证明，除非复杂性崩溃，没有这样的扩展是可能的CSP更一般比满足。我们还证明了识别1-区间偶图的NP-困难性。

2016-02-25cs.CCcs.DS

分解处理4-变量：一种改进的MaxSAT算法

Dealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm

我们研究解决最大可满足性问题（MaxSAT）的技术。我们的重点是4度变量。我们确定度4变量的情况下，并显示如何解决原则和核化技术可以很好地集成，以实现更有效的算法的MaxSAT问题。因此，我们提出了一个算法的时间$O^*(1.3248^k)$的MaxSAT问题，改进了以前的最佳上限$O^*(1.358^k)$由Ivan Bliznets和亚历山大。

2015-03-10cs.DS

次模汉明矩阵

Submodular Hamming Metrics

University of Washington（华盛顿大学）

我们发现，有一个很大程度上未开发的功能类（正多拟阵），可以定义适当的离散度量对二进制向量，是相当听话的优化。通过利用子模块，我们能够给出硬度的结果和近似算法优化这些指标。此外，我们经验证明了这些指标和相关算法的有效性度量最小化任务（聚类的一种形式），也是一个度量最大化任务（生成不同的k-最佳列表）。

2015-11-06cs.AIcs.DMcs.DS

最大平面子图问题的精确算法：新模型与实验

Exact Algorithms for the Maximum Planar Subgraph Problem: New Models and Experiments

给定一个图$G$，NP难最大平面子图问题要求得到$G$的一个平面子图，该平面子图具有最大边数。唯一已知的非平凡精确算法利用了Kuratowski著名的平面性准则，可以用整数线性规划（ILP）或伪布尔可满足性问题（PBS）来表示。我们研究了三种不同的平面性特征，其适用性模型的最大平面子图。对于每一个，我们认为ILP和PBS的变种，调查不同的配方方面，并评估其实际性能。

2018-04-19cs.DS

概率多项式与Hamming最近邻

Probabilistic Polynomials and Hamming Nearest Neighbors

我们展示了如何计算任何对称布尔函数的$n$变量在任何领域（以及整数）与概率多项式的程度$O(\sqrt{n \log(1/ε)})$和错误最$ε$。对$n$和$ε$的度依赖是最优的，匹配Razborov（1987）和Smolensky（1987）关于MAJORITY函数的下界。证明是建设性的：低次多项式可以有效地从分布中采样。这个多项式结构与其他代数思想相结合，给出了第一个次二次时间算法，用于计算（最坏情况下）一批超对数维度的汉明距离。为了说明，让$c(n) : \mathbb{N} \rightarrow \mathbb{N}$。假设我们给定了一个数据库$D$，其中包含$\{0,1\}^{c(n) \log n}$中的$n$向量，以及相同维度中的$n$查询向量$Q$的集合。对于所有的$u \in Q$，我们希望计算一个与$u$具有最小汉明距离的$v \in D$。我们解决这个问题在$n^{2-1/O(c(n) \log^2 c(n))}$随机时间。因此，对于$O(\log n)$维度，问题是在“真正的次二次”时间内，而对于$d = o((\log^2 n)/(\log \log n)^2)$维度，问题是在次二次时间内。我们应用该算法来计算对最大的内积，最接近的对在$\ell_1$有界整数项的向量，并对最大的Jaccard系数。

2015-07-17cs.CCcs.DSmath.CO

关于Max-k-CSP和有界度k-SAT的多样化解

On Diverse Solutions to Max-k-CSP and Bounded Degree k-SAT

Queens College, City University of New York（纽约市立大学皇后学院）；Rutgers University（罗格斯大学）

本文研究Max-k-CSP和有界度k-SAT的多样化解生成问题，针对约束多样性和变量多样性两种度量，设计了双准则近似算法，并在Lovász局部引理机制下证明了精确多样性问题的NP困难性及给出了多项式时间近似算法。

2026-09-29cs.DS

学习增强的布尔可满足性算法

Learning-Augmented Algorithms for Boolean Satisfiability

Institute for Data, Econometrics, Algorithms, and Learning (IDEAL)（数据、计量经济学、算法和学习研究所）；University of Illinois at Chicago（伊利诺伊大学芝加哥分校）；Toyota Technological Institute at Chicago（芝加哥丰田技术研究所）

本文在学习增强框架下研究布尔可满足性（SAT）判定与优化问题，利用子集建议和标签建议两种形式，加速了PPSZ算法的指数运行时间，并以黑盒方式改进了任意α-近似算法的近似比，在MAX-2-SAT等问题上取得更优表现。

2025-05-30cs.CCcs.DScs.LG

用于可满足性问题的量子交替算子 Ansatz（Quantum Alternating Operator Ansatz）

The Quantum Alternating Operator Ansatz for Satisfiability Problems

本文通过大规模数值模拟比较 100 余种 QAOA 混合器与两种相位分离器，在 Max 2-SAT/3-SAT 上发现最优混合器随问题规模变化，并纠正了 Grover 混合器更优的结论。

2023-01-26cs.DSquant-ph

最大拟阵-广义拟阵交的复杂性及加权广义拟阵最大化

The Complexity of Maximum Matroid-Greedoid Intersection and Weighted Greedoid Maximization

通过将3-合取范式中布尔公式的可满足性表示为拟阵与拟阵的最大交问题，证明了多项式时间预言机给出的拟阵与拟阵的最大交问题是$NP$ -难的.相应的近似问题显示$NP$ -硬某些近似性能的界限。此外，一些自然参数化的问题的变种显示$W[P]$ -硬。本文的结果与Edmonds的一个旧结果在多项式时间内可解的最大拟阵-拟阵交形成了对比。我们还证明了它是$NP$ -很难近似的加权greedoid极大化内$2^{n^{O(1)}}$其中$n$是域的greedoid的大小。一个初步版本"最大拟阵-拟阵相交的复杂性“出现在Proc. FCT 2001，LNCS 2138，pp. 535- 539，Springer-Verlag 2001。

2004-05-25cs.DS

Adleman-Lipton模型中最大K-列子图问题的分子解

Molecular solutions for the Maximum K-colourable Sub graph Problem in Adleman-Lipton model

阿德勒曼表明，脱氧核糖核酸DNA链可以用来计算解决一个例子的哈密顿路径问题。Lipton还证明了Adleman技术可以用来解决可满足性问题。本文利用Adleman Lipton模型提出了一种求解最大k列子图问题的DNA算法。尽管最大k列子图问题是NP-困难的，我们的DNA程序是在多项式时间内完成的。

2016-11-09cs.DScs.ET

具有绝对价值函数的MaxSAT：参数化的观点

MaxSAT with Absolute Value Functions: A Parameterized Perspective

布尔可满足性问题到最优化问题的自然推广是确定在合取范式中的命题公式中可以同时满足的子句的最大数量的任务。在加权最大可满足性问题中，每个子句都有一个正的权重，并寻求最大权重的分配。文献几乎只考虑了正权重的情况。虽然一般情况下的问题只受到这个约束的轻微限制，但许多特殊情况在没有负权重的情况下变得微不足道。在这项工作中，我们研究了具有负权重的问题，并观察到该问题在计算上变得更加困难-我们从参数化的角度将其形式化，因为如果存在负权重，则该问题的各种变体变得W[1]-困难。允许负权重也引入了问题的新变体：我们可以最大化该和的绝对值，而不是最大化满足子句的权重之和。这被证明是令人惊讶的表达，甚至仅限于在析取范式，每个子句最多两个文字的单调公式。然而，在没有绝对值的版本相比，我们证明，这些变种是固定参数听话。作为技术上的贡献，我们提出了一个核化的一个辅助问题，在超图中，我们寻求，给定一个边加权超图，诱导子图，最大化的绝对值的总和边权重。

2022-04-26cs.CCcs.DScs.LO

阈值函数的多项式表示及其数学应用

Polynomial Representations of Threshold Functions and Algorithmic Applications

我们设计了新的多项式，用于表示三种不同状态下的阈值函数：低次数的概率多项式，其需要比以前的构造少得多的随机性，具有“好”阈值行为和次数几乎与概率多项式一样低的多项式阈值函数（PTF），以及概率PTF的新概念，其中我们结合上述技术以实现具有类似“好”阈值行为的甚至更低的程度。利用这些多项式结构，我们设计了各种问题的更快的算法：$\bullet$离线汉明最近（和Furminent）邻居：给定$d=c\log n$的$d$维汉明空间中的$n$红色和$n$蓝色点，我们可以在随机时间$n^{2-1/O(\sqrt{c}\log^{2/3}c)}$或确定性时间$n^{2-1/O(c\log^2c)}$中为每个红色点找到（精确）最近（或最远）蓝色邻居。这些也导致更快的MAX-SAT算法稀疏CNF。$\bullet$离线近似最近（和最远）邻居：给定$\bullet$维$\ell_1$或欧几里德空间中的$n$红色和$n$蓝色点，我们可以在随机时间内找到$dn+n^{2-Ω(ε^{1/3}/\log(1/ε))}$附近的每个红色点的$(1+ε)$近似最近（或最远）蓝色邻居.具有线性阈值函数的电路的$\bullet$ SAT算法和下限：我们给出了$AC^0[m]\circ LTF\circ LTF$电路的可满足性算法，该电路在底层具有次二次数量的线性阈值门，在其他层具有次指数数量的门，该算法在确定性$2…

2016-08-15cs.CCcs.DS

基数最大流网络阻断问题与团问题

Cardinality Maximum Flow Network Interdiction Problem Vs. The Clique Problem

基数最大流网络阻断问题（CMFNIP）是一个强NP-难问题。CMFNIP的一个特殊情况已被证明具有从团问题的减少。在目前的工作中，正在努力解决这个特定的情况下，CMFNIP在多项式时间。这个解决方案的直接含义是，集团问题得到解决，在多项式时间。3-CNF可满足性问题和顶点覆盖问题，分别从团问题和减少，也被解决在多项式时间由相同的算法。这个工作的明显结论是P = NP。

2013-12-23cs.DSmath.OC