关于有限高（正交）补模格的等式判定问题的复杂性
逻辑
2021-01-20 v9
摘要
我们研究简单有限高（正交）补模格 的可满足性问题的计算复杂性。对于单个有限 ，这些问题被证明是 完全的；对于高至少为 的 ，等价于与 相关联的除环上的一个可行性问题。此外，我们证明：子空间正交格以及有限维 Hilbert 空间的自同态 -环（带伪逆）的等式理论，对于无常量的非确定性 Blum-Shub-Smale 实计算模型的布尔部分之补是完备的。这一结果推广到由伪逆所丰富的有限维 Hilbert 空间范畴。
引用
@article{arxiv.1811.07846,
title = {On the complexity of equational decision problems for finite height(ortho)complemented modular lattices},
author = {Christian Herrmann},
journal= {arXiv preprint arXiv:1811.07846},
year = {2021}
}