XORSAT：一种求解 DIMACS 32 位奇偶问题的高效算法
数据结构与算法
2007-05-23 v1
摘要
DIMACS 32 位奇偶问题是一个难以求解的可满足性问题（SAT）。迄今为止，Li 提出的 EqSatz 是唯一能够求解此问题的求解器。然而，该求解器非常缓慢。据报道，在 Maxintosh G3 300 MHz 上求解一个 par32-5 实例耗时 11855 秒。本文引入了一种新的求解器 XORSAT，它将原问题分为两部分：结构化部分和随机部分，然后分别使用 WalkSAT 和 XOR 方程求解器进行求解。基于我们的经验观察，XORSAT 速度惊人，大约比 EqSatz 快 1000 倍。对于 par32-5 实例，XORSAT 耗时 2.9 秒，而 EqSatz 在 Intel Pentium IV 2.66GHz CPU 上耗时 2844 秒。我们相信这种与传统方法显著不同的方法在此领域之外也具有实用价值。
引用
@article{arxiv.cs/0703006,
title = {XORSAT: An Efficient Algorithm for the DIMACS 32-bit Parity Problem},
author = {Jing-Chao Chen},
journal= {arXiv preprint arXiv:cs/0703006},
year = {2007}
}