Scifaro

中文

判定少数项的存在性

逻辑 2019-10-09 v2 计算复杂性环与代数

作者: Alexandr Kazda , Jakub Opršal , Matt Valeriote , Dmitriy Zhuk

在 arXiv 上查看 ↗ PDF ↗

摘要

本文研究判定给定有限幂等代数是否具有满足少数项方程 $m(y,x,x) \approx m(x,y,x) \approx m(x,x,y) \approx y$ 的三元项操作 $m$ 的计算复杂度。我们表明，测试此类条件的一种常见多项式时间方法在此情形下不适用，并且该判定问题属于 NP 类。

关键词

少数项幂等代数计算复杂度项操作 NP 类

引用

@article{arxiv.1901.00316,
  title  = {Deciding the existence of minority terms},
  author = {Alexandr Kazda and Jakub Opršal and Matt Valeriote and Dmitriy Zhuk},
  journal= {arXiv preprint arXiv:1901.00316},
  year   = {2019}
}