$R^{n,n}$ 的 Clifford 代数与布尔可满足性问题
数学物理
2021-03-08 v1 math.MP
摘要
我们在 Clifford 代数 Cl() 的幂等元集合中表述了一个布尔代数，并在此框架内考察了布尔可满足性问题的不同 Clifford 代数表述。利用与简单旋量相关联的 零子空间与正交群 O(n) 之间的同构，我们最终在该群内给出了布尔可满足性问题的连续表述，这开辟了尚未探索的视角。
引用
@article{arxiv.2103.03623,
title = {The Clifford algebra of $R^{n,n}$ and the Boolean Satisfiability Problem},
author = {Marco Budinich},
journal= {arXiv preprint arXiv:2103.03623},
year = {2021}
}
备注
International Conference ICCA 12, Hefei, August 3-7, 2020; 16 pages