分形云中的计算：SAT和Q-SAT变体的模块通用解算器
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants
摘要：
抽象的几何计算可以有效地解决困难的组合问题：我们之前展示了如何使用特定于实例的信号机和分形并行化在有界空间和时间中解决Q-SAT。在这篇文章中，我们提出了一种方法来构建一个特定的通用机器相同的任务。这台机器在分形结构上部署了Map/Reduce范式。此外，我们的方法是模块化的：机器是通过组合模块构建的。通过这种方式，我们可以轻松地创建通用机器来解决满足性变量，例如SAT，#SAT，MAX-SAT。
英文摘要：
Abstract geometrical computation can solve hard combinatorial problems efficiently: we showed previously how Q-SAT can be solved in bounded space and time using instance-specific signal machines and fractal parallelization. In this article, we propose an approach for constructing a particular generic machine for the same task. This machine deploies the Map/Reduce paradigm over a fractal structure. Moreover our approach is modular: the machine is constructed by combining modules. In this manner, we can easily create generic machines for solving satifiability variants, such as SAT, #SAT, MAX-SAT.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
