我们表明,对于具有保守Maltsev多态性的每个有限结构B,B的约束满意度问题可以通过对称线性Z2-Datalog程序来解决,特别是在复杂度类奇偶校验-L中。 证明有两个步骤:我们首先为某个亚类呈现结果,其多态代数在遗传上是可不可还原的。 然后我们表明,我们类中的每一个其他结构都可以由子类中的一个结构原始地积极构建。 第二步需要不同的技术,并将呈现在配套文章中。
经典编码理论包含几种从其他代码中获取新代码的技术,包括穿刺和缩短。 对于量子代码,已知一种形式的穿刺,但它的描述是基于代码空间而不是它的生成器。 在这项工作中,我们概括了穿刺程序,以便在选择哪些编码状态被保留和哪些被移除时允许更多的自由。 我们通过关注包含代码生成器的稳定器矩阵来描述这种穿刺。 通过这种方式,我们能够明确地描述给定原始稳定器代码的稳定器矩阵的穿刺代码的稳定器矩阵。 程序中的额外自由也开辟了从旧代码构建新代码的新方法,我们提出了几种方法来利用这一点来搜索具有良好甚至最佳参数的代码。 特别是,我们使用构造来获取其参数超过先前已知最好的代码的代码。 最后,我们将Griesmer从经典设置绑定到稳定器代码的证明进行概括,因为证明在很大程度上依赖于穿刺技术。
在本文中,我们将ElGamal加密系统扩展到环 _n 的第三组单元,我们证明它比以前的扩展更安全。 我们描述了新设置中所需的算术。 我们还提供了一些数值模拟,显示了我们提议的加密系统的安全性和效率。
本文介绍了操作测谎仪的结构,作为在操作代数中重写的分类模型,用非单项终止命令将Gröbner-Shirshov碱基进行概括。 我们使用本文介绍的polyautomata结构,对操作测谎仪的关键分支提供组合描述。 Polyautomata扩展线性测谎仪,配备由俯冲自动机形式化的操作员结构。 我们展示了如何构建自由操作代数的多图形分辨率,从它们的汇合和终止演示。 最后,我们将我们的建筑应用于几个操作代数家族,包括Rota-Baxter代数,差分代数和差分Rota-Baxter代数。
No more items to load.
