Scifaro

中文

基于 $\mathbb{R}^{n,n}$ Clifford 代数简单 spinor 的满意性算法

数学物理 2026-04-21 v2 math.MP

作者: Marco Budinich

在 arXiv 上查看 ↗ PDF ↗

摘要

我们细化了在 Clifford 代数 ${\cal C}\ell(\mathbb{R}^{n,n})$ 中关于 $n$ 个布尔变量的布尔满意性问题的表述 [3]，并利用这一连续设置勾画出一种新的不可满足性检测算法。该算法不属于组合算法，可在多项式时间内证明不可满足性。

关键词

布尔满意性问题 Clifford 代数满意性算法多项式时间不可满足性检测

引用

@article{arxiv.2501.01961,
  title  = {A Satisfiability algorithm based on Simple Spinors of the Clifford algebra of $\mathbb{R}^{n,n}$},
  author = {Marco Budinich},
  journal= {arXiv preprint arXiv:2501.01961},
  year   = {2026}
}

备注

39 pages, 15 references, new proof of main result, Appendix added. arXiv admin note: text overlap with arXiv:2103.03623